The salesman and the tree: the importance of search in CP

The traveling salesman problem (TSP) is a challenging optimization problem for CP and OR that has many industrial applications. Its generalization to the degree constrained minimum spanning tree problem (DCMSTP) is being intensively studied by the OR community. In particular, classical solution techniques for the TSP are being progressively generalized to the DCMSTP. Recent work on cost-based relaxations has improved CP models for the TSP. However, CP search strategies have not yet been widely investigated for these problems. The contributions of this paper are twofold. We first introduce a natural generalization of the weighted cycle constraint (WCC) to the DCMSTP. We then provide an extensive empirical evaluation of various search strategies. In particular, we show that significant improvement can be achieved via our graph interpretation of the state-of-the-art Last Conflict heuristic.

[1]  Richard M. Karp,et al.  The traveling-salesman problem and minimum spanning trees: Part II , 1971, Math. Program..

[2]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[3]  Andrea Lodi,et al.  Cost-Based Domain Filtering , 1999, CP.

[4]  Keld Helsgaun,et al.  An effective implementation of the Lin-Kernighan traveling salesman heuristic , 2000, Eur. J. Oper. Res..

[5]  Jean-Charles Régin,et al.  Robust and Parallel Solving of a Network Design Problem , 2002, CP.

[6]  Peter J. Stuckey,et al.  Finding all minimal unsatisfiable subsets , 2003, PPDP '03.

[7]  Jean-Charles Régin,et al.  The Cardinality Matrix Constraint , 2004, CP.

[8]  Andrea Lodi,et al.  Optimization-Oriented Global Constraints , 2004, Constraints.

[9]  Andrea Lodi,et al.  Embedding Relaxations in Global Constraints for Solving TSP and TSPTW , 2002, Annals of Mathematics and Artificial Intelligence.

[10]  Yves Deville,et al.  CP(Graph): Introducing a Graph Computation Domain in Constraint Programming , 2005, CP.

[11]  Abilio Lucena,et al.  Using Lagrangian dual information to generate degree constrained spanning trees , 2006, Discret. Appl. Math..

[12]  Alexandre Salles da Cunha,et al.  Lower and upper bounds for the degree-constrained minimum spanning tree problem , 2007, Networks.

[13]  A. S. Cunha,et al.  A Hybrid Relax-and-Cut/Branch and Cut Algorithm for the Degree-Constrained Minimum Spanning Tree Problem ⁄ , 2008 .

[14]  Jean-Charles Régin,et al.  Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint , 2008, CPAIOR.

[15]  Lakhdar Sais,et al.  Reasoning from last conflict(s) in constraint programming , 2009, Artif. Intell..

[16]  Louis-Martin Rousseau,et al.  The Weighted Spanning Tree Constraint Revisited , 2010, CPAIOR.

[17]  Louis-Martin Rousseau,et al.  Improved filtering for weighted circuit constraints , 2012, Constraints.

[18]  Peter J. Stuckey,et al.  Explaining circuit propagation , 2013, Constraints.