Download
1 / 20
260 likes | 631 Views
Вычислительная сложность Классы сложности P и NP. Сергей Казаков, аспирант каф. КТ, НИУ ИТМО. Как все начиналось…. Начало 1960-х годов Alan Cobham , 1964 Jack Edmonds, 1965 Они ввели сложностные классы. Разрешимые и неразрешимые задачи. Проблема останова – неразрешимая задача
E N D
Вычислительная сложностьКлассы сложности P и NP. Сергей Казаков, аспирант каф. КТ, НИУ ИТМО
Как все начиналось… • Начало 1960-х годов • Alan Cobham, 1964 • Jack Edmonds, 1965 • Они ввели сложностные классы
Разрешимые и неразрешимые задачи • Проблема останова – неразрешимая задача • Доказательство – от противного.
Сложностный класс P • Класс P— класс задач, разрешимых на детерминированной машине Тьюринга за полиномиальное время
Класс P. Примеры-1 • Посчитать сумму чисел • Посчитать произведение чисел • Проверка простоты числа • Сортировка массива • Определение связности графа • Эйлеров путь/цикл
Эйлеров путь/цикл in P • Путь, проходящий по всем ребрам графа, и при этом только по одному разу • Граф Кёнигсбергских мостов: • Эйлер (1735 год): цикл существует граф связный и все вершины четной степени
Эйлеров цикл procedurefind_all_cycles (v): • пока есть цикл, проходящий через v • находим его • добавляем все вершины цикла к ответу • удаляем цикл из графа • идем по вершинам из ответа и для каждой рекурсивно вызываем себя find_all_cycles(nv) • Working Time – O(M), M – число ребер
Сложностный класс NP • Класс NP— класс задач, у которых есть сертификат решения, который можно быстро (за полином) проверить на машине Тьюринга. • Класс NP — класс задач, которые можно быстро решить (за полином) на недетерминированной машине Тьюринга.
Класс NP. Примеры-1 • Задача выполнимости булевых форму (SAT) • Определение наличия в графе гамильтонова цикла • Задача о коммивояжёре • Задача поиска вершинного покрытия графа
Гамильтонов путь/цикл • Гамильтонов путь— путь в графе, содержащий каждую вершину графа ровно один раз • Гамильтонов цикл – гамильтонов путь, начальная и конечная вершина которого совпадают
Задача коммивояжёра Задача коммивояжёра (англ. Travellingsalesmanproblem, TSP)
NP-трудные и NP-полные задачи • Сведение по Карпу: P1 сводится к P2 f: (pP1 f(p)P2) • NP-трудность: P1 – NP-трудная задача, если P2NP, P2 сводится к P1 • NP-полная задача: из NP и NP-трудная
NP-трудные и NP-полные задачи • Стивен Кук (1971 год): • термин «NP-полная задача» • задача SAT была первой задачей, для которой доказывалось это свойство. • Определение наличия в графе гамильтонова цикла – NP-полная • Задача о коммивояжёре – • с оптимизацией – NP-трудная • не длиннее k – NP-полная
Приближенные решения • Многие задачи, представляющие практический интерес – NP-полные • Для них маловероятно найти точный алгоритм с полиномиальным временем работы • При небольшом объеме входных данных может подойти алгоритм, время работы которого выражается показательной функцией • Иногда удается выделить важные частные случаи, разрешимые в течение полиномиального времени
Приближенные решения • Можно найти в течение полиномиального времени решение, близкое к оптимальному. • Алгоритм, возвращающий решения, близкие к оптимальным, называется приближенным алгоритмом.
Методы решения NP-полных задач • Приближенные и эвристические методы – применение эвристик для выбора элементов решения. • Псевдо полиномиальные алгоритмы – подкласс динамического программирования. • Метод локальных улучшений – поиск более оптимального решения в окрестности некоторого текущего решения. • Метод ветвей и границ - отбрасывание заведомо неоптимальных решений целыми классами в соответствии с некоторой оценкой. • Метод случайного поиска – представление выбора последовательностью случайных выборов.
