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