Обсуждение:Приближенный алгоритм для метрической задачи коммивояжера/Задачи/MTSP NP-полна — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Решение)
(Решение)
Строка 1: Строка 1:
 
== Решение ==
 
== Решение ==
Обозначим за <m>d_{ij}</m> расстояние между городами <m>i</m> и <m>j</m>. Оченвидно, что если мы ко всем <m>d_{ij}</m> прибавим константу <m>C</m>, то получим задачу, эквивалентную исходной. Пусть <m>D</m> - максимум расстояний между городами, то есть <m>D = \max</m>
+
Сведем задачу TSP к MTSP. То есть, покажем, как решать TSP, если умеем решать MTSP.
 +
 
 +
В TSP обозначим за <m>d_{ij}</m> расстояние между городами <m>i</m> и <m>j</m>. Оченвидно, что если мы ко всем <m>d_{ij}</m> прибавим константу <m>C</m>, то получим задачу, эквивалентную исходной. Пусть <m>D</m> - максимум расстояний между городами, то есть <m>D = \max_{i,j}{d_{ij}}</m>. В качестве константы <m>C</m> возьмем <m>D + 1</m>. Тогда для новых расстояний выполнено <m>D + 1 < d_{ij}^* \le 2D + 1</m>. При таких расстояниях справедливо неравенство треугольника. Что и требовалось.

Версия 20:37, 21 ноября 2011

Решение

Сведем задачу TSP к MTSP. То есть, покажем, как решать TSP, если умеем решать MTSP.

В TSP обозначим за расстояние между городами и . Оченвидно, что если мы ко всем прибавим константу , то получим задачу, эквивалентную исходной. Пусть - максимум расстояний между городами, то есть . В качестве константы возьмем . Тогда для новых расстояний выполнено . При таких расстояниях справедливо неравенство треугольника. Что и требовалось.