490 likes | 504 Views
Chapter 10 Complexity of Approximation (1) L-Reduction. Ding-Zhu Du. Traveling Salesman. Given n cities with a distance table, find a minimum total-distance tour to visit each city exactly once. Definition. Theorem. Proof: Given a graph G=(V,E), define a distance table on V as follows:.
E N D
Chapter 10 Complexity of Approximation(1) L-Reduction Ding-Zhu Du
Traveling Salesman • Given n cities with a distance table, find a minimum total-distance tour to visit each city exactly once.
Theorem Proof: Given a graph G=(V,E), define a distance table on V as follows:
Contradiction Argument • Suppose r-approximation exists. Then we have a polynomial-time algorithm to solve Hamiltonian Cycle as follow: r-approximation solution <r |V| if and only if G has a Hamiltonian cycle
Special Case Theorem • Traveling around a minimum spanning tree is a 2-approximation.
Theorem • Minimum spanning tree + minimum-length perfect matching on odd vertices is 1.5-approximation
Minimum perfect matching on odd vertices has weight at most 0.5 opt.
Theorem Proof.
Algorithm • Classify: for i < m, ci< a= cG, for i > m+1, ci > a. • Sort • For
Theorem This an important result proved using PCP system. Theorem
VC-b Theorem
1 2 1 2 v 3 3 4 5 4 5 G G’
Properties (P1) (P2)
MAX SNP PTAS
MAX SNP-complete (APX-complete) Theorem
MAX3SAT-3 Theorem
VC-4 is MAX SNP-complete Proof.
Theorem Proof.
Theorem Theorem Proved using PCP system
MCDS Theorem
CLIQUE Theorem Proved withPCP system.
Exercises 1 2
4 Prove that • Min-2-DS is MAX SNP-complete in the case that all given pools have size at most 2.
5.Is TSP with triangular inequality MAX SNP-complete?