[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

A new integer programming formulation of the graphical traveling salesman problem

  • Full Length Paper
  • Series B
  • Published:
Mathematical Programming Submit manuscript

Abstract

In the Traveling Salesman Problem (TSP), a salesman wants to visit a set of cities and return home. There is a cost \(c_{ij}\) of traveling from city i to city j, which is the same in either direction for the Symmetric TSP. The objective is to visit each city exactly once, minimizing total travel costs. In the Graphical TSP, a city may be visited more than once, which may be necessary on a sparse graph. We present a new integer programming formulation for the Graphical TSP requiring only two classes of polynomial-sized constraints while addressing an open question proposed by Denis Naddef. We generalize one of these classes, and present promising preliminary computational results.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

Notes

  1. Note that the cut separating the two cycles has x-value equal to its y-value which is 1, and hence this solution does not satisfy the subtour elimination constraints.

References

  1. Carr, R.D., Lancia, G.: Compact vs. exponential-size LP relaxations. Operations Research Letters 30, 57–66 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. Carr, R.D., Vempala, S.: On the Held-Karp relaxation for the asymmetric and symmetric traveling salesman problems. Mathematical Programming 100, 569–587 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Corberán, A., Letchford, A.N., Sanchis, J.M.: A cutting plane algorithm for the general routing problem. Mathematical Programming 90, 291–316 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cornuéjols, G., Fonlupt, J., Naddef, D.: The traveling salesman problem on a graph and some related integer polyhedra. Mathematical Programming 33, 1–27 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  5. Dantzig, G., Fulkerson, R., Johnson, S.: Solution of a large-scale traveling salesman problem. Operations Research 2, 393–410 (1954)

    MathSciNet  MATH  Google Scholar 

  6. Edmonds, J., Johnson, E.L.: Matching, Euler tours and the Chinese postman. Mathematical Programming 5, 88–124 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  7. Eisenbrand, F., Kakimura, N., Rothvoß, T., Sanità, L.: Set covering with ordered replacement: Additive and multiplicative gaps. In International Conference on Integer Programming and Combinatorial Optimization, Springer, Berlin, Heidelberg. 170-182 (2011)

  8. Fleischmann, B.: A cutting plane procedure for the traveling salesman problem on road networks. European Journal of Operational Research 21(3), 307–317 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  9. Garey, M.R., Johnson, D.S., Tarjan, E.: The planar Hamiltonian circuit problem is NP-complete. SIAM Journal on Computing 5, 704–714 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  10. Goemans, M.X.: Worst-case comparison of valid inequalities for the TSP. Mathematical Programming 69, 335–349 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  11. Grötschel, M., Padberg, M.W.: On the symmetric travelling salesman problem I: inequalities. Mathematical Programming 16, 265–280 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  12. Guten, G., Punnen, A.P. (eds.): The traveling salesman problem and its variations. Springer, New York (2007)

  13. Hardgrave, W.W., Nemhauser, G.L.: On the relation between the traveling-salesman and the longest-path problems. Operations Research 10, 647–657 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  14. Junger, M., Reinelt, G., Rinaldi, G.: The traveling salesman problem. In: Handbooks in Operations Research and Management Science; Volume 7; Network Models (M.O. Ball, T.L. Magnanti, C.L. Monma, G.L. Nemhauser, eds.), Elsevier, Amsterdam (1995)

  15. Kolodyazhnyy, S.: Dijkstra Algorithm for Shortest Path, github.com/SergKolo/MSUD-CS2050-SPRING-2016/blob/master/input_for_dijkstra.txt (web) Accessed Jun (2018)

  16. Lancia G., Serafini, P.: The Parity Polytope. In: Compact Extended Linear Programming Models. EURO Advanced Tutorials on Operational Research. Springer, Cham (2018)

  17. Lawler, E.L., Lenstra, J.K., Rinnooy Kan, A.H.G., Shmoys, D.B.: Sequencing and scheduling: Algorithms and complexity. Handbooks in Operations Research and Management Science 4(C), 445–522 (1993)

    Article  Google Scholar 

  18. Letchford, A.N., Nasiri, S.D., Theis, D.O.: Compact formulations of the steiner TSP and related problems. European Journal of Operations Research 228, 83–92 (2013)

    Article  MATH  Google Scholar 

  19. Martin, R.K.: Using separation algorithms to generate mixed integer model reformulations. Operations Research Letters 10, 119–128 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  20. Miliotis, P., Laporte, G., Norbert, Y.: Computational comparison of two methods for finding the shortest complete cycle or circuit in a graph. RAIRO-Operations Research 15, 233–239 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  21. Naddef, D.: Personal Communication

  22. Nash-Williams, CSt.J.A.: Edge-disjoint spanning trees of finite graphs. Journal of the London Mathematical Society 36, 445–450 (1961)

    Article  MathSciNet  MATH  Google Scholar 

  23. Padberg, M.W., Grötschel, M.: Polyhedral computations. In: Lawler, E., Lenstra, J., Rinnooy-Kan, A., Shmoys, D. (eds.) The Traveling Salesman Problem, pp. 307–360. Wiley, Chichester (1985)

    Google Scholar 

  24. Ratliff, H.D., Rosenthal, A.: Order-picking in a rectangular warehouse: A solvable case of the traveling salesman problem. Operations Research 31(3), 507–521 (1983)

    Article  MATH  Google Scholar 

  25. Schrijver, A.: Combinatorial optimization - Polyhedra and efficiency. Springer (2003)

  26. Tutte, W.T.: On the problem of decomposing a graph into \(n\) connected factors. Journal of the London Mathematical Society 36, 221–230 (1961)

    Article  MathSciNet  MATH  Google Scholar 

  27. Volgenant, A., Jonker, R., Kindervater, G.A.O.: A note on finding a shortest complete cycle in an undirected graph. European Journal of Operational Research 23, 82–85 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  28. Yannakakis, M.: Expressing combinatorial optimization problems by linear programs. Journal of Computer and System Sciences 43, 441–466 (1991)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of New Mexico, Albuquerque, NM, 87131, USA

    Robert Carr

  2. Tepper School of Business, Carnegie Mellon University, Pittsburgh, USA

    R. Ravi

  3. Business, Computer Science, and Mathematics Department, Bryn Athyn College, Bryn Athyn, PA, 19009-0717, USA

    Neil Simonetti

Authors
  1. Robert Carr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Ravi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Neil Simonetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Neil Simonetti.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This material is based upon work supported in part by the U. S. Office of Naval Research under award numbers N00014-18-1-2099 and N00014-21-1-2243.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Carr, R., Ravi, R. & Simonetti, N. A new integer programming formulation of the graphical traveling salesman problem. Math. Program. 197, 877–902 (2023). https://doi.org/10.1007/s10107-022-01849-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10107-022-01849-w

Keywords

Mathematics Subject Classification