92
правки
Изменения
м
Нет описания правки
|statement=
Пусть <tex>G</tex> {{---}} [[Двудольные графы|двудольный граф]].
<tex>G</tex> имеет совершенное паросочетание тогда и только тогда, когда <tex>\forall S: S \supseteq L \ |S| \leq \Gamma(S)</tex>.
|proof=
Будем доказывать по индукции
