Задача коммивояжера, ДП по подмножествам

Задача о коммивояжере (англ. travelling - salesman problem) - это задача, в которой определяется кратчайший замкнутый путь, соединяющий заданное множество, которое состоит из [math] N [/math] точек на плоскости.

Формулировка задачи

Коммивояжер должен посетить [math] N [/math] городов, побывав в каждом из них ровно по одному разу и завершив путешествие в том городе, с которого он начал. В какой последовательности ему нужно обходить города, чтобы общая длина его пути была наименьшей?

Представление

Чтобы использовать математические процессы для решения, реальная ситуация должна отображаться сначала простой моделью. Задачу коммивояжера можно смоделировать с помощью графа. При этом вершины можно считать городами, в то время как каждая дуга [math](i, j) [/math] описывает связь между этими 2 вершинами [math]i[/math] и [math]j[/math]. Каждая дуга имеет свой вес [math] с(i, j) [/math]. Поездка - это цикл в этом графе, который проходит через каждую вершину ровно один раз. Целью является найти более короткую поездку.

Варианты решения

Решение перебором

Можно предположить, что для решения задачи необходимо просто сгенерировать все [math] N! [/math] всевозможных перестановок вершин полного графа, подсчитать для перестановки длину маршрута и выбрать минимальный. Но тогда задача оказывается неосуществимой даже для достаточно небольших [math]N[/math].

Так же известно, что задача о коммивояжере относится к NP-полным задачам.

Динамическое программирование по подмножествам

Задача о коммивояжере сводится к поиску кратчайшего гамильтонова пути в графе.

Смоделируем данную задачу при помощи графа. При этом вершины можно считать городами, а ребра - дорогами. Пусть в графе [math] P = (V, E)[/math] [math] N [/math] вершин и каждое ребро [math](i, j) \in E [/math] имеет некоторый вес [math] d(i, j)[/math]. Необходимо найти гамильтонов путь, сумма весов по ребрам которого минимальна.

Пусть множество элементов занумеровано и закодировано последовательностью битов длины [math] N [/math]. Элементами множества будут являться вершины графа. Для простоты мы будем считать, что граф является неориентированным.

Пусть m - множество не посещенных вершин. Первоначальной стартовой позицией примем вершину с индексом [math] 0 [/math].

Пусть [math] dp[i][m] [/math] обозначает длину кратчайшего гамильтонова пути подмножества вершин [math]pos [/math], заканчивающегося в вершине [math] i [/math].

Динамика считается по следующим соотношениям:

Начинаем с нулевой вершины:

[math] dp[i][m] = 0 [/math]

Если же маска равна [math]0[/math] и все вершины посещены, то ответ [math]0[/math].

Иначе идем дальше. Тогда:

[math] dp[i][m] = min_{m_j=1, (i, j) \in E} \begin{Bmatrix} d(i, j) + dp[j][m - 2^j] \end{Bmatrix}[/math]

Теперь искомая минимальная длина пути [math] p_{min} = dp[0][2^n - 1] [/math].

Если [math] p_{min} = 0 [/math], то гамильтонова пути в графе, нет. Восстановить сам путь несложно. Пусть минимальный путь заканчивается в вершине [math]i[/math]. Тогда [math] j \neq i[/math], для которого [math] dp[0][2^n - 1] = d(i, j) + dp[j][m - 2^j] [/math] , является предыдущей вершиной пути. Теперь удалим [math]i[/math] из множества и только что описанным способом найдем вершину предыдущую к [math]j[/math]. Продолжая процесс пока не останется одна вершина, мы найдем весь гамильтонов путь.

Данное решение требует [math]O(2n^n)[/math] памяти и [math]O(2^nn^2)[/math] времени.

Источники

И.В.Романовский - Дискретный анализ;

Корман, Риверст, Лейзерсон, Штайн - Алгоритмы: построение и анализ;

Задача коммивояжёра

Problem_des_Handlungsreisenden;