Алгоритмы и структуры данных 9. Паросочетания

Tavsif:

00:00 – Вступление и общие замечания. 3:30 – Определение паросочетания. 6:10 – Замечание про чередование. 8:27 – Насыщенные вершины и увеличивающий путь. 12:25 – Теорема Бержа. 17:00 – Лемма о графе, где степени вершин не больше 2. 21:00 – Доказывание леммы. 23:40 – Продолжение теоремы. 33:35 – Алгоритм. 47:50 – Алгоритм Куна. 56:40 – Почему после цикла по v не будет увеличивающих путей. 1:09:00 – Независимое множество и вершинное покрытие. 1:13:00 – Теорема Кёнига.