Abstract:We describe an exact algorithm for finding the best 2-OPT move that, experimentally, was observed to be much faster than the standard quadratic approach for a large part of a best-improvement local search convergence starting at a random tour. To analyze its average-case complexity, we introduce a family of heuristic procedures and discuss their complexity when applied to a random tour in graphs whose edge costs are either uniform random numbers in [0, 1] or Euclidean distances between random points in the plane. We prove that, for any probability p, there is a heuristic in the family that can find the best 2-OPT move with probability at least p in average-time [Formula: see text]) for uniform instances and [Formula: see text] for Euclidean instances. The exact algorithm is then proved to be even faster in the sense that in those instances in which a heuristic finds the best move, the exact algorithm finds it in a smaller time. We give empirical evidence that a slight variant of our algorithm finds the best move in [Formula: see text] time on both types of instances, achieving the best possible performance for this particular problem. Computational experiments are reported to show the effectiveness of our algorithms, both in best-improvement and in first-improvement 2-OPT local search. History: Accepted by Andrea Lodi, Area Editor for Design and Analysis of Algorithms: Discrete. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2023.0169 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2023.0169 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

Simulated annealing approach to verify vertex adjacencies in the traveling salesperson polytope

Hamiltonian decomposition and verifying vertex adjacency in 1-skeleton of the traveling salesperson polytope by variable neighborhood search

On vertex adjacencies in the polytope of pyramidal tours with step-backs

On 1-skeleton of the polytope of pyramidal tours with step-backs

On Solving Travelling Salesman Problem with Vertex Requisitions

Simulated Annealing with Probabilistic Neighborhood for Traveling Salesman Problems

A Conjecture Related to the Traveling Salesman Problem

Comparison of approximation algorithms for the travelling salesperson problem on semimetric graphs

Computing Nonsimple Polygons of Minimum Perimeter

Polynomial-Time Approximability of the Asymmetric Problem of Covering a Graph by a Bounded Number of Cycles

A Polynomial-Time Deterministic Approach to the Traveling Salesperson Problem

Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem

Asymptotically Optimal Algorithms for the Prize-Collecting Traveling Salesman Problem on Random Inputs

On the facial structure of Symmetric and Graphical Traveling Salesman Polyhedra

Average Case Subquadratic Exact and Heuristic Procedures for the Traveling Salesman 2-OPT Neighborhood

An Effective Heuristic Algorithm for the Traveling-Salesman Problem

The Asymmetric Traveling Salesman Problem on Graphs with Bounded Genus

An analogue approach to the travelling salesman problem using an elastic net method

Generalized multiple depot traveling salesmen problem - polyhedral study and exact algorithm

Complexity and Stop Conditions for NP as General Assignment Problems, the Travel Salesman Problem in $\mathbb{R}^2$, Knight Tour Problem and Boolean Satisfiability Problem

FIXED RATIO POLYNOMIAL TIME APPROXIMATION ALGORITHM FOR THE PRIZE-COLLECTING ASYMMETRIC TRAVELING SALESMAN PROBLEM