Изменения
Нет описания правки
В обоих случаях мы пришли к противоречию, значит, наше предположение неверно и <tex>\forall x\in B</tex> является центром лапы в <tex>G</tex>.
}}
{{Утверждение
|id=proposal1.
|author=D.P.Sumner
|about=следствие из теоремы
|statement=Пусть <tex>G</tex> {{---}} связанный граф, не содержащий лапы, <tex>v(G)</tex> чётно. Тогда <tex>G</tex> имеет [[Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях#perfect_matching | совершенное паросочетание]].
|proof=доказательство (необязательно)
}}
==См. также==
* [[Использование обхода в глубину для поиска цикла]]
* [[Использование обхода в глубину для поиска мостов]]
* [[Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях]]
== Источники информации ==
* Карпов В. Д. - Теория графов, стр 55
[[Категория: Алгоритмы и структуры данных]]
