Stability of Reapproximation Algorithms for the \beta β -Metric Traveling Salesman (Path) Problem

Inspired by the concept of stability of approximation, we consider the following (re)optimization problem: Given a minimum-cost Hamiltonian cycle of a complete non-negatively real weighted graph \(G=(V,E,c)\) obeying the strengthened triangle inequality (i.e., for some strength factor \(1/2 \le \beta <1\), we have that \(\forall u,v,z \in V, c(u,z) \le \beta (c(u,v)+c(v,z))\)), and given a vertex v whose removal from G (resp., addition to G), along with all its incident edges, produces a new weighted graph still obeying the strengthened triangle inequality, find a minimum-cost Hamiltonian cycle of the modified graph. This problem is known to be NP-hard, but we show that it admits a PTAS, which just consists of either returning the old optimal cycle (after having by-passed the removed node), or instead computing (for finitely many inputs) a new optimal solution from scratch − depending on the required accuracy in the approximation. Then, we turn our attention to the case in which a minimum-cost Hamiltonian path is given instead, and the underlying graph obeys the relaxed triangle inequality. Here, if one edge weight is increased, and Open image in new window , Open image in new window denotes the relaxation factor of the original and the modified graph, respectively, then we show how to obtain an approximation of Open image in new window , which improves over existing solutions as soon as Open image in new window .

[1]  Juraj Hromkovic,et al.  An Improved Lower Bound on the Approximability of Metric TSP and Approximation Algorithms for the TSP with Sharpened Triangle Inequality , 2000, STACS.

[2]  Anna Zych,et al.  New Advances in Reoptimizing the Minimum Steiner Tree Problem , 2012, MFCS.

[3]  Juraj Hromkovic,et al.  The Parameterized Approximability of TSP with Deadlines , 2007, Theory of Computing Systems.

[4]  Harald Hempel,et al.  Reoptimization of Traveling Salesperson Problems: Changing Single Edge-Weights , 2009, LATA.

[5]  Guido Proietti,et al.  Reoptimizing the Strengthened Metric TSP on Multiple Edge Weight Modifications , 2012, SEA.

[6]  Hans-Joachim Böckenhauer,et al.  Approximation hardness of deadline-TSP reoptimization , 2009, Theor. Comput. Sci..

[7]  Juraj Hromkovic,et al.  On the Approximation Hardness of Some Generalizations of TSP , 2006, SWAT.

[8]  András Sebö,et al.  The Salesman's Improved Paths: A 3/2+1/34 Approximation , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

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

[10]  Guido Proietti,et al.  Approximating the Metric TSP in Linear Time , 2010, Theory of Computing Systems.

[11]  László A. Végh,et al.  A constant-factor approximation algorithm for the asymmetric traveling salesman problem , 2017, STOC.

[12]  Guido Proietti,et al.  On the Stability of Approximation for Hamiltonian Path Problems , 2006, Algorithmic Oper. Res..

[13]  Hans-Jürgen Bandelt,et al.  Performance Guarantees for Approximation Algorithms Depending on Parametrized Triangle Inequalities , 1995, SIAM J. Discret. Math..

[14]  Luca Bertazzi,et al.  Reoptimizing the traveling salesman problem , 2003, Networks.

[15]  Juraj Hromkovic Stability of Approximation Algorithms and the Knapsack Problem , 1999, Jewels are Forever.

[16]  Juraj Hromkovic,et al.  Towards the notion of stability of approximation for hard optimization tasks and the traveling salesman problem , 2002, Theor. Comput. Sci..

[17]  Guido Proietti,et al.  On the Approximability of TSP on Local Modifications of Optimally Solved Instances , 2007, Algorithmic Oper. Res..

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

[19]  Juraj Hromkovic,et al.  Reoptimization of Steiner trees: Changing the terminal set , 2009, Theor. Comput. Sci..

[20]  Vangelis Th. Paschos,et al.  Reoptimization of Minimum and Maximum Traveling Salesman's Tours , 2006, SWAT.

[21]  Daniel J. Rosenkrantz,et al.  An analysis of several heuristics for the traveling salesman problem , 2013, Fundamental Problems in Computing.

[22]  Juraj Hromkovic,et al.  Steiner tree reoptimization in graphs with sharpened triangle inequality , 2012, J. Discrete Algorithms.

[23]  Juraj Hromkovic,et al.  Approximation algorithms for the TSP with sharpened triangle inequality , 2000, Inf. Process. Lett..

[24]  Guido Proietti,et al.  On the hardness of constructing minimal 2-connected spanning subgraphs in complete graphs with sharpened triangle inequality , 2004, Theor. Comput. Sci..

[25]  Juraj Hromkovic,et al.  Reoptimization of Steiner Trees , 2008, SWAT.

[26]  Hans-Joachim Böckenhauer,et al.  Improved lower bounds on the approximability of the Traveling Salesman Problem , 2000, RAIRO Theor. Informatics Appl..

[27]  Juraj Hromkovic Stability of Approximation Algorithms for Hard Optimization Problems , 1999, SOFSEM.

[28]  Thomas Andreae,et al.  On the traveling salesman problem restricted to inputs satisfying a relaxed triangle inequality , 2001, Networks.

[29]  Guido Proietti,et al.  On k-connectivity problems with sharpened triangle inequality , 2008, J. Discrete Algorithms.

[30]  Michael A. Bender,et al.  Performance guarantees for the TSP with a parameterized triangle inequality , 1999, Inf. Process. Lett..

[31]  Dennis Komm,et al.  Reoptimization of the metric deadline TSP , 2010, J. Discrete Algorithms.