Изменения
→Теорема Эдмондса
|statement=
Пусть в графе <tex>G</tex> существует соцветие <tex>B</tex>.<br />
Тогда в <tex>G</tex> существует удлиняющий путь , проходящий через соцветие <tex>B</tex> тогда и только тогда, когда существует удлиняющий путь в <tex>G\setminus B</tex>
|proof=
Пусть граф <tex>G'</tex> - граф, полученный <tex>G</tex> сжатием соцветия <tex>B</tex> в псевдо-вершину <tex>B'</tex>.<br />
