Download presentation
Presentation is loading. Please wait.
Published byLiliana Bryant Modified over 9 years ago
1
Approximation Algorithms for TSP Mohit Singh McGill University (in lieu of Amin Saberi)
2
Traveling Salesman Problem What is TSP? ‘TSP is perhaps the most well-known combinatorial optimization problem’ – Gutin and Punnen, TSP book Why do people work on TSP? ‘It belongs to the most seductive problems in combinatorial optimization, thanks to a blend of complexity, applicability, and appeal to imagination’ - Schrijver, Combinatorial Optimization.
3
Contest by Proctor and Gamble.
4
TSP and its variants Given a complete graph G with metric d Goal: Find a Hamiltonian cycle of shortest length. Symmetric TSP (STSP) d(u,v)=d(v,u) for all u,v 3/2-approximation [Christofides ‘76] Conjecture: 4/3-approximation PTAS for Euclidean Metric[Arora], planar metric[GKP]. Asymmetric TSP (ATSP) d(u,v) need not be equal to d(v,u) log n approximation [FGM’82] Conjecture: O(1)-approximation
5
TSP and its variants Given a complete graph G with metric d Goal: Find a Hamiltonian cycle of shortest length. Symmetric TSP (STSP) 3/2-approximation [Christofides ‘76] Conjecture: 4/3-approximation Asymmetric TSP (ATSP) log n approximation [FGM’82] Conjecture: O(1)-approximation [Asadpour, Gharan, Goemans, Madry, Saberi ‘10] : O(log n/log log n) - approximation
6
TSP and its variants Given a complete graph G with metric d Goal: Find a Hamiltonian cycle of shortest length. Symmetric TSP (STSP) 3/2-approximation [Christofides ‘76] Conjecture: 4/3-approximation [Gharan, Saberi, S’10]: 3/2-ε approximation for graphical TSP. Asymmetric TSP (ATSP) log n approximation [FGM’82] Conjecture: O(1)-approximation [Asadpour, Gharan, Goemans, Madry, Saberi ‘10] : O(log n/log log n) - approximation
7
Linear Program for STSP Subtour Elimination LP [Held and Karp 70] LP can be solved efficiently using the ellipsoid algorithm. Separation Oracle: Mincut Algorithm!
8
Linear Program for ATSP Subtour Elimination LP [Held and Karp 70] LP can be solved efficiently using the ellipsoid algorithm. Separation Oracle: Mincut Algorithm!
9
LP and Spanning tree polyhedron Can write x* as a convex combination of spanning trees. Select a spanning tree F = T i s.t. entropy is maximized.
10
Max entropy distributions Lemma[AGGMS]: Max entropy distributions are equivalent to a uniform spanning tree distribution. – Easy to Sample. – Can use many properties of uniform random spanning trees. Indicator random variables X e are negatively associated [Feder, Mihail]. – Pr[X e =1|X f =1]<=Pr[X e =1] – Implies concentration (Chernoff bounds)
11
Sample a spanning tree F from max-entropy distribution. Return the cheapest Eulerian augmentation of F – STSP : matching over odd degree nodes of F Christofides* Algorithm
12
Sample a spanning tree F from max-entropy distribution. Return the cheapest Eulerian augmentation of F – STSP : matching over odd degree nodes of F – ATSP: circulation problem with demand=imbalance of indegree/outdegree Theorem[AGGMS]: Christofides* is O(log n/log log n)- approximation for ATSP Conjecture[GSS]: Christofides* is (3/2-ε)-approximation for STSP.
13
Christofides* Algorithm Sample a spanning tree F from max-entropy distribution. Return the cheapest Eulerian augmentation of F – STSP : matching over odd degree nodes of F – ATSP: circulation problem with demand=imbalance of indegree/outdegree Theorem[AGGMS]: Christofides* is O(log n/log log n)- approximation for ATSP Theorem[GSS]: Christofides** is (3/2-ε)-approximation for graphical STSP. d(u,v)=shortest path between u and v in an unweighted graph
14
ATSP Eulerian Augmentation (Circulation Problem) Question: How closely does T approximate every cut of (G,x*). What is the smallest α s.t. Picking T from max-entropy distribution implies α=O(log n/log log n) suffices.
15
Technique Properties of Random Spanning Trees [Feder, Mihail] Polyhedral : Circulation [Hoffman] Structure of near min-cuts of a graph.[Karger]
16
Proof Overview Need to worry about near min-cuts in (G,x) [Karger] There are polynomial number of near mincuts. In expectation, F matches x* Apply Chernoff bound to show α=O(log n/log log n) suffices. Theorem[AGGMS]: O(log n/log log n)- approximation for ATSP
17
STSP Augmentation problem is matching over odd degree nodes of F
18
Technique Properties of Random Spanning Trees (Rayleigh Distributions) Polyhedral : Matchings and T-joins [Edmonds, Johnson] Structure of near min-cuts of a graph. [Benczur]
19
Augmentation Problem Matching over odd degree nodes of F – [Edmonds, Edmonds-Johnson] Need to worry about all cuts with odd number of edges in F. – Need to worry about near min-cuts of (G,x)
20
Even Edges and Even Trees An edge e is even for a spanning tree F if all near min-cuts containing e are even. Question: Is there a tree F s.t. the set of even edges is Ω(n).
22
Structure Theorem Theorem : Let μ denote the maximum entropy distribution on spanning tree of G s.t. Then one of the following holds. 1. (Near Integral) (1-ε)n edges of fraction 1-δ. 2. (Many Even Edges) set E* of edges s.t. x*(E*)≥ εn and for each e in E* Pr[e is even for F] is constant. Remark: Holds for any fractional solution and not just extreme point solutions.
23
Christofides** Algorithm 1. If near integral, then select a MST including all near-integral edges deterministically. 2. If many even edges, F be a tree sampled from μ. 3. Return an Eulerian augmentation of F. Theorem: Christofides** is (3/2-ε)-approximation for graphical TSP.
24
Structure of Near Min-cuts Theorem: Structure of near min-cuts of any graph looks very similar to a structure of min-cuts of a graph. Structure of Min-cuts: Cactus Representation [Dinitz, Karzanov, Lomonosov ’76] [Fleiner, Frank 08] Structure of near Min-cuts: Polygonal Representation for vertices. [Benczur ‘96, Benczur-Goemans ‘08]
25
Structure Theorem II Theorem : Let x* be any LP solution. Then one of the following holds. 1. (Near Integral) (1-ε)n edges of fraction 1-δ. 2. (Good Edges) set E* of edges s.t. x*(E*)≥ εn and for each e in E*, the number of near min-cuts containing e is constant.
26
Structure Theorem Theorem : Let x* be any LP solution. Then one of the following holds. 1. (Near Integral) (1-ε)n edges of fraction 1-δ. 2. (Even Edges) set E* of edges s.t. x*(E*)≥ εn and for each e in E*, Pr[all near min-cuts containing e are even in F] is a constant.
27
Good to Even Edges Edge in constant near min-cuts => max entropy tree picks even number of edges in all of the cuts? – Expectation: the expected number of edges picked is [2,2+2δ]. Concentration? – We need bounds on parity of cuts. Chernoff bounds are not enough.
28
Better Concentration Log concavity. – X be the number of edges in near min-cut C. – Pr[X=2] 2 >= Pr [X=1]Pr[X=3] Pr[X=2] is a constant. Are we done? – Let Y be the number of edges in near min-cut C’. – Want Pr μ [X=2 and Y=2] is constant. – Pr μ [X=2 and Y=2] = Pr μ [X=2] Pr μ [Y=2|X=2] – Let μ‘={ μ| X=2}. But μ‘ is not a random spanning measure .
29
Strongly Rayleigh Measures [Borcea, Branden, Liggett ’08] Strongly Rayleigh measures have negative dependence similar to uniform random spanning tree measures. Moreover, they are closed under – Projections. – Conditioning under certain conditions. – Truncation – Scaling
30
Conditioning and Concentration – Since μ is Strongly Rayleigh, μ’={μ|X=2} is also Strongly Rayleigh. – Argue Pr μ’ [Y=2] is constant. Expectations under μ’ may have changed. If an edge is contained in constant number of near min-cuts => the edge is even with constant probability.
31
Structure Theorem Theorem : Let x* be any LP solution. Then one of the following holds. 1. (Near Integral) (1-ε)n edges of fraction 1-δ. 2. (Even Edges) set E* of edges s.t. x*(E*)≥ εn and for each e in E*, Pr[all near min-cuts containing e are even in F] is a constant.
32
Conclusion Symmetric TSP (STSP) 3/2-approximation [Christofides ‘76] (3/2-ε)-approximation for graphical TSP [GSS’10] 1.461-approximation for graphical TSP [Momke, Svensson’11] Conjecture: 4/3-approximation Conjecture: Christofides* is a (3/2- ε)-approximation. Asymmetric TSP (ATSP) log n/log logn approximation [AGGMS’10] Conjecture: O(1)-approximation
33
Thanks!
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.