Використання солверів Concorde та CPLEX для розв’язання симетричних задач комівояжера в евклідовій та мангеттенській нормах

Аніса Касім; Олександр Палагін; Петро Стецюк; Ольга Хом’як

doi:10.71942/bsx8-qr32

Preprint / Version 1

Using Concorde and CPLEX Solvers to Solve Symmetric Traveling Salesman Problems in Euclidean and Manhattan Norms

Authors

Kasim Anisa Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine https://orcid.org/0000-0003- 3627-3855
Oleksandr Palagin Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine https://orcid.org/0000-0003-3223-1391
Petro Stetsyuk Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine https://orcid.org/0000-0003-4036-2543
Olha Khomiak Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine https://orcid.org/0000-0002-5384-9070

DOI:

https://doi.org/10.71942/bsx8-qr32

Keywords:

optimal route, symmetric traveling salesman problem, TSP algorithms, Miller-Tucker-Zemlin constraints, geographical coordinates, Euclidean norm, Manhattan norm, AMPL, NEOS server, Concorde solver, CPLEX solver, graph

Abstract

The capabilities of optimization solvers Concorde and CPLEX from the NEOS server for solving traveling salesman problems of various dimensions using Euclidean and Manhattan norms for distance matrix calculations are investigated. The problem of finding all optimal traveling salesman routes is formulated based on classical Miller-Tucker-Zemlin constraints that ensure the connectivity of each found route, supplemented by additional constraints that exclude the re-discovery of already known tours. Computational experiments were performed for three test datasets containing graph descriptions with 38, 57, and 1354 vertices, constructed based on the geographical coordinates of settlements in the Republic of Djibouti (first test) and the Kyiv region of Ukraine (two other tests).