An Exact Algorithm for TSP in Degree-3 Graphs Via Circuit Procedure and Amortization on Connectivity Structure

The paper presents an $$O^*(1.2312^n)$$O∗(1.2312n)-time and polynomial-space algorithm for the traveling salesman problem in an $$n$$n-vertex graph with maximum degree 3. This improves all previous time bounds of polynomial-space algorithms for this problem. Our algorithm is a simple branch-and-search algorithm with only one branch rule designed on a cut-circuit structure of a graph induced by unprocessed edges. To improve a time bound by a simple analysis on measure and conquer, we introduce an amortization scheme over the cut-circuit structure by defining the measure of an instance to be the sum of not only weights of vertices but also weights of connected components of the induced graph.

[1]  Kazuo Iwama,et al.  An Improved Exact Algorithm for Cubic Graph TSP , 2007, COCOON.

[2]  Fedor V. Fomin,et al.  Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Decompositions , 2010, Algorithmica.

[3]  Hiroshi Nagamochi,et al.  An Improved Exact Algorithm for TSP in Degree-4 Graphs , 2012, COCOON.

[4]  Toshihide Ibaraki,et al.  Algorithmic Aspects of Graph Connectivity , 2008, Encyclopedia of Mathematics and its Applications.

[5]  Andreas Björklund,et al.  The Travelling Salesman Problem in Bounded Degree Graphs , 2008, ICALP.

[6]  Gerhard J. Woeginger,et al.  Exact Algorithms for NP-Hard Problems: A Survey , 2001, Combinatorial Optimization.

[7]  Fedor V. Fomin,et al.  Exact exponential algorithms , 2013, CACM.

[8]  Maciej Liskiewicz,et al.  A new upper bound for the traveling salesman problem in cubic graphs , 2012, J. Discrete Algorithms.

[9]  Fabrizio Grandoni,et al.  Measure and Conquer: Domination - A Case Study , 2005, ICALP.

[10]  Hiroshi Nagamochi,et al.  An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure , 2013, TAMC.

[11]  Andreas Björklund,et al.  Determinant Sums for Undirected Hamiltonicity , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[12]  Stefan Kratsch,et al.  Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth , 2013, ICALP.

[13]  Andreas Björklund,et al.  The traveling salesman problem in bounded degree graphs , 2012, TALG.

[14]  T. Ibaraki,et al.  A linear time algorithm for computing 3-edge-connected components in a multigraph , 1992 .

[15]  Heidi Gebauer,et al.  Finding and enumerating Hamilton cycles in 4-regular graphs , 2011, Theor. Comput. Sci..

[16]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[17]  David Eppstein,et al.  The Traveling Salesman Problem for Cubic Graphs , 2003, J. Graph Algorithms Appl..

[18]  David Eppstein,et al.  Quasiconvex analysis of multivariate recurrence equations for backtracking algorithms , 2006, TALG.