English

TSP Escapes the $O(2^n n^2)$ Curse

Data Structures and Algorithms 2024-05-28 v2 Computational Complexity

Abstract

The dynamic programming solution to the traveling salesman problem due to Bellman, and independently Held and Karp, runs in time O(2nn2)O(2^n n^2), with no improvement in the last sixty years. We break this barrier for the first time by designing an algorithm that runs in deterministic time 2nn2/2Ω(logn)2^n n^2 / 2^{\Omega(\sqrt{\log n})}. We achieve this by strategically remodeling the dynamic programming recursion as a min-plus matrix product, for which faster-than-na\"ive algorithms exist.

Keywords

Cite

@article{arxiv.2405.03018,
  title  = {TSP Escapes the $O(2^n n^2)$ Curse},
  author = {Mihail Stoian},
  journal= {arXiv preprint arXiv:2405.03018},
  year   = {2024}
}

Comments

minor text improvements; added reference to time-space tradeoff paper; original results unchanged