Klein, PN and Marx, Dániel (2014) A subexponential parameterized algorithm for Subset TSP on planar graphs. In: 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms . Association for Computing Machinery, New York, pp. 1812-1830. ISBN 9781611973389

Text Klein_1812_2741005_z.pdf Restricted to Registered users only Download (610kB) | Request a copy

Abstract

Given a graph G and a subset S of vertices, the Subset TSP problem asks for a shortest closed walk in G visiting all vertices of S. The problem can be solved in time 2k · nO(1) using the classical dynamic programming algorithms of Bellman and of Held and Karp, where k = |S| and n = | V(G)|. Our main result is showing that the problem can be solved in time (2O(√k log k)+ W) · nO(1) if G is a planar graph with weights that are integers no greater than W. While similar speedups have been observed for various paramterized problems 011 planar graphs, our result cannot be simply obtained as a consequence of bounding the treewidth of G or invoking bidimensionality theory. Our algorithm consists of two steps: (1) find a locally optimal solution, and (2) use it to guide a dynamic program. The proof of correctness of the algorithm depends on a treewidth bound on a graph obtained by combining an optimal solution with a locally optimal solution. Copyright © 2014 by the Society for Industrial and Applied Mathematics.

Update Item