Computing with Domino-Parity Inequalities for the Traveling Salesman Problem (TSP)

  • Authors:
  • William Cook;Daniel G. Espinoza;Marcos Goycoolea

  • Affiliations:
  • Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, Georgia 30332;Departamento de Ingeniería Industrial, Facultad de Ciencias Físicas y Matemáticas, Universidad de Chile, Santiago 837-0439, Chile;School of Business, Universidad Adolfo Ibáòez, Peòalolen, Santiago 794-1169, Chile

  • Venue:
  • INFORMS Journal on Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe methods for implementing separation algorithms for domino-parity inequalities for the symmetric traveling salesman problem. These inequalities were introduced by Letchford (2000), who showed that the separation problem can be solved in polynomial time when the support graph of the LP solution is planar. In our study we deal with the problem of how to use this algorithm in the general (nonplanar) case, continuing the work of Boyd et al. (2001). Our implementation includes pruning methods to restrict the search for dominoes, a parallelization of the main domino-building step, heuristics to obtain planar-support graphs, a safe-shrinking routine, a random-walk heuristic to extract additional violated constraints, and a tightening procedure to modify existing inequalities as the LP solution changes. We report computational results showing the strength of the new routines, including the optimal solution of a 33,810-city instance from the TSPLIB.