Изменения
Нет описания правки
Предположим, что существует паросочетание большей мощности. Однако тогда и соответствующий ему ненулевой (по теореме о матрице Татта) минор большего размера, чем <tex>A_M</tex>, что невозможно в силу выбора <tex>A_M</tex> максимальным.
}}
==См. также==
* [[Теорема Татта о существовании полного паросочетания]]
* [[Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях]]
* [[Декомпозиция Эдмондса-Галлаи]]
==Источники информации==
