next up previous
Next: Up: Previous:

Theorem 36.15: TSP $\in$ NPC

Variant of proof in textbook.

Proof sketch:

TSP $\in$ NP
Given a tour, check that each vertex is visited exactly once and the sum of costs $\leq$ k

L' = HC

HC \(\leq_P\) TSP
Given graph G = (V, E), transformation f outputs complete graph with vertices V.
Weights of edges = 1 if \(e \in E\), or (|V| + 1) if \(e \not\in E\)
Also outputs the number |V|.
f is clearly implementable in polynomial time.

Then there exists a tour in this complete graph of size \(\leq \vert V\vert\)iff there exists a Hamiltonian Cycle in original graph.

Click mouse to advance to next frame.

next up previous
Next: Up: Previous: