Изменения

*[[Транзитивное отношение]]

*[[Отношение порядка]]

*[[Отношение эквивалентности]]

*[[Транзитивное замыкание|Транзитивное замыкание отношения]]

*[[КНФ]]

*[[2-SAT]]

*[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]

*[[Полином Жегалкина | Полином Жегалкина, преобразование Мёбиуса]]

*[[Задача о наибольшей общей подпоследовательности]]

*[[Задача о наибольшей возрастающей подпоследовательности]]

*[[Задача коммивояжера, ДП по подмножествам]]

*[[Задача о редакционном расстоянии, алгоритм Вагнера-Фишера]]

*[[Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза]]

*[[Meet-in-the-middle]]<tex>^\star</tex>

=== Другие задачи ===

*[[Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами]]

*[[Задача о наибольшей подпоследовательности-палиндроме]]

*[[Задача о наибольшей общей палиндромной подпоследовательности]]<tex>^\star</tex>

*[[Динамическое программирование по профилю]]<tex>^\star</tex>

== Дерево отрезков ==

* [[Статистики на отрезках. Корневая эвристика]]

* [[Дерево отрезков. Построение]]

* [[Реализация запроса в дереве отрезков сверху]]

* [[Факторизация графов]]<tex>^\star</tex>

* [[Группы графов]]<tex>^\star</tex>

== Связность в графах ==

* [[Теорема Менгера, альтернативное доказательство]]

* [[Вершинная, реберная связность, связь между ними и минимальной степенью вершины]]

== Остовные деревья ==

* [[Критерий Тарьяна минимальности остовного дерева|Теорема Тарьяна (критерий минимальности остовного дерева)]]

* [[Алгоритм двух китайцев]]

=== Свойства остовных деревьев ===

=== Эйлеровы графы ===

* [[Эйлеров цикл, Эйлеров путь, Эйлеровы графы, Эйлеровость орграфов]]

* [[Алгоритм построения Эйлерова цикла]]

* [[Произвольно вычерчиваемые из заданной вершины графы]]

=== Гамильтоновы графы ===

* [[Теорема Фари]]<tex>^\star</tex>

* [[Гамма-алгоритм]]

== Раскраски графов ==

* [[Теорема о декомпозиционном барьере]]

* [[Циркуляция потока]]

* [[Алгоритм Каргера для нахождения минимального разреза]]<tex>^\star</tex>

* [[Примеры сведения к задачам поиска потока]]

* [[Сведение задачи о назначениях к задаче о потоке минимальной стоимости]]

* [[Венгерский алгоритм решения задачи о назначениях]]

= Четвертый семестр =

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

* [[Сведение задачи LCA к задаче RMQ]]

* [[Сведение задачи RMQ к задаче LCA]]

* [[Метод двоичного подъема]]

* [[Решение RMQ с помощью разреженной таблицы]]

* [[Алгоритм Фарака-Колтона и Бендера]] (решение +/-1 RMQ с помощью метода четырех русских)

* [[Алгоритм Хьюи]]