HAM-Cycle ≤p TSP From the graph, it is easily observed that: G contains a Hamiltonian Cycle ⟺ Gˉ has a traveling salesman tour of total cos t at most 0. Links NP Completeness Definition Reference Introduction to Algorithm