Независимые множества и покрытия. Связь между ними. Чередующиеся и дополняющие пути. Паросочетания в двудольном графе: теоремы Холла и Кёнига. Вывод теоремы Дилуорса из теоремы Кёнига.