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