Изменения

Для начала покажем, что после выполнения операции <tex> initialazePreflow initializePreflow </tex> <tex> h </tex> является функцией высоты. Для всех ребер, не инцидентных <tex> s </tex>, высота обоих концов равна нулю, что удовлетворяет условиям. Единственными ребрами <tex> (u, v) </tex>, для которых не выполняются условия, налагаемые на функцию высоты, то есть для которых <tex> h(u) > h(v) + 1 </tex>, являются ребра, у которых <tex> u = s </tex>. Но после операции <tex> initialazePreflow initializePreflow </tex> ребра являются насыщенными и не принадлежат остаточной сети.