147
правок
Изменения
Нет описания правки
Количество необходимых увеличений путей, основанных на кратчайших путях, может быть много больше количества увеличений, основанных на путях с высокой пропускной способностью.
{|border="0" cellpadding="5" width=30% align=center
|[[Файл: augmentations1Flow_scale_1.png|250px500px|thumb|center|Выбор дополняющих путей в порядке длины]]|[[Файл: augmentations2Flow_scale_2.png|250px500px|thumb|center|Выбор пути с высокой пропускной способностью в первую очередь]]
|}
Максимальный поток в сети <tex> G </tex> ограничен сверху значением <tex> |f_k| + 2^k E </tex>, где <tex> |f_k| </tex> {{---}} значение потока при масштабе <tex> \Delta = 2^k </tex>.
|proof=
[[Файл: scalingFlow_scale_3.jpgpng|250px520px|thumb|right|Разрез <tex> C_k </tex>]]
В конце итерации с масштабом <tex> \Delta = 2^k </tex>, сеть <tex> G_{f_k} </tex> может быть разбита на два непересекающихся множества <tex> A_k </tex> и <tex> \overline{A_k} </tex> так, что остаточная пропускная способность каждого ребра, идущего из <tex> A_k </tex> в <tex> \overline{A_k} </tex>, не превосходит масштаба <tex> \Delta </tex>. То есть образуется [[Разрез,_лемма_о_потоке_через_разрез|разрез]] <tex> C_k = \langle A_k, \overline{A_k} \rangle </tex>.
