338
правок
Изменения
м
→Алгоритм
<tex>nextVartex[u]</tex> возвращает вершину, следующую за <tex>u</tex> в списке <tex>L</tex>. Если <tex>u</tex> {{---}} последняя вершина в списке, то <tex>nextVartex[u] = null</tex>.
'''Инвариант цикла''': "при каждом выполнении проверки условия вхождения в цикл '''while''', список <tex>L</tex> является топологическим упорядочением вершин допустимой сети <tex>G_{f, h} = (V, E_{f, h})</tex>, и ни одна вершина, стоящая в списке перед <tex>u</tex>, не имеет избыточного потока".
== Корректность алгоритма ==
