We provide a new upper bound for traveling salesman problem (TSP) in cubic graphs, i. e. graphs with maximum vertex degree three, and prove that the problem for an n-vertex graph can be solved in O(1.2553 n ) time and in linear space. We show that the exact TSP algorithm of Eppstein, with some minor modifications, yields the stated result. The previous best known upper bound O(1.251 n ) was claimed by Iwama and Nakashima [Proc. COCOON 2007]. Unfortunately, their analysis contains several mistakes that render the proof for the upper bound invalid.
ACM Subject Classification◮ Theorem 1. The traveling salesman problem for an n-vertex cubic graph can be solved in O(1.2553 n ) time and in linear space.Our proof techniques are based on ideas used by Eppstein [5] and Iwama and Nakashima [11] and a new, more careful study of worst-case branches in the tree of recursive subdivisions of the problem performed by the algorithm. Thus, our main contribution is more analytical than algorithmic. Nevertheless, we have implemented our algorithm and verified its easy implementability and good performance for graphs up to 114 vertices (for the experimental results see [12]).
Related WorkApplying the result by Björklund et al. for an n-vertex graph with maximum degree four one gets that TSP can be solved in O(1.856 n ) time and exponential space. Eppstein [5] showed that the problem can be solved in O(1.890 n ) time but using only polynomial space. Next, Gebauer [9] proposed an algorithm that runs in time O(1.733 n ). This algorithm can also list the Hamiltonian cycles but it uses exponential space. Very recently, Cygan et al. [4] have shown a Monte Carlo algorithm with constant one-sided error probability that solves the Hamiltonian cycle problem in O(1.201 n ) time for cubic graphs and in O(1.588 n ) time for graphs of maximum degree four. Though the technique presented in [4] works well for the Hamiltonian cycle problem, it is not usable for TSP.
Outline of Eppstein's AlgorithmEppstein's TSP algorithm [5] (see also Appendix) searches recursively for a minimum weight Hamiltonian cycle H min in a given cubic graph G. The algorithm constructs successively
Digital image matching Combinatorial pattern matching Discrete rotations and scalings Design and analysis of algorithms Image matching under rotation is a computational problem to determine for two given images A and B a rotation of A that most accurately resembles B. The research in combinatorial pattern matching led to a series of improved algorithms which commonly solve this problem by a sophisticated search in the set of all rotations of A. This paper provides the lower bound Ω(n 3 ) on the worst case cardinality of this set for images of size n × n and presents the first optimal algorithm of such kind, i.e., one that solves image matching under rotations in time O (n 3 ). Moreover, for image matching under compositions of rotation and scaling a new lower bound Ω(n 6 / log n) on the worst case cardinality of the set of rotated and scaled transformations of an n × n image is provided. This bound almost matches the upper bound O (n 6 ).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.