Reoptimizing the Strengthened Metric TSP on Multiple Edge Weight Modifications

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$\frac{1}{2} \leq \beta <1$, we have that ∀x,y,z∈V, c(x,y)≤β(c(x,z)+c(y,z))), and given a set of k edge weight modifications producing 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 already for a single edge weight modification. However, in this case, if both the input and the modified graph obey the strengthened triangle inequality and the respective strength factors are fixed (i.e., independent of |V|), then it has been shown that the problem admits a PTAS (which just consists of either returning the old optimal cycle, or instead computing -- for finitely many inputs -- a new optimal solution from scratch, depending on the required accuracy in the approximation). In this paper we first extend the analysis of the PTAS to show its applicability for all k=O(1), and then we provide a large set of experiments showing that, in most practical circumstances, altering (uniformly at random) even several edge weights does not affect the goodness of the old optimal solution.

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

[2]  Niklaus Wirth,et al.  Algorithms and Data Structures , 1989, Lecture Notes in Computer Science.

[3]  Anna Zych,et al.  Reoptimization of Weighted Graph and Covering Problems , 2008, WAOA.

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

[5]  R. V. Stee,et al.  Packing Rectangles into 2 OPT Bins Using Rotations , 2008 .

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

[7]  Lars Arge,et al.  Algorithm Theory - SWAT 2006, 10th ScandinavianWorkshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings , 2006, SWAT.

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

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

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

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

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

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