338
правок
Изменения
м
→Допустимые ребра
{{Лемма
|id = Лемма2
|about = Об изменении допустимой цепи, с помощью операции проталкивания.
|statement =
Если вершина <tex>u</tex> переполнена и ребро <tex>(u, v)</tex> допустимое, то применяемая операция <tex>push(u, v)</tex> не создает новые допустимые ребра, но может привести к тому, что ребро <tex>(u, v)</tex> станет недопустимым.
{{Лемма
|id = Лемма3
|about = Об изменении допустимой цепи, с помощью операции подъема.
|statement =
Если вершина <tex>u</tex> переполнена и не имеется допустимых ребер, выходящих из <tex>u</tex>, то применяется операция <tex>relabel(u)</tex>. После подъема появляется по крайней мере одно допустимое ребро, выходящее из <tex>u</tex>, но нет допустимых ребер, входящих в <tex>u</tex>.
