Лектор: Александр Сергеевич Куликов
Язык курса: русский
Краткое описание курса:
В курсе будут рассмотрены красивые идеи построения алгоритмов для NP–трудных задач — от классических до недавних результатов. Предварительный список тем: точные алгоритмы (расщепление, локальный поиск, умный перебор, сведение к простой задаче), fixed parameter tractable алгоритмы (kernelization, color coding, алгоритмы, основанные на матричном умножении и формуле включений–исключений), приближённые алгоритмы (алгоритмы, основанные на линейном и полуопределённом программировании).
| Название | Слайды | Версия для печати | Видео | Содержание лекции |
|---|---|---|---|---|
| 1. Обзор. | tube, mp4 | P и NP неформально. Точные алгоритмы. алгоритм, основанный на локальном поиске, для задачи выполнимости. алгоритм для задачи о максимальном разрезе, использующий быстрое умножение матриц для нахождения треугольников. |
||
| 2. Обзор. | tube, mp4 | FPT алгоритмы. Kernelization. ядро для задачи о покрытии точек прямыми. ядро для задачи о вершинном покрытии, основанное на простых правилах упрощениях, и ядро, основанное на crown decomposition lemma. Приближённые алгоритмы. 2–оптимальный алгоритм для задачи о вершинном покрытии. 2–оптимальный алгоритм для задачи о коммивояжере в метрическом пространстве. |
||
| 3. NP–полные задачи. | tube, avi | Задачи поиска, NP–полные задачи, сведения. | ||
| 4. Вероятностные алгоритмы. | tube, avi | алгоритм для задачи о 3–раскрашиваемости графа. –приближенный алгоритм для задачи о минимальном множестве представителей. FPT–алгоритм для задачи о пути длины . алгоритм для 3–SAT. |
||
| 5. Приближенные алгоритмы. | tube, avi | –приближенный алгоритм для задачи о покрытии множествами, –приближенный алгоритм для задачи о кратчайшей надпоследовательности. |
||
| 6. Приближенные алгоритмы. | tube, avi | –приближенный алгоритм для задачи о коммивояжере в метрическом пространстве, неприближаемость задачи о коммивояжере, полностью полиномиальная приближенная схема для задачи о рюкзаке. |
||
| 7. Приближенные алгоритмы. | tube, avi | Приближенные алгоритмы, основанные на решении задачи полуопределенного программирования. –приближенный алгоритм для задачи о максимальном разрезе, раскраска вершин –раскрашиваемого графа в цветов, где — средняя степень вершин графа. |
||
| 8. Алгоритмы расщепления. | tube | Оценка времени работы алгоритмов расщепления, правила упрощения, простой , где — количество клозов, алгоритм, основанный на методе расщепления, для задачи выполнимости, автоматический анализ времени работы. |
||
| 9. Алгоритмы расщепления. | tube, avi | Комбинированные меры сложности, верхняя оценка для задачи максимальной 2–выполнимости, запоминание дизъюнктов, решение задачи выполнимости формул константной плотности быстрее чем за шагов. |
||
| 10. Точные алгоритмы. | Формула включений–исключений. Задача о гамильтоновом пути, задача о количестве совершенных паросочетаний. Сведение к простой задаче. Задача о сумме подмножества, задача максимальной 2–выполнимости. | |||
| 11. FPT–алгоритмы. | Лемма о подсолнухе. Задача о минимальном множестве представителей. Динамическое программирование. Задача о дереве Штайнера. Итеративное сжатие. Задача об удалении нечетных циклов. |
Ссылки по теме
- A compendium of NP optimization problems
- S. Arora. The Approximability of NP–hard problems
- AGAPE Spring School on Fixed Parameter and Exact Algorithms
- Parameterized Complexity WIKI
- F. Fomin, F. Grandoni, and D. Kratsch. A measure and conquer analysis for the analysis of exact algorithms
- G. Woeginger. Exact algorithms for NP–hard problems: A survey

алгоритм, основанный на локальном поиске, для задачи выполнимости.
алгоритм для задачи о максимальном разрезе, использующий быстрое умножение матриц для нахождения треугольников.
ядро для задачи о покрытии точек прямыми.
ядро, основанное на crown decomposition lemma. Приближённые алгоритмы.
алгоритм для задачи о
–приближенный
.
алгоритм для
–приближенный алгоритм для задачи о покрытии множествами,
–приближенный
–приближенный алгоритм для задачи о коммивояжере в метрическом пространстве, неприближаемость задачи о коммивояжере, полностью полиномиальная приближенная схема для задачи о рюкзаке.
–приближенный
–раскрашиваемого
цветов, где
— средняя степень вершин графа.
, где
— количество клозов, алгоритм, основанный на методе расщепления, для задачи выполнимости, автоматический анализ времени работы.
для задачи максимальной
шагов.