Hamiltonian routes and small travelling models
Check vertices and adjacency; justify both existence and any claim of optimality
- Path or cycle A path visits every vertex once. A cycle also returns to its start; unused edges are permitted
- Existence and impossibility A checked witness proves existence. A structural obstruction or complete search can prove impossibility
- Complete-graph counting Fix the start and divide reverse pairs by two in a simple undirected complete graph with n ≥ 3. \(\displaystyle N=\frac{(n-1)!}{2}\)
- Optimality For a small network enumerate all admissible tours, or supply a valid bound attained by a construction. A convenient route need not be shortest
Worked example
Explain why there are three distinct undirected Hamiltonian cycles in K4, ignoring starting point and direction
- \(\displaystyle A\text{ fixed}\)Choose A as the start; each cycle can be rotated to start there
- \(\displaystyle 3\times2\times1=6\)Arrange B, C and D, then return to A. Completeness ensures every edge exists
- \(\displaystyle 6/2=3\)Every order pairs with its reverse. These are distinct orders because there are at least three vertices
- \(\displaystyle \begin{gathered}A-B-C-D-A\\A-B-D-C-A\\A-C-B-D-A\end{gathered}\)These representatives cover all three reverse pairs
Common mistakes
Difficulty levels
Questions about this topic
Must every edge be used?+
No. Hamiltonian routes concern vertices. Eulerian routes concern edges
Can an even-degree graph fail to be Hamiltonian?+
Yes. Two triangles sharing only one vertex have all even degrees and no Hamiltonian cycle
Does the counting formula work for any graph?+
No. It counts cycles in a complete simple undirected graph with n ≥ 3 and the stated equivalence convention. Missing edges can make some candidate orders invalid
Are counting and optimisation independently graded here?+
No. They have fixed teaching checks and ungraded written models. The generated bank recognises supplied routes and bounded existence arguments
Can I use a calculator?+
No. This topic is practised without a calculator
Which year level and chapter is this?+
Year 11, VCE Units 1 & 2, Specialist Mathematics, chapter 2: Graph theory