Алгоритм соединения циклов для метрической задачи коммивояжера на максимум

Abstract

Задача коммивояжера на максимум имеет ряд практических приложений, например, при сжатии произвольных данных и анализе последовательностей ДНК. При том, что задача коммивояжера на максимум является менее разработанной, чем задача коммивояжера на минимум, для ее решения существуют эффективные приближенные алгоритмы. В статье приведены оценки точности лучших на сегодняшний день алгоритмов для приближенного решения метрической задачи коммивояжера на максимум, и предлагается еще один алгоритм приближенного решения задачи коммивояжера на максимум, состоящий из поиска 2-фактора максимального веса в заданном графе, а затем применения операции оптимального соединения циклов в один гамильтонов цикл. Приведено доказательство, что для метрической задачи коммивояжера на максимум отношение длины найденного алгоритмом гамильтонова цикла к максимально возможной длине гамильтонова цикла не менее 5/6. Вычислительная сложность алгоритма не превышает O(|V|3). Проведено тестирование качества алгоритма на случайно сгенерированных матрицах стоимостей с евклидовой метрикой. Аналитическое и численное исследование алгоритма объединения циклов позволило выдвинуть гипотезу об асимптотической точности алгоритма на классе метрических задач коммивояжера на максимум. The traveling salesman problem is an important combinatorial optimization problem that involves finding the optimal path between given vertices. The maximum traveling salesman problem has several practical applications, for example, when compressing arbitrary data and analyzing DNA sequences. Even though maximum traveling salesman problem is less developed than minimum traveling salesman problem, there are effective approximate algorithms for solving this problem. The article presents estimates of the accuracy of the best algorithms for the approximate solution of the metric maximum traveling salesman problem. The paper proposes a new algorithm for the approximate solution of the traveling salesman problem to the maximum, consisting of finding the 2-factor of the extreme weight in each graph, and then applying the operation of the optimal connection of cycles into one Hamiltonian cycle. The computational complexity of the algorithm does not exceed O(|V|3). We present a proof of the theorem that for the metric traveling salesman problem, the maximum accuracy of the algorithm is at least 5/6. The quality of the algorithm has been tested on randomly generated cost matrices with the Euclidean metric. An analytical and numerical study of the algorithm for combining cycles has allowed us to move the hypothesis about the asymptotic accuracy of the algorithm on the class of metric traveling salesman problems to the maximum.