Участник:Shersh/Тикеты по конспектам year2012 — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «== Основные определения. Простые комбинаторные свойства слов == * [[Основные определения, с...»)
 
Строка 1: Строка 1:
== Основные определения. Простые комбинаторные свойства слов ==
+
== 1. Основные определения. Простые комбинаторные свойства слов ==
* [[Основные определения, связанные со строками]]
+
# [[Основные определения, связанные со строками]]
* [[Период и бордер, их связь]]
+
# [[Период и бордер, их связь]]
* [[Слово Фибоначчи]]
+
# [[Слово Фибоначчи]]
* [[Слово Туэ-Морса]]
+
# [[Слово Туэ-Морса]]
  
== Поиск подстроки в строке ==
+
== 2. Поиск подстроки в строке ==
* [[Наивный алгоритм поиска подстроки в строке]]
+
# [[Наивный алгоритм поиска подстроки в строке]]
* [[Поиск подстроки в строке с использованием хеширования. Алгоритм Рабина-Карпа]]
+
# [[Поиск подстроки в строке с использованием хеширования. Алгоритм Рабина-Карпа]]
* [[Поиск наибольшей общей подстроки двух строк с использованием хеширования]]
+
# [[Поиск наибольшей общей подстроки двух строк с использованием хеширования]]
* [[Префикс-функция]]
+
# [[Префикс-функция]]
* [[Алгоритм Кнута-Морриса-Пратта]]
+
# [[Алгоритм Кнута-Морриса-Пратта]]
* [[Z-функция]]
+
# [[Z-функция]]
* [[Автомат для поиска образца в тексте]]
+
# [[Автомат для поиска образца в тексте]]
* [[Бор]]
+
# [[Бор]]
* [[Алгоритм Ахо-Корасик]]
+
# [[Алгоритм Ахо-Корасик]]
  
== Суффиксное дерево ==
+
== 3. Суффиксное дерево ==
* [[Суффиксный бор]]
+
# [[Суффиксный бор]]
* [[Сжатое суффиксное дерево]]
+
# [[Сжатое суффиксное дерево]]
* [[Алгоритм Укконена]]
+
# [[Алгоритм Укконена]]
  
== Суффиксный массив ==
+
== 4. Суффиксный массив ==
* [[Суффиксный массив]]
+
# [[Суффиксный массив]]
* [[Построение суффиксного массива с помощью стандартных методов сортировки]]
+
# [[Построение суффиксного массива с помощью стандартных методов сортировки]]
* [[Цифровая сортировка]]
+
# [[Цифровая сортировка]]
* [[Алгоритм цифровой сортировки суффиксов циклической строки]]
+
# [[Алгоритм цифровой сортировки суффиксов циклической строки]]
* [[Алгоритм Касаи и др.]]
+
# [[Алгоритм Касаи и др.]]
* [[Алгоритм Карккайнена-Сандерса]]
+
# [[Алгоритм Карккайнена-Сандерса]]
* [[Алгоритм поиска подстроки в строке с помощью суффиксного массива]]
+
# [[Алгоритм поиска подстроки в строке с помощью суффиксного массива]]
  
== Задача о наименьшем общем предке ==
+
== 5. Задача о наименьшем общем предке ==
* [[Метод двоичного подъема]]
+
# [[Метод двоичного подъема]]
* [[Сведение задачи LCA к задаче RMQ]]
+
# [[Сведение задачи LCA к задаче RMQ]]
* [[Решение RMQ с помощью разреженной таблицы]]
+
# [[Решение RMQ с помощью разреженной таблицы]]
* [[Алгоритм Фарака-Колтона и Бендера]] (решение +/-1 RMQ с помощью метода четырех русских)
+
# [[Алгоритм Фарака-Колтона и Бендера]] (решение +/-1 RMQ с помощью метода четырех русских)
* [[Алгоритм Шибера-Вишкина]]
+
# [[Алгоритм Шибера-Вишкина]]
* [[Сведение задачи RMQ к задаче LCA]]
+
# [[Сведение задачи RMQ к задаче LCA]]
  
== Матроиды ==
+
== 6. Матроиды ==
* [[Определение матроида]]
+
# [[Определение матроида]]
* [[Примеры матроидов]]
+
# [[Примеры матроидов]]
* [[Прямая сумма матроидов]]
+
# [[Прямая сумма матроидов]]
* [[Теорема Радо-Эдмондса (жадный алгоритм)]]
+
# [[Теорема Радо-Эдмондса (жадный алгоритм)]]
* [[Жадный алгоритм поиска базы минимального веса]]
+
# [[Жадный алгоритм поиска базы минимального веса]]
* [[Теорема о базах]]
+
# [[Теорема о базах]]
* [[Аксиоматизация матроида базами]]
+
# [[Аксиоматизация матроида базами]]
* [[Теорема о циклах]]
+
# [[Теорема о циклах]]
* [[Аксиоматизация матроида циклами]]
+
# [[Аксиоматизация матроида циклами]]
* [[Ранговая функция, полумодулярность]]
+
# [[Ранговая функция, полумодулярность]]
* [[Двойственный матроид]]
+
# [[Двойственный матроид]]
* [[Оператор замыкания для матроидов]]
+
# [[Оператор замыкания для матроидов]]
=== Пересечение матроидов ===
 
* [[Пересечение матроидов, определение, примеры]]
 
* [[Лемма о паросочетании в графе замен]]
 
* [[Лемма о единственном паросочетании в графе замен]]
 
* [[Граф замен для двух матроидов]]
 
* [[Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем]]
 
* [[Алгоритм построения базы в пересечении матроидов]]
 
* [[Теорема Эдмондса-Лоулера]]
 
=== Объединение матроидов ===
 
* [[Объединение матроидов, проверка множества на независимость]]
 
* [[Объединение матроидов, доказательство того, что объединение является матроидом]]
 
* [[Алгоритм построения базы в объединении матроидов]]
 
  
== Теория расписаний ==
+
== 7.Пересечение матроидов ==
* [[Классификация задач]]
+
# [[Пересечение матроидов, определение, примеры]]
* [[Методы решения задач теории расписаний]]
+
# [[Лемма о паросочетании в графе замен]]
* [[Правило Лаулера]]
+
# [[Лемма о единственном паросочетании в графе замен]]
* [[Flow shop]]
+
# [[Граф замен для двух матроидов]]
* [[P1sumu|<tex>1 \mid \mid \sum U_{i}</tex>]]
+
# [[Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем]]
* [[1ripi1sumwc|<tex>1 \mid r_{i}, p_i=1\mid \sum w_{i}C_{i}</tex>]]
+
# [[Алгоритм построения базы в пересечении матроидов]]
* [[1ridipi1|<tex>1 \mid r_{i}, d_{i}, p_{i} = 1 \mid -</tex>]]
+
# [[Теорема Эдмондса-Лоулера]]
* [[1outtreesumwc | <tex>1 \mid outtree \mid \sum w_i C_i</tex>]]
+
== 8. Объединение матроидов ==
* [[1pi1sumwu|<tex>1 \mid p_{i} = 1 \mid \sum w_{i}U_{i}</tex>]]
+
# [[Объединение матроидов, проверка множества на независимость]]
* [[1precpmtnrifmax|<tex>1 \mid prec, pmtn, r_i \mid f_{\max}</tex>]]
+
# [[Объединение матроидов, доказательство того, что объединение является матроидом]]
* [[1precripi1Lmax|<tex>1 \mid prec; r_i; p_i = 1 \mid L_{max}</tex>]]
+
# [[Алгоритм построения базы в объединении матроидов]]
* [[P2precpi1Lmax|<tex>P2 \mid prec, p_i = 1 \mid L_{\max}</tex>]]
+
 
* [[PpmtnriLmax|<tex>P \mid pmtn, r_i \mid L_{max}</tex>]]
+
== 9. Теория расписаний ==
* [[QpmtnCmax|<tex>Q \mid pmtn \mid C_{max}</tex>]]
+
# [[Классификация задач]]
* [[QpmtnriLmax|<tex>Q \mid pmtn, r_{i} \mid L_{max}</tex>]]
+
# [[Методы решения задач теории расписаний]]
* [[QSumCi|<tex>Q\mid\mid\sum{C_i}</tex>]]
+
# [[Правило Лаулера]]
* [[R2Cmax|<tex>R2 \mid \mid C_{max}</tex>]]
+
# [[Flow shop]]
* [[F2Cmax|<tex>F2 \mid \mid C_{max}</tex>]]
+
# [[P1sumu|<tex>1 \mid \mid \sum U_{i}</tex>]]
* [[Fpij1sumwu|<tex>F \mid p_{ij} = 1 \mid \sum w_i U_i</tex>]]
+
# [[1ripi1sumwc|<tex>1 \mid r_{i}, p_i=1\mid \sum w_{i}C_{i}</tex>]]
* [[O2Cmax|<tex>O2 \mid \mid C_{max}</tex>]]
+
# [[1ridipi1|<tex>1 \mid r_{i}, d_{i}, p_{i} = 1 \mid -</tex>]]
* [[Opi1sumu|<tex>O \mid p_{ij} = 1 \mid \sum U_i</tex>]]
+
# [[1outtreesumwc | <tex>1 \mid outtree \mid \sum w_i C_i</tex>]]
* [[J2ni2Cmax|<tex>J2 \mid n_{i} \le 2 \mid C_{max}</tex>]]
+
# [[1pi1sumwu|<tex>1 \mid p_{i} = 1 \mid \sum w_{i}U_{i}</tex>]]
* [[J2pij1Lmax| <tex>J2\mid p_{ij} = 1\mid L_{max}</tex>]]
+
# [[1precpmtnrifmax|<tex>1 \mid prec, pmtn, r_i \mid f_{\max}</tex>]]
 +
# [[1precripi1Lmax|<tex>1 \mid prec; r_i; p_i = 1 \mid L_{max}</tex>]]
 +
# [[P2precpi1Lmax|<tex>P2 \mid prec, p_i = 1 \mid L_{\max}</tex>]]
 +
# [[PpmtnriLmax|<tex>P \mid pmtn, r_i \mid L_{max}</tex>]]
 +
# [[QpmtnCmax|<tex>Q \mid pmtn \mid C_{max}</tex>]]
 +
# [[QpmtnriLmax|<tex>Q \mid pmtn, r_{i} \mid L_{max}</tex>]]
 +
# [[QSumCi|<tex>Q\mid\mid\sum{C_i}</tex>]]
 +
# [[R2Cmax|<tex>R2 \mid \mid C_{max}</tex>]]
 +
# [[F2Cmax|<tex>F2 \mid \mid C_{max}</tex>]]
 +
# [[Fpij1sumwu|<tex>F \mid p_{ij} = 1 \mid \sum w_i U_i</tex>]]
 +
# [[O2Cmax|<tex>O2 \mid \mid C_{max}</tex>]]
 +
# [[Opi1sumu|<tex>O \mid p_{ij} = 1 \mid \sum U_i</tex>]]
 +
# [[J2ni2Cmax|<tex>J2 \mid n_{i} \le 2 \mid C_{max}</tex>]]
 +
# [[J2pij1Lmax| <tex>J2\mid p_{ij} = 1\mid L_{max}</tex>]]

Версия 20:25, 15 апреля 2014

1. Основные определения. Простые комбинаторные свойства слов

  1. Основные определения, связанные со строками
  2. Период и бордер, их связь
  3. Слово Фибоначчи
  4. Слово Туэ-Морса

2. Поиск подстроки в строке

  1. Наивный алгоритм поиска подстроки в строке
  2. Поиск подстроки в строке с использованием хеширования. Алгоритм Рабина-Карпа
  3. Поиск наибольшей общей подстроки двух строк с использованием хеширования
  4. Префикс-функция
  5. Алгоритм Кнута-Морриса-Пратта
  6. Z-функция
  7. Автомат для поиска образца в тексте
  8. Бор
  9. Алгоритм Ахо-Корасик

3. Суффиксное дерево

  1. Суффиксный бор
  2. Сжатое суффиксное дерево
  3. Алгоритм Укконена

4. Суффиксный массив

  1. Суффиксный массив
  2. Построение суффиксного массива с помощью стандартных методов сортировки
  3. Цифровая сортировка
  4. Алгоритм цифровой сортировки суффиксов циклической строки
  5. Алгоритм Касаи и др.
  6. Алгоритм Карккайнена-Сандерса
  7. Алгоритм поиска подстроки в строке с помощью суффиксного массива

5. Задача о наименьшем общем предке

  1. Метод двоичного подъема
  2. Сведение задачи LCA к задаче RMQ
  3. Решение RMQ с помощью разреженной таблицы
  4. Алгоритм Фарака-Колтона и Бендера (решение +/-1 RMQ с помощью метода четырех русских)
  5. Алгоритм Шибера-Вишкина
  6. Сведение задачи RMQ к задаче LCA

6. Матроиды

  1. Определение матроида
  2. Примеры матроидов
  3. Прямая сумма матроидов
  4. Теорема Радо-Эдмондса (жадный алгоритм)
  5. Жадный алгоритм поиска базы минимального веса
  6. Теорема о базах
  7. Аксиоматизация матроида базами
  8. Теорема о циклах
  9. Аксиоматизация матроида циклами
  10. Ранговая функция, полумодулярность
  11. Двойственный матроид
  12. Оператор замыкания для матроидов

7.Пересечение матроидов

  1. Пересечение матроидов, определение, примеры
  2. Лемма о паросочетании в графе замен
  3. Лемма о единственном паросочетании в графе замен
  4. Граф замен для двух матроидов
  5. Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем
  6. Алгоритм построения базы в пересечении матроидов
  7. Теорема Эдмондса-Лоулера

8. Объединение матроидов

  1. Объединение матроидов, проверка множества на независимость
  2. Объединение матроидов, доказательство того, что объединение является матроидом
  3. Алгоритм построения базы в объединении матроидов

9. Теория расписаний

  1. Классификация задач
  2. Методы решения задач теории расписаний
  3. Правило Лаулера
  4. Flow shop
  5. [math]1 \mid \mid \sum U_{i}[/math]
  6. [math]1 \mid r_{i}, p_i=1\mid \sum w_{i}C_{i}[/math]
  7. [math]1 \mid r_{i}, d_{i}, p_{i} = 1 \mid -[/math]
  8. [math]1 \mid outtree \mid \sum w_i C_i[/math]
  9. [math]1 \mid p_{i} = 1 \mid \sum w_{i}U_{i}[/math]
  10. [math]1 \mid prec, pmtn, r_i \mid f_{\max}[/math]
  11. [math]1 \mid prec; r_i; p_i = 1 \mid L_{max}[/math]
  12. [math]P2 \mid prec, p_i = 1 \mid L_{\max}[/math]
  13. [math]P \mid pmtn, r_i \mid L_{max}[/math]
  14. [math]Q \mid pmtn \mid C_{max}[/math]
  15. [math]Q \mid pmtn, r_{i} \mid L_{max}[/math]
  16. [math]Q\mid\mid\sum{C_i}[/math]
  17. [math]R2 \mid \mid C_{max}[/math]
  18. [math]F2 \mid \mid C_{max}[/math]
  19. [math]F \mid p_{ij} = 1 \mid \sum w_i U_i[/math]
  20. [math]O2 \mid \mid C_{max}[/math]
  21. [math]O \mid p_{ij} = 1 \mid \sum U_i[/math]
  22. [math]J2 \mid n_{i} \le 2 \mid C_{max}[/math]
  23. [math]J2\mid p_{ij} = 1\mid L_{max}[/math]