419
правок
Изменения
Нет описания правки
Для доказательства мы будем пользоваться развитой раннее [[Определение сети, потока|теорией потоков]]. Кроме базовых определений нам потребуется понятие [[Дополняющая сеть, дополняющий путь| остаточной сети]] (иначе - дополнительной сети), а также [[Теорема_Форда-Фалкерсона|теорема Форда-Фалкерсона]].
Кроме того , потребуется лемма о целочисленности потока, которую сейчас и докажем:
{{Лемма
|about=о целочисленности потока
* Ловас Л., Пламмер М. '''Прикладные задачи теории графов. Теория паросочетаний в математике, физике, химии''' 1998. 656 с. ISBN 5-03-002517-0 (глава 2.4 стр. 117)
[[Категория:Алгоритмы и структуры данных]]
[[Категория:Связность в графах]]
