is the problem of finding a Hamiltonian Cycle with minimum cost in an Undirected Graph that has nonnegative integer cost associated with each edge .

This problem is usually simplified by assuming the Triangle Inequality, e.g. by Approx TSP Tour.

Theorems

Approximation Computability

If P ≠ NP, then for any constant , there is no polynomial-time Approximation Algorithm with Approximation Ratio for the Traveling-salesman problem without assuming the Triangle Inequality.

Proof

See CLRS p. 1115.