О паросочетаниях в двудольных и произвольных неориентированных графах

Дополняющий путь, теорема Бержа

Алгоритм Куна

Лемма Холла

Минимальное вершинное покрытие, наибольшее независимое множество в двудольном графе