Reducing Curse of Dimensionality: Improved PTAS for TSP (with Neighborhoods) in Doubling Metrics

We consider the Traveling Salesman Problem with Neighborhoods (TSPN) in doubling metrics. The goal is to find a shortest tour that visits each of a given collection of subsets (regions or neighborhoods) in the underlying metric space. We give a randomized polynomial time approximation scheme (PTAS) when the regions are fat weakly disjoint. This notion of regions was first defined when a QPTAS was given for the problem in [SODA 2010: Chan and Elbassioni]. We combine the techniques in the previous work, together with the recent PTAS for TSP [STOC 2012: Bartal, Gottlieb and Krauthgamer] to achieve a PTAS for TSPN. Moreover, more refined procedures are used to improve the dependence of the running time on the doubling dimension k from the previous exp[O(1)k2] (even for just TSP) to exp[O(1)O(k log k)].

[1]  Joseph S. B. Mitchell,et al.  A constant-factor approximation algorithm for TSP with pairwise-disjoint connected neighborhoods in the plane , 2010, SCG.

[2]  Joseph S. B. Mitchell,et al.  Approximation algorithms for TSP with neighborhoods in the plane , 2001, SODA '01.

[3]  Satish Rao,et al.  Approximating geometrical graphs via “spanners” and “banyans” , 1998, STOC '98.

[4]  Patrice Assouad Plongements lipschitziens dans ${\mathbb {R}}^n$ , 1983 .

[5]  Kunal Talwar,et al.  Bypassing the embedding: algorithms for low dimensional metrics , 2004, STOC '04.

[6]  Oded Schwartz,et al.  On the complexity of approximating tsp with neighborhoods and related problems , 2003, computational complexity.

[7]  P. Assouad Plongements lipschitziens dans Rn , 2003 .

[8]  Joseph S. B. Mitchell,et al.  A PTAS for TSP with neighborhoods among fat regions in the plane , 2007, SODA '07.

[9]  Kenneth L. Clarkson,et al.  Nearest Neighbor Queries in Metric Spaces , 1999, Discret. Comput. Geom..

[10]  Yair Bartal,et al.  Probabilistic approximation of metric spaces and its algorithmic applications , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[11]  Joseph S. B. Mitchell,et al.  Approximation algorithms for geometric tour and network design problems (extended abstract) , 1995, SCG '95.

[12]  Ittai Abraham,et al.  Advances in metric embedding theory , 2011 .

[13]  Joseph S. B. Mitchell,et al.  Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems , 1999, SIAM J. Comput..

[14]  Lee-Ad Gottlieb,et al.  The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme , 2011, STOC '12.

[15]  Robert Krauthgamer,et al.  Polylogarithmic inapproximability , 2003, STOC '03.

[16]  Michel Deza,et al.  Geometry of cuts and metrics , 2009, Algorithms and combinatorics.

[17]  Jiri Matousek,et al.  Lectures on discrete geometry , 2002, Graduate texts in mathematics.

[18]  Sanjeev Arora Approximation Algorithms for Geometric TSP , 2007 .

[19]  Robert Krauthgamer,et al.  Bounded geometries, fractals, and low-distortion embeddings , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[20]  Joachim Gudmundsson,et al.  TSP with neighborhoods of varying size , 2005, J. Algorithms.

[21]  Joachim Gudmundsson,et al.  A Fast Approximation Algorithm for TSP with Neighborhoods , 1999, Nord. J. Comput..

[22]  Esther M. Arkin,et al.  Approximation Algorithms for the Geometric Covering Salesman Problem , 1994, Discret. Appl. Math..

[23]  Lee-Ad Gottlieb,et al.  A Light Metric Spanner , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[24]  Khaled M. Elbassioni,et al.  A QPTAS for TSP with Fat Weakly Disjoint Neighborhoods in Doubling Metrics , 2011, Discret. Comput. Geom..

[25]  Satish Rao,et al.  A tight bound on approximating arbitrary metrics by tree metrics , 2003, STOC '03.

[26]  Khaled M. Elbassioni,et al.  Approximation Algorithms for Euclidean Group TSP , 2005, ICALP.

[27]  R. Ravi,et al.  A polylogarithmic approximation algorithm for the group Steiner tree problem , 2000, SODA '98.