Алгоритмы и структуры данных (продвинутый поток) 12. Алгоритм Galil-Seiferas
Лектор: Рухович Ф. Д.
Дата лекции:
Съёмка: Антон Садовничий
Монтаж: Антон Садовничий
0:00:00 - Алгоритм Galil-Seiferas
0:06:37 - Базовые определения
0:21:47 - Лемма о периодичности
0:29:16 - Усиление леммы
0:57:10 - Следствие из леммы
0:59:07 - Усиленное следствие
1:02:55 - Доказательство следствия
1:10:01 - Определение shift_s(q)
1:12:51 - Метаалгоритм поиска подстроки в строке
1:18:29 - КМП в контексте метаалгоритма
1:26:28 - Лемма 1
1:29:38 - Лемма 2
1:33:53 - Доказательство леммы 2
1:44:36 - Теорема о декомпозиции (пока б/д)
1:48:11 - Алгоритм при наличии декомпозиции
1:56:32 - Реализация метаалгоритма, первый случай
2:09:28 - Реализация метаалгоритма, второй случай