The $k$-Opt algorithm for the Traveling Salesman Problem has exponential running time for $k \ge 5$

Sophia Heimann,Hung P. Hoang,Stefan Hougardy
2024-06-13
Abstract:The $k$-Opt algorithm is a local search algorithm for the Traveling Salesman Problem. Starting with an initial tour, it iteratively replaces at most $k$ edges in the tour with the same number of edges to obtain a better tour. Krentel (FOCS 1989) showed that the Traveling Salesman Problem with the $k$-Opt neighborhood is complete for the class PLS (polynomial time local search) and that the $k$-Opt algorithm can have exponential running time for any pivot rule. However, his proof requires $k \gg 1000$ and has a substantial gap. We show the two properties above for a much smaller value of $k$, addressing an open question by Monien, Dumrauf, and Tscheuschner (ICALP 2010). In particular, we prove the PLS-completeness for $k \geq 17$ and the exponential running time for $k \geq 5$.
Data Structures and Algorithms,Discrete Mathematics,Combinatorics
What problem does this paper attempt to address?
The paper aims to address the issue of exponential runtime of the k-Opt algorithm under specific conditions in the Traveling Salesman Problem (TSP). Specifically: 1. **Exponential Runtime of the k-Opt Algorithm**: - The paper proves that for smaller values of k (k ≥ 5), the k-Opt algorithm requires an exponential number of iterations to find a locally optimal solution. This resolves the issue in previous research where a much larger k value (e.g., k ≫ 1000) was needed to prove the problem. 2. **PLS-Completeness**: - The paper also proves that for larger values of k (k ≥ 17), the TSP/k-Opt problem is PLS-complete. This means that finding a polynomial-time algorithm to find a locally optimal solution would imply that all PLS problems can find locally optimal solutions in polynomial time. Through these results, the paper resolves an open problem regarding the complexity of the k-Opt algorithm and provides a more rigorous proof method.