Вместо того чтобы сказать, что на сети задан поток, принято го-
ворить, что через сеть пропущен поток. Очевидно, поток ничего
не оставляет в промежуточных вершинах, а следовательно, при-
носит в выход столько единиц, сколько ушло через источник. Эта
сумма значений потока по всем кантам, выходящим из источника,
равная сумме значений по всем кантам, входящим в выход, назы-
вается величиной потока.
Легко сообразить, что для того, чтобы по сети можно было
пропустить поток величины n, должно выполняться следующее
необходимое условие: если выключить из сети любые k кантов,
где k < n, то из источника можно пройти в выход по оставшимся
кантам. Замечательно, что это необходимое условие оказывается
достаточным.
Ряд сетевых задач заключаются в отыскании максимального по-
тока, т. е. потока наибольшей возможной величины, который мож-
но пропустить через сеть. Перейдем к описанию алгоритма, даю-
щего возможность построить максимальный поток.
Пусть есть транспортная сеть. Задачей является построение для
нее максимального потока. По этой сети пропускается какой-ни-
будь начальный поток (в крайнем случае, нулевой, т. е. такой, зна-
чения которого на каждом канте равны нулю). Канты, по которым
пошел этот поток, называются насыщенными, а остальные – сво-
бодными. Необходимо проверить, что поток нельзя увеличить,
не трогая уже занятых дуг (нельзя соединить источник с выходом,
двигаясь только по свободным кантам).
Выполняется некоторая операция, приводящая к двум возмож-
ным исходам: либо показывается, как увеличить этот поток, либо
выясняется, что имеющийся поток максимален. На вершинах ста-
вятся пометки «плюс» и «минус». Прежде всего плюсом помечают-
ся все узлы, в которые можно попасть из источника по свободным
кантам. Дальнейший процесс пометок производится следующим
образом: от помеченного уже узла помечаются плюсом те узлы,
в которые можно из него попасть по свободным кантам, и мину-
сом – все узлы, куда из него можно вернуться по насыщенным ду-
гам. Часто один и тот же узел можно пометить и плюсом, и мину-
сом. Пометим этим способом все возможные узлы.