Erin the ant starts at a given corner of a cube and crawls along exactly edges in such a way that she visits every corner exactly once and then finds that she is unable to return along an edge to her starting point. How many paths are there meeting these conditions?
- A)
- B)
- C)
- D)
- E)
Answer
A
Key insight
Cube corners alternate color, so after 7 moves Erin is at odd distance; not adjacent means the opposite corner, reached by 2 routes per first move.
Solution
Color the cube's corners black and white so that every edge joins different colors (this works: color a corner by the parity of its coordinate sum). Each move flips the color, so after moves Erin is on the opposite color from her start. The opposite-colored corners are the three neighbors of the start and the single antipodal corner. "Unable to return along an edge" rules out the neighbors, so every valid path must end at the antipode.
Label the top face and the bottom face with below , below , etc. Start at ; the antipode is . By symmetry the three first moves are equivalent, so count paths beginning and multiply by .
From the next corner is or (not ).
- : from the unvisited neighbors are and , but must be last, so . Then is forced, then (again saving ), then , then . One path.
- : from go to (saving ), then is forced, then (saving ), then , then . One path.
So there are paths per first move and in all.
The answer is .
Why this works
Parity coloring is the standard first move on any grid or cube walk: it tells you which endpoints are even possible before you count anything. Once the endpoint is forced, the rule "never step onto the finish early" eliminates a branch at almost every corner, so a tree search that looks like collapses to a few forced lines. Use the cube's symmetry to count one branch and multiply.
The trap
Counting all 18 Hamiltonian paths from a corner (or all paths ending at a non-adjacent vertex without the parity restriction) instead of only those ending at the antipode.
Common mistakes
- Counting all 18 Hamiltonian paths from a corner (or all paths ending at a non-adjacent vertex without the parity restriction) instead of only those ending at the antipode.
- Forgetting to multiply by for the first move, or double counting by treating the two branches from as symmetric and then also enumerating both.
Techniques
Organized listing / direct enumeration · Use an invariant, parity, or coloring argument · Exploit symmetry to reduce work or pair up objects