Hostname: page-component-7479d7b7d-jwnkl Total loading time: 0 Render date: 2024-07-13T15:41:39.855Z Has data issue: false hasContentIssue false

Improved Lower Bounds on the Approximability of the Traveling Salesman Problem

Published online by Cambridge University Press:  15 April 2002

Hans-Joachim Böckenhauer
Affiliation:
Lehrstuhl für Informatik I (Algorithmen und Komplexität), RWTH Aachen, 52056 Aachen, Germany; (jb@i1.informatik.rwth-aachen.de)
Sebastian Seibert
Affiliation:
Lehrstuhl für Informatik I (Algorithmen und Komplexität), RWTH Aachen, 52056 Aachen, Germany; (seibert@i1.informatik.rwth-aachen.de)
Get access

Abstract

This paper deals with lower bounds on the approximability of different subproblems of the Traveling Salesman Problem (TSP) which is known not to admit any polynomial time approximation algorithm in general (unless $\mathcal{P}=\mathcal{NP}$). First of all, we present an improved lower bound for the Traveling Salesman Problem with Triangle Inequality, Delta-TSP for short. Moreover our technique, an extension of the method of Engebretsen [11], also applies to the case of relaxed and sharpened triangle inequality, respectively, denoted $\Delta_\beta$-TSP for an appropriate β. In case of the Delta-TSP, we obtain a lower bound of $\frac{3813}{3812}-\varepsilon$ on the polynomial-time approximability (for any small $\varepsilon> 0$), compared to the previous bound of $\frac{5381}{5380}-\varepsilon$ in [11]. In case of the $\Delta_\beta$-TSP, for the relaxed case ($\beta> 1$) we present a lower bound of $\frac{3803+10\beta}{3804+8\beta}-\varepsilon$, and for the sharpened triangle inequality ($\frac{1}{2}< \beta< 1$), the lower bound is $\frac{7611+10\beta^2+5\beta}{7612+8\beta^2+4\beta}-\varepsilon$. The latter result is of interest especially since it shows that the TSP is $\mathcal{APX}$-hard even if one comes arbitrarily close to the trivial case that all edges have the same cost.

Type
Research Article
Copyright
© EDP Sciences, 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Andreae, T. and Bandelt, H.-J., Performance guarantees for approximation algorithms depending on parametrized triangle inequalities. SIAM J. Discrete Math. 8 (1995) 1-16. CrossRef
Arora, S., Polynomial Time Approximation Schemes for Euclidean Traveling Salesman and Other Geometric Problems. J. ACM 45 (1998) 753-782. CrossRef
S. Arora, Nearly linear time approximation schemes for Euclidean TSP and other geometric problems, in Proc. 38th Ann. Symp. on Foundations of Comp. Sci. (FOCS '97), IEEE (1997) 554-563.
S. Arora and C. Lund, Hardness of Approximations, Chapter 10 of [], pp. 399-446.
Bender, M.A. and Chekuri, C., Performance guarantees for the TSP with a parameterized triangle inequality. Inform. Process. Lett. 73 (2000) 17-21. CrossRef
Böckenhauer, H.-J., Hromkovic, J., Klasing, R., Seibert, S. and Unger, W., Towards the Notion of Stability of Approximation Algorithms and the Traveling Salesman Problem (Extended Abstract), edited by G.C. Bongiovanni, G. Gambosi and R. Petreschi, Algorithms and Complexity, Proc. 4th Italian Conference CIAC 2000. Springer, Lecture Notes in Comput. Sci. 1767 (2000) 72-86. (Full version in: Electronic Colloquium on Computational Complexity (http://www.eccc.uni-trier.de/eccc/), Report No. 31 (1999).) CrossRef
Böckenhauer, H.-J., Hromkovic, J., Klasing, R., Seibert, S. and Unger, W., Improved Lower Bound, An on the Approximability of Metric TSP and Approximation Algorithms for the TSP with Sharpened Triangle Inequality (Extended Abstract), edited by H. Reichel and S. Tison, STACS 2000, Proc. 17th Ann. Symp. on Theoretical Aspects of Comp. Sci., Springer, Lecture Notes in Comput. Sci. 1770 (2000) 382-394. CrossRef
Böckenhauer, H.-J., Hromkovic, J., Klasing, R., Seibert, S. and Unger, W., Approximation Algorithms for the TSP with Sharpened Triangle Inequality. Inform. Process. Lett. 75 (2000) 133-138. CrossRef
P. Berman and M. Karpinski, On some tighter inapproximability results. Technical Report TR98-029, Electronic Colloquium on Computational Complexity (1998) http://www.eccc.uni-trier.de/eccc/
N. Christofides, Worst-case analysis of a new heuristic for the traveling salesman problem, Technical Report 388. Graduate School of Industrial Administration, Carnegie-Mellon University, Pittsburgh (1976).
Engebretsen, L., An explicit lower bound for TSP with distances one and two. Extended abstract, edited by C. Meinel and S. Tison, STACS 99, Proc. 16th Ann. Symp. on Theoretical Aspects of Comp. Sci. Springer, Lecture Notes in Comput. Sci. 1563 (1999) 373-382. Full version in: Electronic Colloquium on Computational Complexity (http://www.eccc.uni-trier.de/eccc/), Revision 1 of Report No. 46 (1999). CrossRef
D.S. Hochbaum, Approximation Algorithms for NP-hard Problems. PWS Publishing Company (1996).
E.L. Lawler, J.K. Lenstra, A.H.G. Rinnooy Kan and D.B. Shmoys, The Traveling Salesman Problem. John Wiley & Sons (1985).
I.S.B. Mitchell, Guillotine subdivisions approximate polygonal subdivisions: Part II - a simple polynomial-time approximation scheme for geometric k-MST, TSP and related problems. Technical Report, Dept. of Applied Mathematics and Statistics, Stony Brook (1996).
E.W. Mayr, H.J. Prömel and A. Steger, Lectures on Proof Verification and Approximation Algorithms. Springer, Lecture Notes in Comput. Sci. 1967 (1998).
Ch. Papadimitriou and S. Vempala, On the approximability of the traveling salesman problem, in Proc. 32nd Ann. Symp. on Theory of Comp. (STOC '00), ACM (2000).
Ch. Papadimitriou, M. Yannakakis, The traveling salesman problem with distances one and two. Math. Oper. Res. 18 (1993) 1-11. CrossRef