Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Reducing Path TSP to TSP

Published: 01 January 2021 Publication History

Abstract

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, given an $\alpha$-approximation algorithm for TSP, then, for any $\epsilon >0$, we obtain an $(\alpha+\epsilon)$-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 $\alpha$-approximation algorithm for Graph TSP implies an $(\alpha+\epsilon)$-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+\epsilon)$-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 $\Phi$-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.

References

[1]
H.-C. An, R. Kleinberg, and D. B. Shmoys, Improving Christofides' algorithm for the $s$-$t$ path TSP, J. ACM, 62 (2015), pp. 34:1--34:28.
[2]
A. Blum, S. Chawla, D. R. Karger, T. Lane, A. Meyerson, and M. Minkoff, Approximation algorithms for orienteering and discounted-reward TSP, SIAM J. Comput., 37 (2007), pp. 653--670.
[3]
J. Cheriyan, Z. Friggstad, and Z. Gao, Approximating minimum-cost connected ${T}$-joins, Algorithmica, 72 (2015), pp. 126--147.
[4]
N. Christofides, Worst-case Analysis of a New Heuristic for the Travelling Salesman Problem, Technical Report 388, Graduate School of Industrial Administration, Carnegie Mellon University, 1976.
[5]
F. Eisenbrand, Integer Programming and Algorithmic Geometry of Numbers: 50 Years of Integer Programming 1958--2008, M. Jünger, T. M. Liebling, D. Naddef, G. L. Nemhauser, and W. R. Pulleyblank, eds., Springer, New York, 2010, pp. 505--559.
[6]
U. Feige and M. Singh, Improved approximation algorithms for traveling salesperson tours and paths in directed graphs, in Proceedings of the 10th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, 2007, pp. 104--118.
[7]
A. Frank and É. Tardos, An application of simultaneous diophantine approximation in combinatorial optimization, Combinatorica, 7 (1987), pp. 49--65.
[8]
Z. Gao, An LP-based $\frac{3}{2}$-approximation algorithm for the $s$-$t$ path graph traveling salesman problem, Oper. Res. Lett., 41 (2013), pp. 615--617.
[9]
M. X. Goemans, A. V. Goldberg, S. Plotkin, D. B. Shmoys, É. Tardos, and D. P. Williamson, Improved approximation algorithms for network design problems, in Proceedings of the 5th Annual ACM-SIAM Symposium on Discrete Algorithms, 1994. pp. 223--232.
[10]
C. Gottschalk and J. Vygen, Better $s$-$t$-tours by Gao trees, Math. Program. B, 172 (2018), pp. 191--207.
[11]
M. Grötschel, L. Lovász, and A. Schrijver, Geometric Algorithms and Combinatorial Optimization, 2nd ed., Algorithms Combin. 2, Springer, New York, 1993.
[12]
J. A. Hoogeveen, Analysis of Christofides' heuristic: Some paths are more difficult than cycles, Oper. Res. Lett., 10 (1991), pp. 291--295.
[13]
K. Jain, A factor $2$ approximation algorithm for the generalized Steiner network problem, Combinatorica, 21 (2001), pp. 39--60.
[14]
A. R. Karlin, N. Klein, and S. Oveis Gharan, A (slightly) improved approximation algorithm for metric TSP, in STOC 2021: Proceedings of the 53rd ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, NY, 2021.
[15]
M. Karpinski, M. Lampis, and R. Schmied, New inapproximability bounds for TSP, J. Comput. System Sci., 81 (2015), pp. 1665--1677.
[16]
A. V. Karzanov, How to tidy up a symmetric set-system by use of uncrossing operations, Theoret. Comput. Sci., 157 (1996), pp. 215--225.
[17]
B. Korte and J. Vygen, Combinatorial Optimization, Theory and Algorithms, 6th ed., Springer, New York, 2018.
[18]
T. Mömke and O. Svensson, Removing and adding edges for the traveling salesman problem, J. ACM, 63 (2016), pp. 2:1--2:28.
[19]
M. Mucha, $\frac{13}{9}$-approximation for graphic TSP, Theory Comput. Syst., 55 (2014), pp. 640--657.
[20]
M. Nägele and R. Zenklusen, A new dynamic programming approach for spanning trees with chain constraints and beyond, in Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, pp. 1550--1569.
[21]
S. Oveis Gharan, A. Saberi, and M. Singh, A randomized rounding approach to the traveling salesman problem, in Proceedings of the 52nd Annual IEEE Symposium on Foundations of Computer Science, 2011, pp. 550--559.
[22]
C. H. Papadimitriou and M. Yannakakis, The Traveling Salesman Problem with distances one and two, Math. Oper. Res., 18 (1993), pp. 1--12.
[23]
A. Schrijver, Combinatorial Optimization, Polyhedra and Efficiency, Springer, New York, 2003.
[24]
A. Sebö, Potentials in undirected graphs and planar multiflows, SIAM J. Comput., 26 (1997), pp. 582--603.
[25]
A. Sebö, Eight-fifth approximation for the path TSP, in Proceedings of 16th International Conference on Integer Programming and Combinatorial Optimization, 2013, pp. 263--373.
[26]
A. Sebö and A. van Zuylen, The Salesman's improved paths through forests, J. ACM, 66 (2019), pp. 28:1--28:16.
[27]
A. Sebö and J. Vygen, 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, Combinatorica, 34 (2014), pp. 597--629.
[28]
A. I. Serdjukov, Some extremal bypasses in graphs, Upravlyaemye Sistemy, 17 (1978), pp. 76--79 (in Russian).
[29]
V. Traub, Improving on best-of-many-Christofides for ${T}$-tours, Oper. Res. Lett., 48 (2020), pp. 798--804.
[30]
V. Traub and J. Vygen, Beating the integrality ratio for $s$-$t$-tours in graphs, SIAM J. Comput., to appear.
[31]
V. Traub and J. Vygen, Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP, J. ACM, 66 (2019), pp. 14:1--14:17.
[32]
J. Vygen, Reassembling trees for the traveling salesman, SIAM J. Discrete Math., 30 (2016), pp. 875--894.
[33]
Z. Xu and B Rodrigues, A 3/2-approximation algorithm for the multiple TSP with a fixed number of depots, INFORMS J. Comput., 27 (2015), pp. 636--645.
[34]
R. Zenklusen, A 1.5-approximation for Path TSP, in Proceedings of 30th Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, pp. 1539--1549.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image SIAM Journal on Computing
SIAM Journal on Computing  Volume 51, Issue 3
DOI:10.1137/smjcat.51.3
Issue’s Table of Contents

Publisher

Society for Industrial and Applied Mathematics

United States

Publication History

Published: 01 January 2021

Author Tags

  1. traveling salesman problem
  2. Path TSP
  3. approximation algorithm

Author Tags

  1. 68W25
  2. 05C85

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 25 Dec 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media