276
правок
Изменения
→Корректность
{{Лемма
|about=доказательство оценки времени работы алгоритмав случае вещественных стоимостей
|statement=Пусть <tex>k=VE(\lceil \log V + 1 \rceil)</tex>. Разобьем работу алгоритма на группы по <tex>k</tex> последовательных итераций. Утверждается, что каждая группа фиксирует поток на независимом ребре <tex>uv</tex>, то есть итерации из другой группы не меняют величину <tex>f(uv)</tex>.
|proof=
