Участник:Shersh/Тикеты к 4ому терму
Тикеты нумеруются как "X-Y", где X — номер темы, а Y — номер тикета внутри темы.
Помним про добавление англоязычных терминов в конспекты.
1. Основные определения. Простые комбинаторные свойства слов
- Основные определения, связанные со строками
 - Период и бордер, их связь
 -  !!! Слово Фибоначчи (7) 
- Убрать лишние пункты
 - Англоязычные термины
 - Все переменные в Tex
 - Исправить знаки неравенств
 - Правильно оформить См. также и Источники информации
 - Написать, почему строка Фибоначчи будет (2, 4) исключением
 - Можно написать про исключения отдельный конспект даже, если там много информации наберётся
 
 -  !!! Слово Туэ-Морса (7)
- Интересно, как можно задать строку Туэ-Морса иначе (там что-то говорится про клеточные автоматы). Вдруг получтся что-то интересное? В любом случае сначала куратору надо написать.
 - Англоязычные термины
 - Правильно оформить См. также и Источники информации
 - Доказать разные прикольные факты про строку Туэ-Морса (+3 за факт)
 
 - Декомпозиция Линдона
 - Алгоритм Ландау-Шмидта
 -  взяли Алгоритм Крочемора (5)
- Пояснить наивную реализацию в начале
 - Доказать первую лемму
 - Удалить Лоренца из источников
 - Пояснить подробней псевдокод
 - Взять кортежи в тех и оформить красиво
 
 - Алгоритм Мейна-Лоренца
 
2. Поиск подстроки в строке
Точный поиск
- Наивный алгоритм поиска подстроки в строке
 - Поиск подстроки в строке с использованием хеширования. Алгоритм Рабина-Карпа
 - Поиск наибольшей общей подстроки двух строк с использованием хеширования
 - Префикс-функция
 - Алгоритм Кнута-Морриса-Пратта
 - Автомат Кнута-Морриса-Пратта
 - Z-функция
 -  !!! Автомат для поиска образца в тексте (10)
- Дописать до нормальной статьи о суффиксном автомате (если это оно и есть), см. список предлагаемых тем
 
 -  fixed Бор (8)
- Больше ссылок
 - Кое-где надо подправить tex
 - Нарисовать нормальные картинки
 - Построение оформить эстетично по шагам
 - Добавить ссылки на суффиксный бор, провести связь с суффиксным деревом
 - Добавить информацию про использование дерева для хранения переходов
 - Расказать немного про использование бора в качестве Map и дать оценку на оптимальность при известных запросах
 - Добавить см. также, оформить правильно источники информации
 - Категория
 
 -  взяли Алгоритм Ахо-Корасик (8)
- Задачу в шаблон
 - Написать асимптотику нормально
 - Другие способы ускорения алгоритма или оптимизаций по памяти. Лучше уточнить у куратора
 - Красивые картинки
 - Отформатировать псевдокод
 - Источники заменить на источники информации
 - Отформатировать раздел с масками
 - Категория
 
 -  взяли Алгоритм Бойера-Мура (4)
- Добавить понятную табличку примера с пояснением каждого шага
 - and в Tex заменить на знак конъюнкции
 - Добавить пояснений в формальные определения
 - Ссылки заменить на источники информации
 - Категория
 - Отформатировать псевдокод
 
 - Алгоритм Колусси
 - Алгоритм Shift-And
 -  взяли Двусторонний алгоритм (0.5)
- Список с большой буквы начать
 - Неправильный порядок разделов в конце конспекта
 - Стрелки в псевдокоде заменить на =
 
 
Нечёткий поиск
3. Суффиксное дерево
- Суффиксный бор
 -  fixed Сжатое суффиксное дерево (2)
- Немного пояснить про эквивалентность определений сжатого суффиксного бора и сжатого дерева, а то путаница какая-то сейчас
 - Англоязычные термины
 - Сделать список нормальный в доказательстве
 - Отформатировать псевдокод в построении
 - Свойства написать с маленькой буквы и перечислить через запятую
 - Добавить псевдокод структуры Vertex перед построением
 
 - Алгоритм Укконена
 - Алгоритм МакКрейта
 -  Алгоритм Фарача (2)
- В конспекте полно опечаток - исправить
 - Интервики на поразрядную сортировку
 - Рисунки подписать в thumb
 - Добавить недостатки и преимущества
 
 
4. Суффиксный массив
- Суффиксный массив
 - Построение суффиксного массива с помощью стандартных методов сортировки
 - Алгоритм цифровой сортировки суффиксов циклической строки
 -  Алгоритм Касаи и др. (3)
- Кажется, что LCP вычисляет не длину общих префиксов циклических сдвигов; или надо что-то ещё добавить
 - "будем использовать промежуточный массив " — лучше написать "вспомогательный"
 - Добавить фразу и картинку про то, что массив LCP удобно представлять в виде ступенек/столбиков разной высоты
 - Кстати, не очень понятно, зачем нужен Height, если по сути он выполняет роль LCP
 - Надо сказать, в каком порядке мы фиксируем соседа: lcp[i] содержит префикс i и i-1 или i и i+1
 - Думаю, что к утверждению 2 нужные пояснения, а то происходят нетривиальные переходы из словесной формулировки в утверждение; ещё надо добавить, что не изменится относительный порядок именно этих двух суффиксов, а не всех
 
 - Алгоритм Карккайнена-Сандерса
 -  fixed Алгоритм поиска подстроки в строке с помощью суффиксного массива (7)
- Отформатировать псевдокоды
 - Разобраться в алгоритмах и написать нормальное описание: там встречаются баги
 - Исправить баги в Tex
 - Оформить правильно источники информации
 
 
5. Задача о наименьшем общем предке
- Сведение задачи LCA к задаче RMQ
 - Сведение задачи RMQ к задаче LCA
 - Метод двоичного подъема
 - Решение RMQ с помощью разреженной таблицы
 -  fixed Алгоритм Фарака-Колтона и Бендера (2)
- Отформатировать псевдокод
 - Увеличить дроби
 
 -  fixed Алгоритм Шибера-Вишкина (3)
- Англоязычные термины
 - Интервики на LCA
 - Чё ещё за подготовка?
 - Почему-то в определении находится не определение, надо бы нормально переписать
 - Лучше дать нормальное название обхода: pre-order, in-order или post-, если что-то из этого оно и есть
 - Увеличить дроби
 - Добавить См. также
 - Добавить Категории
 - Правильно оформить источники информации
 
 - Алгоритм Тарьяна поиска LCA за O(1) в оффлайн
 -  fixed Link-Cut Tree (5)
- Отформатировать псевдокоды
 - Написать более понятное введение и пояснить подробней остальные смутные операции
 - Список оформлен некрасиво в начале
 - Категории
 - Оформить правильно См. также и Источники информации
 
 
6. Матроиды
Основные факты теории матроидов
- Определение матроида
 - Примеры матроидов
 - Прямая сумма матроидов
 - Теорема Радо-Эдмондса (жадный алгоритм)
 - Теорема о базах
 - Аксиоматизация матроида базами
 - Теорема о циклах
 - Аксиоматизация матроида циклами
 - Ранговая функция, полумодулярность
 - Двойственный матроид
 - Оператор замыкания для матроидов
 - Покрытия, закрытые множества
 - Матроид Вамоса
 
Пересечение матроидов
- Пересечение матроидов, определение, примеры
 - взяли Лемма о паросочетании в графе замен (5)
 - Док-во по индукции оформить красиво
 - Исправить док-во: неверный переход
 - Заменить xor на треугольник
 - Добавить категорию
 - fixed Лемма о единственном паросочетании в графе замен (0.5)
 - Оформить правильно источники информации
 - Добавить категорию
 - Категория
 - Оформить красиво док-во по индукции
 - fixed Граф замен для двух матроидов (3)
 - Нарисовать нормальную картинку
 - Добавить информацию про граф замен для одного матроида
 - Исправить ссылки в соответствующих конспектах
 - Создать новый конспект, в него сделать перенаправление из текущего
 - Оформиь правильно источники информации
 - Добавить категорию
 - Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем
 - Алгоритм построения базы в пересечении матроидов
 
Объединение матроидов
- !!! Объединение матроидов, проверка множества на независимость (8)
 - Добавить формальное определение
 - Структурировать конспект, а не оставлять просто набором тезисов
 - Добавить категории
 - Добавить ссылок
 - Избавиться от сокращений
 - Добавить содержательный примеры
 - Заменить тире на Шаблон:---
 - Помёрджить со следующим конспектом
 - Объединение матроидов, доказательство того, что объединение является матроидом (0.5)
 - Добавить категории
 - Добавить интервики
 - !!! Алгоритм построения базы в объединении матроидов (7)
 - В определение само определение выделить жирным
 - Тире заменить на Шаблон:---
 - Добавить категории
 - Добавить псевдокод
 - Написать более подробное описание алгоритма поиска базы в объединении
 
7. Теория расписаний
Общая теория
- Классификация задач
 -  взяли Методы решения задач теории расписаний (3)
- Как-нибудь структурировать конспект, а то много всего рандомного написано
 - Ссылки оформить как интервики
 - Оставить только совсем мелкие доказательства, на наборы задач кинуть ссылки или создать новые конспекты
 - Добавить источники информации
 
 - Правило Лаулера
 
Задачи с одним станком
- (1.5)
 - Переименовать конспект и оставить перенаправление
 - Задачу в шаблон
 - Отформатировать псевдокод
 - Добавить категории
 - Заменить литературу на источники информации
 - !!! (8)
 - Начать с простейших примеров, когда только d_i, потом усложнять
 - Отформатировать псевдокод
 - Оформить правильно источники информации
 - Добавить категории
 - (3)
 - Более простой аналог задачи рассмотреть (только с U_i)
 - Отформатировать псевдокод
 - Заменить литературу на источники информации
 - !!! (7)
 - Задачу в шаблон
 - Отформатировать псевдокоды
 - Более подробное и понятное описание, чтобы было понятно, как закодить
 - Увеличить дроби
 
Специальные случаи задач для двух станков
- (1)
 - Увеличить дроби
 - Оформить правильно источники информации
 - Добавить категории
 - Заменить знаки неравенств
 - Взять задачу в шаблон, пункт описание не нужен
 - Добавить нотацию задачи в начало
 - !!! (5)
 - Допилить
 - Доказать корректность
 - Задачу в шаблон
 - Отформатировать псевдокод
 - Добавить категории
 - (3)
 - Задачу в шаблон
 - Заменить знаки неравенств
 - Отформатировать псевдокод
 - Красивые картинки
 - (1)
 - Заменить знаки неравенств
 - Категории
 - задачу в шаблон
 - Отформатировать псевдокод
 - (1)
 - Задачу в шаблон
 - Знаки неравенств
 - Источники информации
 - Дефисы на тире
 - Исправить теховское обозначение задачи
 - взяли (10)
 - Доделать
 
Задачи для произвольного числа станков
- взяли Flow shop (2)
 - Таблички оформить как викитаблички, а не как код
 - Битое примечание
 - Отформатировать псевдокоды
 - Добавить категории
 - (3)
 - Задачу в шаблон
 - Отформатировать псевдокоды
 - Заменить знаки неравенств
 - Кажется, тут не совсем правильно написано решение; вчитаться, пофиксить все баги и написать понятней
 - взяли (0.5)
 - Задачу в шаблон
 - Заменить знаки неравенств
 - Добавить информации в источники
 - взяли (0.5)
 - Категории
 - Шаблон
 - Знаки неравенств