Рет қаралды 855
Таймкоды:
00:00 Поиск максимального прочетания в произвольном графе
07:31 Определение дефекта сочетания
09:05 Лемма о минимальном дефекте
11:54 Доказательство леммы
14:18 Построение чередующегося дерева
21:55 Гипотеза и наблюдение
28:03 Сжатие нечетного цикла
30:40 Сжатие соцветия
36:37 Доказательство утверждения
43:47 Обратная сторона доказательства
44:22 Увеличение путей в графах
50:22 Доказательство эквивалентности
52:02 Коррекция и доказательство корректности
57:25 Поиск увеличивающего пути
01:00:08 Реализация алгоритма
01:07:28 Память и реализация
Дата лекции: 15.05.24
Лектор: Степанов Илья Данилович
Оператор: Роман Зинин
Монтажёр: Роман Зинин
Плейлист: • [АиСД] Алгоритмы и стр...