Reducing path TSP to TSP

We present a black-box reduction from the path version of the Traveling Salesman Problem (Path TSP) to the classical tour version (TSP). More precisely, we show that given an α-approximation algorithm for TSP, then, for any ε >0, there is an (α+ε)-approximation algorithm for the more general Path TSP. This reduction implies that the approximability of Path TSP is the same as for TSP, up to an arbitrarily small error. This avoids future discrepancies between the best known approximation factors achievable for these two problems, as they have existed until very recently. A well-studied special case of TSP, Graph TSP, asks for tours in unit-weight graphs. Our reduction shows that any α-approximation algorithm for Graph TSP implies an (α+ε)-approximation algorithm for its path version. By applying our reduction to the 1.4-approximation algorithm for Graph TSP by Sebő and Vygen, we obtain a polynomial-time (1.4+ε)-approximation algorithm for Graph Path TSP, improving on a recent 1.497-approximation algorithm of Traub and Vygen. We obtain our results through a variety of new techniques, including a novel way to set up a recursive dynamic program to guess significant parts of an optimal solution. At the core of our dynamic program we deal with instances of a new generalization of (Path) TSP which combines parity constraints with certain connectivity requirements. This problem, which we call Φ-TSP, has a constant-factor approximation algorithm and can be reduced to TSP in certain cases when the dynamic program would not make sufficient progress.

[1]  Marcin Mucha 13/9-approximation for Graphic TSP , 2012, STACS.

[2]  Ola Svensson,et al.  Removing and Adding Edges for the Traveling Salesman Problem , 2016, J. ACM.

[3]  Kamal Jain,et al.  A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[4]  David R. Karger,et al.  Approximation algorithms for orienteering and discounted-reward TSP , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[5]  András Sebö,et al.  Eight-Fifth Approximation for the Path TSP , 2012, IPCO.

[6]  András Sebö,et al.  Potentials in Undirected Graphs and Planar Multiflows , 1997, SIAM J. Comput..

[7]  Rico Zenklusen,et al.  A New Dynamic Programming Approach for Spanning Trees with Chain Constraints and Beyond , 2019, SODA.

[8]  L. Lovász,et al.  Geometric Algorithms and Combinatorial Optimization , 1981 .

[9]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[10]  Vera Traub,et al.  Beating the Integrality Ratio for s-t-Tours in Graphs , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[11]  David B. Shmoys,et al.  Improving christofides' algorithm for the s-t path TSP , 2011, STOC '12.

[12]  TraubVera,et al.  Approaching 3/2 for the s-t-path TSP , 2019 .

[13]  Jens Vygen,et al.  Reassembling Trees for the Traveling Salesman , 2015, SIAM J. Discret. Math..

[14]  Alexander V. Karzanov How to Tidy up a General Set-System by Use of Uncrossing Operations , 1996, Theor. Comput. Sci..

[15]  András Frank,et al.  An application of simultaneous diophantine approximation in combinatorial optimization , 1987, Comb..

[16]  András Sebő Eight-Fifth approximation for the path TSP , 2013, IPCO 2013.

[17]  YannakakisMihalis,et al.  The Traveling Salesman Problem with Distances One and Two , 1993 .

[18]  A. J.,et al.  Analysis of Christofides ' heuristic : Some paths are more difficult than cycles , 2002 .

[19]  Mohit Singh,et al.  Improved Approximation Ratios for Traveling Salesperson Tours and Paths in Directed Graphs , 2007, APPROX-RANDOM.

[20]  Joseph Cheriyan,et al.  Approximating Minimum-Cost Connected T-Joins , 2012, APPROX-RANDOM.

[21]  Rico Zenklusen,et al.  A 1.5-Approximation for Path TSP , 2018, SODA.

[22]  Vera Traub,et al.  Approaching 3/2 for the s-t-path TSP , 2019, J. ACM.

[23]  Jens Vygen,et al.  Better s-t-Tours by Gao Trees , 2016, IPCO.

[24]  Zhihan Gao An LP-based 32-approximation algorithm for the s-ts-t path graph Traveling Salesman Problem , 2013, Oper. Res. Lett..

[25]  András Sebö,et al.  The Salesman’s Improved Paths through Forests , 2019, J. ACM.

[26]  Mihalis Yannakakis,et al.  The Traveling Salesman Problem with Distances One and Two , 1993, Math. Oper. Res..

[27]  Friedrich Eisenbrand,et al.  Integer Programming and Algorithmic Geometry of Numbers - A tutorial , 2010, 50 Years of Integer Programming.

[28]  Andrew V. Goldberg,et al.  Improved approximation algorithms for network design problems , 1994, SODA '94.

[29]  Mohit Singh,et al.  A Randomized Rounding Approach to the Traveling Salesman Problem , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[30]  Jens Vygen,et al.  Shorter tours by nicer ears: 7/5-approximation for the graph-TSP, 3/2 for the path version, and 4/3 for two-edge-connected subgraphs , 2012, ArXiv.

[31]  Nicos Christofides Worst-Case Analysis of a New Heuristic for the Travelling Salesman Problem , 1976, Operations Research Forum.

[32]  Brian Rodrigues,et al.  A 3/2-Approximation Algorithm for the Multiple TSP with a Fixed Number of Depots , 2015, INFORMS J. Comput..