Сведение задачи о назначениях к задаче о потоке минимальной стоимости

Постановка задачи

• Дана квадратная матрица [math]A_{N\times N}[/math]. Нужно выбрать в ней [math]N[/math] элементов так, чтобы в каждой строке и столбце был выбран только один элемент, а сумма значений этих элементов была наименьшей.
• Имеется [math]N[/math] заказов и [math]N[/math] станков. Про каждый заказ известна стоимость его изготовления на каждом станке. На каждом станке можно выполнять только один заказ. Требуется распределить все заказы по станкам так, чтобы минимизировать суммарную стоимость.

Сведение к задаче о потоке минимальной стоимости

Пример построенного графа для матрицы А

Построим двудольный граф [math]G[/math] следующим образом:

• Имеется исток [math]S[/math] и сток [math]T[/math].
• В первой доле находятся [math]N[/math] вершин, соответствующие строкам матрицы или заказам.
• Во второй [math]N[/math] вершин, соответствующие столбцам матрицы или станкам.
• Между каждой вершиной [math]i[/math] первой доли и каждой вершиной [math]j[/math] второй доли проведём ребро с пропускной способностью 1 и стоимостью [math]A_{ij}[/math].
• От истока [math]S[/math] проведём рёбра ко всем вершинам [math]i[/math] первой доли с пропускной способностью 1 и стоимостью 0.
• От каждой вершины второй доли [math]j[/math] к стоку [math]T[/math] проведём ребро с пропускной способностью 1 и стоимостью 0.

Найдём в полученном графе [math]G[/math] максимальный поток минимальной стоимости.
Понятно, что величина потока будет равна [math]N[/math]. Заметим, что для каждой вершины [math]i[/math] из первой доли найдётся только одна вершина [math]j[/math] из второй доли, такая, что поток [math]f(i, j) = 1[/math]. Поскольку найденный поток имеет минимальную стоимость, то сумма стоимостей выбранных рёбер будет наименьшей из возможных. Поэтому, это взаимно однозначное соответствие между вершинами первой доли и вершинами второй доли является решением задачи.

Асимптотика

Асимптотика этого решения равна асимптотике алгоритма, выбранного для поиска потока.

Источники

Задача о назначениях. Решение с помощью min-cost-flow