Phase transitions of Traveling Salesperson problems solved with linear programming and cutting planes

The Traveling Salesperson problem asks for the shortest cyclic tour visiting a set of cities given their pairwise distances and belongs to the NP-hard complexity class, which means that with all known algorithms in the worst case instances are not solvable in polynomial time, i.e., the problem is hard. However, this does not mean that there are not subsets of the problem which are easy to solve. To examine numerically transitions from an easy to a hard phase, a random ensemble of cities in the Euclidean plane, given a parameter σ, which governs the hardness, is introduced. Here, a linear programming approach together with suitable cutting planes is applied. Such algorithms operate outside the space of feasible solutions and are often used in practical applications but rarely studied in physics so far. We observe several transitions. To characterize these transitions, scaling assumptions from continuous phase transitions are applied.

[1]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[2]  O. Bagasra,et al.  Proceedings of the National Academy of Sciences , 1914, Science.

[3]  Ericka Stricklin-Parker,et al.  Ann , 2005 .

[4]  Alexander K. Hartmann,et al.  Statistical mechanics of the vertex-cover problem , 2003 .

[5]  Peter Young,et al.  Everything you wanted to know about Data Analysis and Fitting but were afraid to ask , 2012, 1210.3781.

[6]  LESLIE C. EDIE JOURNAL OF THE OPERATIONS RESEARCH SOCIETY OF AMERICA VOLUME 2 May , 1954 NUMBER 2 TRAFFIC DELAYS AT TOLL BOOTHS , 2008 .

[7]  S. Kak Information, physics, and computation , 1996 .

[8]  Satoshi Takabe,et al.  Typical behavior of the linear programming method for combinatorial optimization problems: From a statistical-mechanical perspective , 2013, ArXiv.

[9]  A. Hartmann Phase Transitions in Combinatorial Optimization Problems - Basics, Algorithms and Statistical Mechanics , 2005 .

[10]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[11]  Gerhard J. Woeginger,et al.  Well-solvable special cases of the TSP : a survey , 1996 .

[12]  Éric Colin de Verdière Algorithms and combinatorics for geometric graphs , 2015 .

[13]  L. Crombie,et al.  Everything you wanted to know about … , 1982, Nature.

[14]  Alexander K. Hartmann,et al.  Phase transition for cutting-plane approach to vertex-cover problem , 2012, Physical review. E, Statistical, nonlinear, and soft matter physics.

[15]  N. Goldenfeld Lectures On Phase Transitions And The Renormalization Group , 1972 .

[16]  Michael Aichinger,et al.  Monte Carlo Simulation , 2013 .

[17]  Cristopher Moore,et al.  The Nature of Computation , 2011 .

[18]  J. Lenstra,et al.  In Pursuit of the Traveling Salesman: Mathematics at the Limits of Computation , 2016 .

[19]  Toby Walsh,et al.  Artificial Intelligence The TSP phase transition , 1996 .

[20]  G. Nemhauser,et al.  Integer Programming , 2020 .

[21]  Alex A. Freitas,et al.  Evolutionary Computation , 2002 .

[22]  M. Foracchia,et al.  A novel method for the automatic evaluation of retinal vessel tortuosity , 2003, Proceedings of the 25th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (IEEE Cat. No.03CH37439).

[23]  K. Binder,et al.  Monte Carlo Simulation in Statistical Physics , 1992, Graduate Texts in Physics.

[24]  Ulrik Brandes,et al.  Graph-Theoretic Concepts in Computer Science , 2002, Lecture Notes in Computer Science.

[25]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[26]  Andrea Montanari,et al.  Gibbs states and the set of solutions of random constraint satisfaction problems , 2006, Proceedings of the National Academy of Sciences.

[27]  Sarah Eichmann,et al.  A Practical Guide To Computer Simulations , 2016 .

[28]  Sanjeev Arora,et al.  Computational Complexity: A Modern Approach , 2009 .

[29]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[30]  Alexander K Hartmann Big practical guide to computer simulations 2nd edition , 2015 .

[31]  Constantinos Daskalakis Theoretical Computer Science , 1977, Lecture Notes in Computer Science.

[32]  Gérard Cornuéjols,et al.  Valid Inequalities for Structured Integer Programs , 2014 .

[33]  L. Goddard,et al.  Operations Research (OR) , 2007 .

[34]  Robert M Thrall,et al.  Mathematics of Operations Research. , 1978 .

[35]  Hendrik B. Geyer,et al.  Journal of Physics A - Mathematical and General, Special Issue. SI Aug 11 2006 ?? Preface , 2006 .

[36]  HE Ixtroductiont,et al.  The Bell System Technical Journal , 2022 .

[37]  October I Physical Review Letters , 2022 .

[38]  Y. Istefanopulos,et al.  IEEE Engineering in Medicine and Biology Society , 2019, IEEE Transactions on Biomedical Engineering.