NP-полные задачи оптимизации
[11/55%]Покажите, что является NP-полной задачей поиска.
: для данного графа найти минимальное вершинное покрытие графа .
является NP-полной.
Задача коммивояжёра (TSP): Дан полный граф с функцией стоимости и целое , определить, существует ли тур (то есть гамильтонов цикл) графа с суммарной стоимостью рёбер, не превышающей .
Задача -Approx- является NP-полной для всех .
Задача коммивояжёра (TSP): Дан полный граф с функцией стоимости и целое , определить, существует ли тур (то есть гамильтонов цикл) графа с суммарной стоимостью рёбер, не превышающей .
Для графа с функцией стоимости на его рёбрах пусть обозначает минимальную стоимость маршрута графа . Для приближённая версия -Approx-TSP спрашивает: для данного полного графа с функцией стоимости найти маршрут графа суммарной стоимостью не более .
Задача -Approx- является NP-полной для некоторого .
Вершинное покрытие (VC): Даны граф и положительное целое , определить, есть ли в вершинное покрытие размера не более .
Пусть обозначает размер минимального вершинного покрытия графа . Для приближённая версия -Approx-VC спрашивает: для данного графа найти вершинное покрытие графа такое, что .
Для каждого задача -Approx-- является NP-полной для некоторого .
Вершинное покрытие (VC): Даны граф и положительное целое , определить, есть ли в вершинное покрытие размера не более . VC- обозначает задачу VC, ограниченную графами степени не более .
Пусть обозначает размер минимального вершинного покрытия графа . Для приближённая версия -Approx-VC- спрашивает: для данного графа степени не более найти вершинное покрытие графа такое, что .
Для задача -Approx- является NP-полной.
Bottleneck Steiner Tree (): для данного множества из точек на евклидовой плоскости и положительного целого числа найти дерево Штейнера над терминальными точками не более чем с точками Штейнера, такое что длина самого длинного ребра дерева минимальна.
Для приближённая версия -Approx-BST спрашивает: для тех же данных найти дерево Штейнера не более чем с точками Штейнера, длина самого длинного ребра которого не более чем в раз превышает оптимальную (минимальную) длину самого длинного ребра.
Для каждой из следующих задач поиска сформулируйте соответствующую проблему разрешения и покажите, что проблема разрешения и задача поиска эквивалентны относительно полиномиальной сводимости по Тьюрингу.
Max-.
Версия оптимизации KNAPSACK.
(версия оптимизации): для данного графа найти самый длинный простой путь в .
Для данного положительного целого числа найти его наибольший простой делитель.
Для каждой из следующих задач оптимизации покажите, что она NP-полна:
Для данного ориентированного графа найти минимальное подмножество рёбер такое, что каждый ориентированный цикл содержит хотя бы одно ребро из этого подмножества.
Для данного ориентированного графа найти минимальное подмножество вершин такое, что каждый ориентированный цикл содержит хотя бы одну вершину из этого подмножества.
Для данных целых чисел и найти , , максимизирующие значение , при следующих ограничениях:
- Для данного графа найти колесо максимального размера. (Колесо размера — это подграф из вершин, в котором вершин образуют простой цикл, а оставшаяся вершина соединена со всеми этими вершинами.)
Покажите, что для каждой из следующих задач оптимизации II существует коэффициент приближения такой, что -Approx- является -полной.
Network SMT: для данного графа , функции веса рёбер и подмножества найти связный подграф с минимальным суммарным весом рёбер, соединяющий вершины из .
Connected-VC: для данного графа найти минимальное вершинное покрытие такое, что подграф , порождённый , связен.
with Triangle Inequality: для данного полного графа и функции расстояния , удовлетворяющей неравенству треугольника, найти гамильтонов цикл с минимальным суммарным расстоянием. (Функция расстояния удовлетворяет неравенству треугольника, если для любых трёх вершин .)
- with -Distance: для данного полного графа и функции веса рёбер найти гамильтонов цикл с минимальным суммарным расстоянием.
Для графа его рёберно-квадратный граф — это граф, полученный из заменой каждого ребра на копию , называемую , и соединением как , так и с каждой вершиной в .
Покажите, что -Approx- является NP-полной для некоторого .
Покажите, что если самый длинный простой путь в имеет длину , то самый длинный простой путь в имеет длину не менее . Более того, по данному пути длины в путь длины в можно найти за полиномиальное время.
Покажите, что -Approx- является NP-полной для всех .
Покажите, что для каждой из следующих задач оптимизации существует константа такая, что -Approx- является -полной.
Раскраска вершин: для данного графа найти раскраску (т.е. функцию ) с минимальным числом цветов такую, что никакие две смежные вершины не имеют одинакового цвета.
Раскраска рёбер: для данного графа найти раскраску (т.е. функцию ) с минимальным числом цветов такую, что никакие два смежных ребра (рёбра с общей вершиной) не имеют одинакового цвета.