1 / 123

Lecture 1: Symmetric Traveling Salesman Problem

Lecture 1: Symmetric Traveling Salesman Problem. Ola Svensson. Georgia Tech 2019. Who?. LPs. Exercises. APPROX. ATSP. TSP. WHO am I and What will I talk about?. About Me. Ola Svensson ola.svensson@epfl.ch http://theory.epfl.ch/osven Faculty at EPFL Research on algorithms

verlee
Download Presentation

Lecture 1: Symmetric Traveling Salesman Problem

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Lecture 1: Symmetric Traveling Salesman Problem Ola Svensson Georgia Tech 2019

  2. Who? LPs Exercises APPROX ATSP TSP WHO am I and What will I talk about?

  3. About Me • Ola Svensson • ola.svensson@epfl.ch • http://theory.epfl.ch/osven • Faculty at EPFL • Research on algorithms • Happy to get feedback and answer questions Ola in action

  4. Outline LECTURE 1: Traveling Salesman Problem LECTURE 2: Traveling Salesman Problem LECTURE 3: Traveling Salesman Problem

  5. Outline LECTURE 1: Traveling Salesman Problem LECTURE 2: Traveling Salesman Problem LECTURE 3: Traveling Salesman Problem Symmetric TSP, Christofides’ Algorithm, Removable Edges, Open Problems Asymmetric TSP, Cycle Cover Algorithm, Thin trees, Local-Connectivity ATSP Continuation of asymmetric TSP: how to simplify your instance, open problems

  6. The Irresistible Traveling Salesman Problem What is the cheapest way to visit these cities?

  7. The Irresistible Traveling Salesman Problem What is the cheapest way to visit these cities?

  8. The Irresistible Traveling Salesman Problem What is the cheapest way to visit these cities? Traveling Salesman Problem

  9. The Irresistible Traveling Salesman Problem

  10. The Irresistible Traveling Salesman Problem 33 city contest that Proctor and Gamble ran in 1962 Preschool assignment

  11. Rich History • Variants studied in mathematics by Hamilton and Kirkman already in the 1800’s • Benchmark problem in computer science from the “beginning” • Today, probably the most studied NP-hard optimization problem • Intractable: (current) exact algorithms require exponential time Major open problem what efficient computation can accomplish

  12. How to EvaluatE an algorithm

  13. Solving intractable problems • Heuristics • good for “typical” instances • bad instances do not happen too often ! Sweden has only 9 million inhabitants 360 persons/city Dantzig, Fulkerson, and Johnson solve a 49-city instance to optimality Applegate, Bixby, Chvatal, Cook, and Helsgaun solve a 24978-city instance

  14. Solving intractable problems • Approximation Algorithms • Perhaps we can efficiently find a reasonably good solution in polytime? Approximation Ratio: worst case over all instances • α=1 is an exact polynomial time algorithm • α=1.01 then algorithm finds a solution with at most 1% higher cost

  15. MOTIVATION of Today’s Lecture

  16. Approximation algorithms for symmetric TSP What is the best possible algorithm?

  17. 1970’s Christofides: 1.5-approximation algorithm for metric distances Held & Karp: Heuristic for calculating lower bound on a tour Coincides with the value of a linear program known as Held-Karp or Subtour Elimination Relaxation

  18. 1980’s

  19. 1990’s Arora & Mitchell independently: PTAS for Euclidian TSP

  20. 1990’s Arora & Mitchell independently: PTAS for Euclidian TSP Arora et al. and Grigniet al. PTAS for planar TSP

  21. 2000’s Papadimitriou & Vempala: NP-hard to approximate metric TSP within 220/219 Simplified and slightly improved by Lampis’12

  22. Today Major open problem to understand the approximability of TSP • NP-hard to approximate metric TSP within 220/219 • Christofides’ 1.5-approximation algorithm still best • Held-Karp relaxation conjectured to give 4/3-approximation

  23. TODAY’S Lecture • The first approximation algorithm for TSP • Christofides’ Algorithm • Recent techniques that improve upon Christofides’ algorithm for important special cases

  24. OUR FIRST APPROXIMATION ALGORITHM

  25. The Traveling Salesman Problem INPUT: cities with pairwise distances that satisfy the triangle inequality OUTPUT: a tour of minimum total distance that visits each city once

  26. The Traveling Salesman Problem INPUT: cities with pairwise distances that satisfy the triangle inequality OUTPUT: a tour of minimum total distance that visits each city once

  27. The Traveling Salesman Problem INPUT: cities with pairwise distances that satisfy the triangle inequality OUTPUT: a tour of minimum total distance that visits each city once

  28. How to analyze an approximation algorithm? • Recall that we measure its performance by Approximation Ratio: worst case over all instances • But calculating the cost of the optimal solution is NP-hard… SOLUTION:Compare with a lower bound on OPT!

  29. What is a Lower bound on OPT?

  30. What is a Lower bound on OPT? The weight of a minimum spanning tree is at most OPT:

  31. What is a Lower bound on OPT? PROOF: The weight of a minimum spanning tree is at most OPT:

  32. What is a Lower bound on OPT? PROOF: The weight of a minimum spanning tree is at most OPT: • Take an optimal tour of cost OPT • Drop an edge to obtain a tree T • Distances/weights are non-negative so • Hence,

  33. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting A C B D F G E G H

  34. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting A C B D F G E G H

  35. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting A C B D F G E H I

  36. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting A C B D F G E H I

  37. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I

  38. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A

  39. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B

  40. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D

  41. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H

  42. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D

  43. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I

  44. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D

  45. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D,B

  46. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D,B,E

  47. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D,B,E,B

  48. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D,B,E,B,F

  49. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D,B,E,B,F,B

  50. Double Tree Algorithm Find minimum spanning tree T Duplicate T Return Eulerian tour plus shortcutting Eulerian tour: a walk that traverses each edge exactly once A C B D F G E H I A,B,D,H,D,I,D,B,E,B,F,B,A

More Related