Presentation is loading. Please wait.

Presentation is loading. Please wait.

Approximation Algorithms for TSP Mohit Singh McGill University (in lieu of Amin Saberi)

Similar presentations


Presentation on theme: "Approximation Algorithms for TSP Mohit Singh McGill University (in lieu of Amin Saberi)"— Presentation transcript:

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).

21

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!


Download ppt "Approximation Algorithms for TSP Mohit Singh McGill University (in lieu of Amin Saberi)"

Similar presentations


Ads by Google