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