Изменения

Перейти к: навигация, поиск

Алгоритмы и структуры данных

2976 байт убрано, 08:21, 1 декабря 2020
м
Поменял "е" на "ё", потому что всегда было перенаправление. Статей с упоминанием "четырех русских" нет, есть упоминание "четырёх русских".
== Основные определения теории графов Амортизационный анализ ==* [[Основные определения теории графов|Основные определения: граф, ребро, вершина, степень, петля, путь, циклАмортизационный анализ]]* [[Лемма о рукопожатияхДинамический массив]]* [[Ориентированный графHashed Array Tree]]<tex>^\star</tex>* [[Лемма о рукопожатиях#Вариант леммы о рукопожатиях для ориентированного графа|Вариант леммы о рукопожатиях для ориентированного графаСписок]]* [[Теорема о существовании простого пути в случае существования путиСтек]]* [[Теорема о существовании простого цикла в случае существования циклаОчередь]]* [[Матрица смежности графаДек]]* [[Связь степени матрицы смежности и количества путейМажорирующий элемент]]* [[Матрица инцидентности графаСчетчик Кнута]]* [[Циклическое пространство графаМастер-теорема]]<tex>^\star</tex>* [[Фундаментальные циклы графа]]* [[Дерево, эквивалентные определенияList order maintenance]]<tex>^\star</tex>
== Персистентные структуры данных ==
* [[Персистентные структуры данных]]
* [[Персистентный стек]]
* [[Персистентная очередь]]
* [[Персистентный дек]]
* [[Персистентная приоритетная очередь]]
== Связность в графах ==* [[Отношение связности, компоненты связностиПриоритетные очереди]]==* [[Отношение реберной двусвязностиДвоичная куча]]* [[Отношение вершинной двусвязностиБиномиальная куча]]* [[Граф компонент реберной двусвязностиФибоначчиева куча]]* [[Граф блоков-точек сочлененияЛевосторонняя куча]]* [[Точка сочленения, эквивалентные определенияТонкая куча]]* [[Мост, эквивалентные определенияТолстая куча на избыточном счетчике]]* [[kКуча Бродала-связность]]* [[Теорема Менгера]]* [[Вершинная, реберная связность, связь между ними и минимальной степенью вершиныОкасаки]]<tex>^\star</tex>
== Система непересекающихся множеств ==
* [[СНМ (наивные реализации) | Наивные реализации]]
* [[СНМ (списки с весовой эвристикой) | Списки с весовой эвристикой]]
* [[СНМ(реализация с помощью леса корневых деревьев) | Реализация с помощью леса корневых деревьев]]
* [[СНМ с операцией удаления за О(1)]]<tex>^\star</tex>
== Остовные деревья [[Поисковые структуры данных]] ==* [[Матрица КирхгофаУпорядоченное множество]]* [[Дерево поиска, наивная реализация]]* [[АВЛ-дерево]]* [[2-3 дерево]]* [[B-дерево]]* [[B+-дерево]]* [[Красно-черное дерево]]* [[Декартово дерево]]* [[Декартово дерево по неявному ключу]]* [[Splay-дерево]]* [[Взвешенное дерево]]* [[Tango-дерево]]<tex>^\star</tex>* [[Рандомизированное бинарное дерево поиска]]* [[Связь матрицы Кирхгофа и матрицы инцидентностиДерево ван Эмде Боаса]]* [[Подсчет числа остовных деревьев Список с помощью матрицы Кирхгофапропусками]]* [[Fusion tree]]<tex>^\star</tex>* [[Сверхбыстрый цифровой бор]]* [[Rope]]<tex>^\star</tex>* [[AA-дерево]]<tex>^\star</tex>* [[Количество помеченных деревьевТехника частичного каскадирования]]<tex>^\star</tex>* [[Коды ПрюфераCentroid decomposition]]<tex>^\star</tex>
== Обходы графов Запросы на отрезках ==* [[Эйлеров цикл, Эйлеров путь, Эйлеровы графы, Эйлеровость орграфов]]* [[Покрытие ребер графа путями]]* [[Алгоритм построения Эйлерова цикла]]* [[Произвольно вычерчиваемые из заданной вершины графы]]* [[Гамильтоновы графы]]* [[Теорема Хватала]]* Следствия теоремы Хватала: ** [[Теорема Дирака]]** [[Теорема Оре]]* [[Турниры]]* [[Теорема Редеи-Камиона]]
== Укладки графов = Корневая эвристика ===* [[Укладка графа Статистики на плоскостиотрезках. Корневая эвристика]]* [[Формула Эйлера]]* [[Непланарность K5 и K3Корневая декомпозиция с операциями: get,3|Непланарность <tex>K_5</tex> и <tex>K_{3insert,3}</tex>]]* [[Укладка дерева]]* [[Укладка графа с планарными компонентами реберной двусвязности]]* [[Укладка графа с планарными компонентами вершинной двусвязности]]* [[Теорема Понтрягина-Куратовскогоerase]]* [[Двойственный граф планарного графаАлгоритм Мо]]
== Раскраски графов = Дерево отрезков ===* [[Раскраска графаДерево отрезков. Построение]]* [[Двудольные графы и раскраска Реализация запроса в 2 цветадереве отрезков сверху]]* [[Хроматический многочлен]]** [[Хроматический многочлен#Хроматический многочлен полного графа|Хроматический многочлен полного графа]]** [[Хроматический многочлен#Хроматический многочлен пустого графа|Хроматический многочлен пустого графа]]** [[Хроматический многочлен#Хроматический многочлен дерева|Хроматический многочлен дерева]]** [[Хроматический многочлен#Рекуррентные формулы для хроматических многочленов|Рекуррентные формулы для хроматических многочленовРеализация запроса в дереве отрезков снизу]]** [[Хроматический многочлен#Коэффициенты хроматического многочлена|Коэффициенты хроматического многочлена: старший, второй коэффициенты, знакопеременностьНесогласованные поддеревья. Реализация массового обновления]]* [[Формула ЗыковаМногомерное дерево отрезков]]* [[Формула УитниСжатое многомерное дерево отрезков]]
== Обход в глубину Дерево Фенвика ==* [[Обход в глубину, цвета вершинДерево Фенвика]]* [[Лемма о белых путяхВстречное дерево Фенвика]]* [[Использование обхода в глубину Дерево Фенвика для проверки связностинекоммутативных операций]]* [[Использование обхода в глубину для поиска цикла в ориентированном графе]]* [[Использование обхода в глубину для топологической сортировки]]* [[Использование обхода в глубину для поиска компонент сильной связности]]* [[Использование обхода в глубину для поиска точек сочленения]]* [[Построение компонент вершинной двусвязности]]* [[Использование обхода в глубину для поиска мостов]]* [[Построение компонент реберной двусвязностиМногомерное дерево Фенвика]]
== Кратчайшие пути в графах Задача о наименьшем общем предке ==* [[Обход в ширинуСведение задачи LCA к задаче RMQ]]* [[Сведение задачи RMQ к задаче LCA]]* [[Метод двоичного подъема]]* [[Решение RMQ с помощью разреженной таблицы]]* [[Двумерная разреженная таблица]]* [[Алгоритм ФордаФарака-БеллманаКолтона и Бендера]](решение +/-1 RMQ с помощью метода четырех русских)* [[Алгоритм ДейкстрыХьюи]]* [[Heavy-light декомпозиция]]* [[Алгоритм ФлойдаШибера-Вишкина]]<tex>^\star</tex>* [[Алгоритм ДжонсонаТарьяна поиска LCA за O(1) в оффлайн]]<tex>^\star</tex>* [[Link-Cut Tree]]<tex>^\star</tex>* [[Rake-Compress деревья]]<tex>^\star</tex> == Хеширование ==* [[Хеш-таблица]]* [[Разрешение коллизий]]* [[Хеширование кукушки]]* [[Идеальное хеширование]]* [[Перехеширование]]* [[Фильтр Блума]]* [[Quotient filter]]<tex>^\star</tex>* [[Универсальное семейство хеш-функций]]* [[Расширяемое хеширование]]<tex>^\star</tex> == [[Сортировки]] ===== Квадратичные сортировки ===* [[Сортировка выбором]]* [[Сортировка пузырьком]]* [[Сортировка вставками]]=== Сортировки на сравнениях ===* [[Сортировка Шелла]]<tex>^\star</tex>* [[Сортировка кучей]]* [[Быстрая сортировка]]* [[Сортировка слиянием]]* [[Cортировка слиянием с использованием O(1) дополнительной памяти]]* [[Терпеливая сортировка]]<tex>^\star</tex>* [[Timsort]]<tex>^\star</tex>* [[Smoothsort]]<tex>^\star</tex>* [[Теорема о нижней оценке для сортировки сравнениями]]
== Остовные деревья = Многопоточные сортировки ===* [[Лемма о безопасном ребреМногопоточная сортировка слиянием]]<tex>^\star</tex>* [[Алгоритм ПримаPSRS-сортировка]]<tex>^\star</tex>=== Другие сортировки ===* [[Алгоритм КраскалаПоиск k-ой порядковой статистики]]* [[Теорема Тарьяна|Теорема Тарьяна (критерий минимальности остовного дерева)Поиск k-ой порядковой статистики за линейное время]]* [[Алгоритм Поиск k-ой порядковой статистики в двух китайцевмассивах]]<tex>^\star</tex>* [[Сортировка подсчетом]]* [[Цифровая сортировка]]* [[Карманная сортировка]]* [[Сортировка Хана]]<tex>^\star</tex>* [[Задача флага Нидерландов]]<tex>^\star</tex>* [[Блинная сортировка]]<tex>^\star</tex>
== Задача о паросочетании Сортирующие сети ==* [[Теорема о максимальном паросочетании и дополняющих цепяхСортирующие сети]]* [[Алгоритм Форда0-Фалкерсона для поиска максимального паросочетания1 принцип | Проверка сети компараторов на то, что она сортирующая. 0-1 принцип]]* [[Алгоритм Куна Сортирующие сети для поиска максимального паросочетания]]* [[Связь максимального паросочетания и минимального вершинного покрытия в двудольных графахквадратичных сортировок]]* [[Связь вершинного покрытия и независимого множества]]* [[Матрица Татта и связь Сортировочные сети с размером максимального паросочетания в двудольном графеособыми свойствами]]<tex>^\star</tex>* [[Алгоритм вырезания соцветий|Паросочетания в недвудольных графах. Алгоритм вырезания соцветийСеть Бетчера]]
== Задача о максимальном потоке Алгоритмы поиска ==* [[Определение сети, потокаЦелочисленный двоичный поиск]]* [[Разрез, лемма о потоке через разрезПоиск в матрице]]<tex>^\star</tex>* [[Дополняющая сеть, дополняющий путьВещественный двоичный поиск]]* [[Лемма о сложении потоковТроичный поиск]]* [[Теорема Форда-Фалкерсона]]* [[Алгоритм Форда-Фалкерсона, реализация Поиск с помощью поиска в глубину]]* [[Алоритм Эдмондса-Карпа]]* [[Теорема о декомпозиции]]* [[Теорема о декомпозиционном барьерезолотого сечения]]* [[Блокирующий потокИнтерполяционный поиск]]* [[Схема алгоритма Диница]]* [[Алгоритм поиска блокирующего потока в ациклической сети]]* [[Алгоритм масштабирования потока]]* [[Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностямиМетод Фибоначчи]]<tex>^\star</tex>
== Задача о потоке минимальной стоимости [[Динамическое программирование]] ===== Классические задачи динамического программирования ===* [[Поток минимальной стоимостиКратчайший путь в ациклическом графе]]* [[Теорема Форда-Фалкерсона Задача о потоке минимальной стоимостичисле путей в ациклическом графе]]* [[Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов Задача о расстановке знаков в остаточной сетивыражении]]* [[Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимостиЗадача о порядке перемножения матриц]]* [[Использование потенциалов Джонсона при поиске потока минимальной стоимостиЗадача о наибольшей общей подпоследовательности]]* [[Сведение задачи Задача о назначениях к задаче наибольшей возрастающей подпоследовательности]]*[[Быстрый поиск наибольшей возрастающей подпоследовательности]]**[[Задача коммивояжера, ДП по подмножествам]]*[[Задача о потоке минимальной стоимостиредакционном расстоянии, алгоритм Вагнера-Фишера]]* [[Венгерский алгоритм решения задачи Задача о назначенияхрюкзаке]]
== Поиск подстроки в строке = Способы оптимизации методов динамического программирования ===* [[Наивный алгоритм поиска подстроки в строкеМетод четырёх русских для умножения матриц]]* [[Поиск подстроки Применение метода четырёх русских в строке с использованием хеширования. Алгоритм Рабина-Карпазадачах ДП на примере задачи о НОП]]<tex>^\star</tex>* [[Поиск наибольшей общей подстроки двух строк Задача об оптимальном префиксном коде с использованием хешированиясохранением порядка. Монотонность точки разреза]]* [[ПрефиксMeet-функция]]* [[Алгоритм Кнутаin-Моррисаthe-Праттаmiddle]]<tex>^\star</tex>* [[Z-функция]]* [[Автомат для поиска образца в тексте]]* [[Бор]]* [[Алгоритм Ахо-КорасикConvex hull trick]]
== Словарные структуры данных =Другие задачи ===*[[Задача о расстоянии Дамерау-Левенштейна]]<tex>^\star</tex>*[[Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами]]*[[Задача о наибольшей подпоследовательности-палиндроме]]*[[Задача о наибольшей общей возрастающей последовательности]]<tex>^\star</tex>*[[Задача о наибольшей общей палиндромной подпоследовательности]]<tex>^\star</tex>* [[Суффиксный борДинамическое программирование по профилю]]<tex>^\star</tex>* [[Сжатое суффиксное деревоДинамика по поддеревьям]]* [[Алгоритм УкконенаLevel Ancestor problem]]
== Задача о наименьшем общем предке Криптографические алгоритмы ==* [[Метод двоичного подъема]]* [[Сведение задачи LCA к задаче RMQ]]* [[Решение RMQ с помощью разреженной таблицы]]* [[Алгоритм Фарака-Колтона и Бендера]] (решение +/-1 RMQ с помощью метода четверых русских)* [[Сведение задачи RMQ к задаче LCARSA]]
== Суффиксный массив Связь между структурами данных ==* [[Суффиксный массив]]* [[Построение суффиксного массива с помощью стандартных методов сортировки]]* [[Алгоритм цифровой сортировки]]* [[Алгоритм цифровой сортировки суффиксов циклической строки]]* [[Алгоритм Касаи и др.]]* [[Алгоритм поиска подстроки в строке с помощью суффиксного массиваСвязь между структурами данных]]
== Матроиды Алгоритмы во внешней памяти ==* [[Определение матроида]]* [[Примеры матроидов]]* [[Прямая сумма матроидов]]* [[Теорема Радо-Эдмондса (жадный алгоритм)]]* [[Жадный алгоритм поиска базы минимального веса]]* [[Теорема о базах]]* [[Аксиоматизация матроида базами]]* [[Теорема о циклах]]* [[Аксиоматизация матроида циклами]]* [[Ранговая функция, полумодулярность]]* [[Двойственный матроид]]* [[Оператор замыкания для матроидов]]* [[Пересечение матроидов, определение, примеры]]* [[Лемма о паросочетании в графе замен]]* [[Лемма о единственном паросочетании в графе замен]]* [[Граф замен для двух матроидов]]* [[Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем]]* [[Теорема Эдмондса-Лоулера]]* [[Объединение матроидов, проверка множества на независимость]]* [[Объединение матроидов, доказательство того, что объединение является матроидомАлгоритмы во внешней памяти. Базовые конструкции]]
[[Категория: Алгоритмы и структуры данных]]
5
правок

Навигация