Участник:Shersh/Тикеты по конспектам year2012
Тикеты нумеруются как "X-Y", где X — номер темы, а Y — номер тикета внутри темы.
Помним про добавление англоязычных терминов в конспекты.
1. Основные определения. Простые комбинаторные свойства слов
- Основные определения, связанные со строками
- !!! Период и бордер, их связь
- Нормальное и правильное доказательство про НОД
- Слово Фибоначчи
- !!! Слово Туэ-Морса
- Интересно, как можно задать строку Туэ-Морса иначе (там что-то говорится про клеточные автоматы). Вдруг получтся что-то интересное? В любом случае сначала куратору надо написать.
- А ещё сделать ссылки на Википедию через интервики
2. Поиск подстроки в строке
- Наивный алгоритм поиска подстроки в строке
- Добавить категории
- Преимущества алгоритма (да, даже у наивного они есть)
- !!! Поиск подстроки в строке с использованием хеширования. Алгоритм Рабина-Карпа
- Добавить категории
- Пример плохой строки, на которой хеширование не работает
- Поиск наибольшей общей подстроки двух строк с использованием хеширования
- Префикс-функция
- Категории!
- Алгоритм Кнута-Морриса-Пратта
- И тут категории
- Z-функция
- Категории
- Ссылки на википедию оформить как интервики
- !!! Автомат для поиска образца в тексте
- Дописать до нормальной статьи о суффиксном автомате (если это оно и есть)
- !!! Бор
- Можно добавить задачи с использованием бора, например, как он позволяет проверять текст на соответствие шаблону
- !!! Алгоритм Ахо-Корасик
- Написать асимптотику нормально
- Другие способы ускорения алгоритма или оптимизаций по памяти. Лучше написать по поводу того, что хотите сделать
3. Суффиксное дерево
- Суффиксный бор
- Сжатое суффиксное дерево
- !!!!! Алгоритм Укконена
- Дописать нормальный псевдокод
- Сделать понятное и нормальное описание
4. Суффиксный массив
5. Задача о наименьшем общем предке
- Метод двоичного подъема
- Сведение задачи LCA к задаче RMQ
- Решение RMQ с помощью разреженной таблицы
- Алгоритм Фарака-Колтона и Бендера (решение +/-1 RMQ с помощью метода четырех русских)
- Алгоритм Шибера-Вишкина
- Сведение задачи RMQ к задаче LCA
6. Матроиды
- Определение матроида
- Примеры матроидов
- Прямая сумма матроидов
- Теорема Радо-Эдмондса (жадный алгоритм)
- Жадный алгоритм поиска базы минимального веса
- Теорема о базах
- Аксиоматизация матроида базами
- Теорема о циклах
- Аксиоматизация матроида циклами
- Ранговая функция, полумодулярность
- Двойственный матроид
- Оператор замыкания для матроидов
7.Пересечение матроидов
- Пересечение матроидов, определение, примеры
- Лемма о паросочетании в графе замен
- Лемма о единственном паросочетании в графе замен
- Граф замен для двух матроидов
- Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем
- Алгоритм построения базы в пересечении матроидов
- Теорема Эдмондса-Лоулера