Дополнительные NP-полные задачи
[12/58%]Остаётся ли задача VC NP-полной, если каждое ребро должно покрываться ровно одной вершиной?
Докажите, что MCG является NP-полной.
Partition является NP-полной.
Knapsack является NP-полной.
BP является NP-полной.
Покажите, что следующая задача является NP-полной: Даны положительные целые числа ; определить, выполняется ли
SMT является NP-полной.
Для каждой из следующих задач определите, является ли она -полной или принадлежит . Если она -полна, найдите сведение от известной -полной задачи к ней. Если она принадлежит , найдите для неё полиномиальный алгоритм.
Даны граф , две вершины и в и положительное целое число ; определить, существует ли между и путь длины не более .
Даны граф , две вершины и в и положительное целое число ; определить, существует ли между и путь длины не менее .
Дан ориентированный граф ; определить, содержит ли цикл нечётной длины.
Дан ориентированный граф ; определить, содержит ли цикл чётной длины.
Дан граф ; определить, содержит ли цикл нечётной длины.
Даны полный граф с весами на рёбрах, три подмножества вершин , и положительное целое число ; определить, существует ли подграф графа веса , содержащий остовное дерево для каждого из и . (Остовным деревом для подмножества называется связный подграф графа на множестве вершин , не содержащий циклов.)
Даны граф и положительное целое число ; определить, существует ли подмножество из не более чем рёбер, такое что каждая вершина из инцидентна хотя бы одному ребру из .
Неэквивалентность регулярных выражений: Даны два регулярных выражения и без операции звезды Клини; определить, выполняется ли .
Ограниченная PCP (см. упражнение 7(d) раздела 7.1).
Ограниченное замощение (Bounded Tiling) (см. упражнение 7(e) раздела 7.1).
Докажите, что следующие варианты задачи VC являются -полными:
Planar VC: задача VC, ограниченная планарными графами. (Планарным графом называется граф, который можно нарисовать на двумерной плоскости так, что никакие два ребра не пересекаются в точке, не являющейся вершиной.)
Cubic VC: задача VC, ограниченная кубическими графами. (Кубическим графом называется граф, в котором каждая вершина имеет степень три.)
Planar Connected-VC-4: Даны планарный граф , в котором каждая вершина из имеет степень не более 4, и целое число ; определить, существует ли вершинное покрытие графа размера такое, что порождённый подграф на множестве вершин связен.
Дан граф ; определить, имеет ли вершинное покрытие , удовлетворяющее следующим условиям:
(i) Подграф , порождённый , не имеет изолированных точек.
(ii) Каждая вершина из смежна с вершиной, не принадлежащей .
Полярным представлением КНФ называется двудольный граф , где — множество всех переменных, а — множество всех дизъюнктов в , причём в есть ребро между и тогда и только тогда, когда переменная встречается в дизъюнкте (в виде или ). Докажите следующие утверждения:
имеет планарное полярное представление и выполнима тогда и только тогда, когда .
Существует 3-КНФ формула с планарным полярным представлением и тремя переменными и , такая что выполнима тогда и только тогда, когда .
Существует 3-КНФ формула с планарным полярным представлением и тремя переменными и , такая что выполнима тогда и только тогда, когда . [Указание: .]
Следующая задача, называемая Planar Polar-3Sat, является NP-полной: Дана 3-КНФ формула с планарным полярным представлением; определить, выполнима ли . [Указание: примените к построению тот факт, что и .]
Неполярным представлением КНФ называется граф , множество вершин которого состоит из всех литералов и всех дизъюнктов в , а множество рёбер состоит из всех пар по всем переменным в , а также всех пар литерал-дизъюнкт таких, что встречается в . Докажите следующие утверждения:
Если неполярное представление КНФ-формулы планарно, то её полярное представление также обязательно планарно. Однако обратное не обязательно верно.
Следующая задача, называемая Planar Nonpolar-3Sat, является NP-полной: Дана 3-КНФ формула с планарным неполярным представлением; определить, выполнима ли .
-КНФ — это КНФ, в которой каждый дизъюнкт содержит ровно литералов, а каждая переменная встречается не более чем в дизъюнктах. Задача -Sat — это задача 3SaT, ограниченная -КНФ. Докажите следующие результаты:
При любом каждая -КНФ выполнима.
При любом задача (2, )-SAT полиномиально разрешима. (На самом деле задача 2Sat, являющаяся задачей 3Sat, ограниченной КНФ с не более чем 2 литералами в каждом дизъюнкте, полиномиально разрешима.)
-Sat является -полной.