2.6. Задача о коммивояжёре
Найти в нагруженном неориентированном графе гамильтонов цикл минимального веса.
Эта задача имеет практическую интерпретацию, благодаря которой и получила своё название: коммивояжёр (бродячий торговец) должен выйти из первого города, посетить по разу в неизвестном порядке города 2,3..N и вернуться в первый город. Стоимости проезда между городами известны. В каком порядке следует объезжать города, чтобы замкнутый путь (тур) коммивояжера был наименее затратным?
Сформулируем задачу в терминах теории графов, введя следующие обозначения: пусть D=[V, X] – полный ориентированный граф и F: X®
- весовая функция, V={V1, V2,…, Vn} – множество вершин, X – множество дуг, C={Cij}, I,J=1,2…N – весовая матрица данного ориентированного графа, то есть СIj=F(VI,Vj), причем для любого I Справедливо Cii=¥. Требуется найти простой остовной ориентированный цикл (или «цикл коммивояжёра») минимального веса.
Следует заметить, что требование полноты ориентированного графа (наличие дороги из любого города в любой) можно опустить. Однако в этом случае гамильтонов цикл может и не существовать (по теореме, для его существования достаточна полнота орграфа). Следовательно, описываемый метод ветвей и границ приведёт к полному перебору всех вариантов незаконченных циклов прежде, чем станет очевиден факт отсутствия решения.
Очевидно, Cij следует трактовать как стоимость проезда из города I в город J. Допустим, что добрый мэр города J издал указ выплачивать каждому въехавшему в город коммивояжеру $5. Это означает, что любой тур подешевеет на $5, поскольку в любом туре нужно въехать в город J. Но поскольку все туры равномерно подешевели, то прежний минимальный тур будет и теперь стоить меньше всех. Добрый же поступок мэра можно представить как уменьшение всех чисел J-го столбца матрицы M на 5. Если бы мэр хотел спровадить коммивояжеров из J-го города и установил награду за выезд в размере $10, это можно было бы выразить вычитанием 10 из всех элементов J-й той строки. Это снова бы изменило стоимость каждого тура, но минимальный тур остался бы минимальным. Итак, доказана следующая лемма.
Вычитая любую константу из всех элементов любой строки или столбца матрицы C, мы оставляем минимальный тур минимальным.
В этой связи введем следующие термины. Пусть имеется некоторая числовая матрица. Привести строку этой матрицы означает выделить в строке минимальный элемент (его называют Константой приведения) и вычесть его из всех элементов этой строки. Очевидно, в результате в этой строке на месте минимального элемента окажется нуль, а все остальные элементы будут неотрицательными. Аналогичный смысл имеют слова «Привести столбец матрицы».
Привести матрицу по строкам означает, что все строки приводятся. Аналогичный смысл имеют слова «Привести матрицу по столбцам». Приведение матрицы означает сначала приведение этой матрицы по строкам, а затем по столбцам.
Если с помощью приведённой матрицы удастся построить такую последовательность переходов по городам (по вершинам графа), которым соответствует последовательность нулевых элементов приведенной матрицы, то ясно, что для этой матрицы мы получим минимальный тур. Но он же будет минимальным и для исходной весовой матрицы С, только для того, чтобы получить правильную стоимость тура, нужно будет прибавить все константы приведения. Таким образом, сумма констант приведения играет роль оценки снизу для стоимости всех туров.
Весом элемента матрицы называют сумму констант приведения матрицы, которая получается из данной матрицы заменой обсуждаемого элемента на ¥. Следовательно, слова «Самый тяжёлый нуль в матрице» означают, что в матрице подсчитан вес каждого нулевого элемента, а затем фиксирован нуль с максимальным весом.
Продемонстрируем теперь Метод ветвей и границ для решения задачи о коммивояжёре.
Пусть требуется найти легчайший простой остовной ориентированный цикл в полном взвешенном ориентированном графе на пяти вершинах, со следующей весовой матрицей C:
|
1 |
2 |
3 |
4 |
5 | |
|
1 |
¥ |
9 |
8 |
4 |
10 |
|
2 |
6 |
¥ |
4 |
5 |
7 |
|
3 |
5 |
3 |
¥ |
6 |
2 |
|
4 |
1 |
7 |
2 |
¥ |
8 |
|
5 |
2 |
4 |
5 |
2 |
¥ |
Верхняя строка и левый столбец, выделенные затемненным фоном, содержат номера вершин графа; символ ¥, стоящий на главной диагонали означает отсутствие дуг-петель; кроме того, символ ¥ здесь и всюду означает «компьютерную бесконечность», то есть самое большое из возможных в рассмотрении чисел; считается, что в сумме ¥ с любым числом даёт ¥.
Обозначим за Г множество всех обходов коммивояжера (т. е. всех простых ориентированных остовных циклов). Поскольку граф – полный, это множество заведомо не пусто. Сопоставим ему число j(Г), которое будет играть роль значения на этом множестве оценочной функции: это число равно сумме констант приведения данной матрицы весов дуг графа и является оценкой снизу для стоимости минимального тура коммивояжёра. Приведённую матрицу весов данного графа следует запомнить, обозначим ее через С1.
Подсчитаем j(Г). Для этого выполним приведение матрицы весов.
Сначала – по строкам:
|
|
|
Теперь − по столбцам:
|
|
Матрица C1 |
Сумма констант приведения j(Г)=4+4+2+1+2+1=14.
Обозначим полученную матрицу через С1 и найдём в ней самый тяжёлый нуль. Заметим, что замена нулевого элемента на ¥ приводит к изменению лишь двух слагаемых суммы констант приведения j(Г) – по одному при приведении строк и столбцов. Поэтому вес нуля можно определить суммированием наименьших элементов его строки и столбца. Вообще нуль в клетке (I,J) приведённой матрицы означает, что цена перехода из города I в город J Равна 0. А если мы не пойдём из города I В город J? Тогда все равно нужно въехать в город J за минимальную цену, указанные в J-том столбце; и все равно надо будет выехать из города I за минимальную цену, указанную в I-той строке. А это и есть оценка нуля. Например, вес нуля в первой строке и четвёртом столбце складывается из минимума по первой строке, равного 4 (C1,2=C1,3=4), и минимума по четвёртому столбцу, равного 0 (C5,4=0), без учета самого C1,4.
Итак, запишем приведённую матрицу еще раз, указывая рядом с каждым нулем его вес:
|
1 |
2 |
3 |
4 |
5 | |
|
1 |
¥ |
4 |
4 |
0(4) |
6 |
|
2 |
2 |
¥ |
0(2) |
1 |
3 |
|
3 |
3 |
0(1) |
¥ |
4 |
0(3) |
|
4 |
0(1) |
5 |
1 |
¥ |
7 |
|
5 |
0(0) |
1 |
3 |
0(0) |
¥ |
Самым тяжёлым оказывается нуль в клетке (1,4).
Разобьём множество Г на две части: множество 
(все циклы, проходящие через дугу (1,4)) и 
(все циклы, не проходящие через дугу (1,4)). Такое ветвление определяет необходимость выбора одного из этих вариантов. Множеству 
соответствует матрица С1,1, полученная вычёркиванием соответствующих строки (строку 1) и столбца (столбец 4). У оставшихся строк и столбцов сохраним их исходные номера. Разумеется, вместе с вычёркиванием строки и столбца, в матрице надо заменить на ¥ числа в определённых клетках так, чтобы не получалось коротких циклов (длиной меньше N). В данном случае из города 4 мы уже не можем проехать в город 1, поэтому в клетке (1,4) ставим знак ¥.
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||
|
Матрица С1,1 |
Матрица С1,1 после приведения |
Сумма констант приведения матрицы С1,1 здесь равна 1, поэтому j(Г{(1,4)})=j{1,4}=14+1=15. Сопоставим результат j(Г{(I,J)}) множеству Г{(I,J)}, (в нашем случае Г{(1,4)}).
Множеству 
(в нашем случае ), в свою очередь, соответствует другая матрица – С1,2, полученная заменой на ¥ элемент С1,4 в матрице С1:
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Матрица С1,2 |
Матрица С1,2 после приведения |
Сумма констант последнего приведения равна 4, так что 
.
Теперь выберем между множествами 
и 
то, на котором минимальна функция j. В нашем случае из множеств, которому соответствует меньшее из чисел j(Г{(1,4)})=15 и 
. Поэтому дальнейшей разработке подвергнется множество Г{(1,4)}.
Итак, выделена определенная дуга (1,4) графа и построены новые матрицы, к которым, очевидно, можно применить описанную выше процедуру. При каждом таком повторном применении будет фиксироваться очередная дуга графа, которая в конечном итоге войдёт в искомый гамильтонов цикл (цикл коммивояжёра), если данная ветвь будет продолжена до конца и иметь минимальный вес.
В матрице С1,1 подсчитаем веса нулей (веса нулей указаны в скобках):
|
1 |
2 |
3 |
5 | |
|
2 |
2 |
¥ |
0(3) |
3 |
|
3 |
3 |
0(1) |
¥ |
0(3) |
|
4 |
¥ |
4 |
0(4) |
6 |
|
5 |
0(1) |
1 |
3 |
¥ |
Самым тяжёлым является нуль с номером (4,3), так что теперь следует рассматривать множества 
и 
.
Обратимся к первому из них. Поскольку, вычеркнув строку 4 и столбец 3 в матрице С1,1, нужно также заменить на ¥ числа в определённых клетках так, чтобы не получалось коротких циклов (длиной меньше N), то в клетке с номером (3,1) надо поставить символ ¥. Получим матрицу С1,1,1:
|
| ||||||||||||||||||||||||||||||||
|
Матрица С1,1,1 |
Матрица С1,1,1 после приведения |
Для оценочной функции 
.
Матрица С1,1,2 для множества :
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||
|
Матрица С1,1,2 |
Матрица С1,1,2 после приведения |
Оценочная функция 
. Следовательно, дальнейшей разработке подлежит . «Взвешиваем» нули в матрице С1,1,1:
|
1 |
2 |
5 | |
|
2 |
0(1) |
¥ |
1 |
|
3 |
¥ |
0(1) |
0(1) |
|
5 |
0(1) |
1 |
¥ |
Поскольку все нули имеют одинаковый вес, выберем любой из них; для определённости – нуль, стоящий в клетке (2,1).
Теперь речь пойдёт о множествах 
и 
.
Как и раньше, вычёркивая строку 2 и столбец 1 в матрице С1,1,1, нужно также заменить на ¥ числа в определённых клетках так, чтобы не получалось коротких циклов (длиной меньше N). Так в клетке с номером (3,2) окажется символ ¥.
|
| ||||||||||||||||||
|
Матрица С1,1,1,1 |
Матрица С1,1,1,1 после приведения |
Получаем для оценочной функции 
.
Для множества матрица такова:
|
| ||||||||||||||||||||||||||||||||
|
Матрица С1,1,1,2 |
Матрица С1,1,1,2 после приведения |
Для оценочной функции 
.
Получилось, что для дальнейшей разработки можно брать любое из множеств и . Но в первом случае уже получена матрица размером 2´2. Её нулевые клетки дают те дуги, которые с найденными ранее составляют обход коммивояжёра, причём вес этого обхода равен значению оценочной функции – 18. Вот этот обход:
(1,4)(4,3) (3,5) (5,2) (2,1) или 1®4®3®5®2®1
Найденный путь коммивояжёра является оптимальным, потому что значения оценочной функции на всех оборванных ветках (на границах) больше либо равны стоимости этого пути. Возможно, что оптимальный цикл будет не единственным. При ином варианте выборов по ходу разбиений можно было получить и другой оптимальный путь коммивояжёра, однако стоимость этих путей будет одинакова.
| < Предыдущая |
|---|
