Алгоритмы и структуры данных 5. 2SAT, Эйлеровость, DFS на неориентированном графе

Таймкоды: 00:00:00 - Интро 00:00:05 - Начало. Алгоритм 2SAT. Достаточность 00:10:25 - Алгоритм 2SAT. Построение выполняющего набора 00:19:00 - Эйлеровость 00:20:00 - Теорема (о существовании эйлерова цикла) 00:25:10 - Алгоритм построения эйлерова цикла 00:29:08 - Пример 00:33:37 - Факт (о моменте добавления ребра в стек) 00:39:07 - Доказательство теоремы 00:46:23 - Замечание (о эйлеровом пути) 00:49:23 - Утверждение (о эйлеровом цикле в неориентированном графе) 00:51:28 - DFS на неориентированном графе 00:57:49 - Мост и точка сочленения 01:01:33 - Задача (про поиск мостов) 01:15:09 - Утверждение (критерии моста) 01:18:55 - Задача (про поиск точек сочленения) Дата лекции: 03.03.26 Лектор: Степанов Илья Данилович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZcovb3rsD3_g1fIQIAOZVg Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_234