Draw a hypercube graph Q₃ (also called the cubical hypercube). Check whether the hypercube Q₃ is Hamiltonian.
Answer: is Hamiltonian, with a Hamiltonian cycle given by .
Step-by-step solution
Step 1: Define the hypercube graph
The hypercube graph consists of vertices corresponding to all binary strings of length . Two vertices are connected by an edge if and only if their binary strings differ by exactly bit. Each vertex has degree , making it a -regular bipartite graph with edges in total.
Step 2: Recall the definition of a Hamiltonian graph
A graph is Hamiltonian if it contains a Hamiltonian cycle, which is a closed walk that visits every vertex in the graph exactly once before returning to the starting vertex. For , such a cycle must have length .
Step 3: Construct a Hamiltonian cycle using a Gray code
A standard -bit Gray code sequence visits all binary vectors such that consecutive vectors differ by only bit, with the last vector also differing from the first by bit. Translating this Gray code gives the cycle , which is a valid cycle of length in .
Step 4: Conclude Hamiltonian property
Since we have explicitly found a cycle that visits all vertices of without repetition and returns to the start, contains a Hamiltonian cycle. More generally, every hypercube graph for is Hamiltonian.