The traveling salesman problem on cubic and subcubic graphs

We study the traveling salesman problem (TSP) on the metric completion of cubic and subcubic graphs, which is known to be NP-hard. The problem is of interest because of its relation to the famous 4/3-conjecture for metric TSP, which says that the integrality gap, i.e., the worst case ratio between the optimal value of a TSP instance and that of its linear programming relaxation (the subtour elimination relaxation), is 4/3. We present the first algorithm for cubic graphs with approximation ratio 4/3. The proof uses polyhedral techniques in a surprising way, which is of independent interest. In fact we prove constructively that for any cubic graph on $$n$$ vertices a tour of length $$4n/3-2$$ exists, which also implies the 4/3-conjecture, as an upper bound, for this class of graph-TSP. Recently, Mömke and Svensson presented an algorithm that gives a 1.461-approximation for graph-TSP on general graphs and as a side result a 4/3-approximation algorithm for this problem on subcubic graphs, also settling the 4/3-conjecture for this class of graph-TSP. The algorithm by Mömke and Svensson is initially randomized but the authors remark that derandomization is trivial. We will present a different way to derandomize their algorithm which leads to a faster running time. All of the latter also works for multigraphs.

[1]  William R. Pulleyblank,et al.  Matchings in regular graphs , 1981, Discret. Math..

[2]  Jens Vygen,et al.  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 , 2012, ArXiv.

[3]  Sylvia C. Boyd,et al.  Finding the Exact Integrality Gap for Small Traveling Salesman Problems , 2002, Math. Oper. Res..

[4]  José R. Correa,et al.  TSP Tours in Cubic Graphs: Beyond 4/3 , 2012, SIAM J. Discret. Math..

[5]  Marek Karpinski,et al.  Approximability of dense and sparse instances of minimum 2-connectivity, TSP and path problems , 2002, SODA '02.

[6]  Marek Karpinski,et al.  8 = 7-Approximation Algorithm for (1,2)-TSP (cid:3) (Extended Version) , 2006 .

[7]  Leen Stougie,et al.  TSP on Cubic and Subcubic Graphs , 2011, IPCO.

[8]  N. Biggs THE TRAVELING SALESMAN PROBLEM A Guided Tour of Combinatorial Optimization , 1986 .

[9]  J. G. Pierce,et al.  Geometric Algorithms and Combinatorial Optimization , 2016 .

[10]  J. Petersen Die Theorie der regulären graphs , 1891 .

[11]  L. Wolsey Heuristic analysis, linear programming and branch and bound , 1980 .

[12]  Yanjun Li,et al.  Maximum Cardinality Simple 2-matchings in Subcubic Graphs , 2011, SIAM J. Optim..

[13]  Michel X. Goemans,et al.  Worst-case comparison of valid inequalities for the TSP , 1995, Math. Program..

[14]  Harold N. Gabow,et al.  Data structures for weighted matching and nearest common ancestors with linking , 1990, SODA '90.

[15]  Mohit Singh,et al.  A Randomized Rounding Approach to the Traveling Salesman Problem , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[16]  Marcin Mucha 13/9-approximation for Graphic TSP , 2012, STACS.

[17]  Nobuji Saito,et al.  NP-Completeness of the Hamiltonian Cycle Problem for Bipartite Graphs , 1980 .

[18]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[19]  David P. Williamson,et al.  Analyzing the Held-Karp TSP Bound: A Monotonicity Property with Application , 1990, Inf. Process. Lett..

[20]  Philip N. Klein,et al.  A polynomial-time approximation scheme for weighted planar graph TSP , 1998, SODA '98.

[21]  Paul G. Spirakis,et al.  Graph Properties that Facilitate Travelling , 1998, Electron. Colloquium Comput. Complex..

[22]  Mihalis Yannakakis,et al.  The Traveling Salesman Problem with Distances One and Two , 1993, Math. Oper. Res..

[23]  Christos H. Papadimitriou,et al.  An approximation scheme for planar graph TSP , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[24]  Moshe Lewenstein,et al.  An improved upper bound for the TSP in cubic 3-edge-connected graphs , 2005, Oper. Res. Lett..

[25]  David S. Johnson,et al.  The Planar Hamiltonian Circuit Problem is NP-Complete , 1976, SIAM J. Comput..

[26]  László A. Végh,et al.  Restricted b-Matchings in Degree-Bounded Graphs , 2010, IPCO.

[27]  Ola Svensson,et al.  Approximating Graphic TSP by Matchings , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[28]  Daniel Král,et al.  Unions of perfect matchings in cubic graphs , 2005, Electron. Notes Discret. Math..

[29]  Francisco Barahona,et al.  Fractional Packing of T-Joins , 2004, SIAM J. Discret. Math..