Integration of Structural Constraints into TSP Models

Abstract : Several models based on constraint programming have been proposed to solve the traveling salesman problem (TSP). The most efficient ones, such as the weighted circuit constraint (WCC), mainly rely on the Lagrangian relaxation of the TSP, based on the search for spanning tree or more precisely "1-tree". The weakness of these approaches is that they do not include enough structural constraints and are based almost exclusively on edge costs. The purpose of this paper is to correct this drawback by introducing the Hamiltonian cycle constraint associated with propagators. We propose some properties preventing the existence of a Hamiltonian cycle in a graph or, conversely, properties requiring that certain edges be in the TSP solution set. Notably, we design a propagator based on the research of k-cutsets. The combination of this constraint with the WCC constraint allows us to obtain, for the resolution of the TSP, gains of an order of magnitude for the number of backtracks as well as a strong reduction of the computation time.
Document type :
Book sections
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02456686
Contributor : Nicolas Isoart <>
Submitted on : Monday, January 27, 2020 - 3:16:44 PM
Last modification on : Thursday, January 30, 2020 - 1:40:44 AM

File

Integration_of_structural_cons...
Files produced by the author(s)

Identifiers

Collections

Citation

Nicolas Isoart, Jean-Charles Régin. Integration of Structural Constraints into TSP Models. Principles and Practice of Constraint Programming, pp.284-299, 2019, ⟨10.1007/978-3-030-30048-7_17⟩. ⟨hal-02456686⟩

Share

Metrics

Record views

9

Files downloads

16