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