text: Граф G = (V, E) имеет совершенное паросочетание тогда и только тогда, когда для каждого подмножества U в V подграф, индуцированный V − U, имеет не более |U| связных компонент с нечётным числом вершин.