7.4

Дополнительные NP-полные задачи

[12/58%]
Показать
LaTeX
Пример 7.36

Остаётся ли задача VC NP-полной, если каждое ребро должно покрываться ровно одной вершиной?

?
Пример 7.37

Докажите, что MCG является NP-полной.

?
Пример 7.38

Partition является NP-полной.

?
Пример 7.39

Knapsack является NP-полной.

?
Пример 7.40

BP является NP-полной.

?
Пример 7.41

Покажите, что следующая задача является NP-полной: Даны положительные целые числа a1,,ana_{1}, \ldots , a_{n}; определить, выполняется ли

02π(i=1ncos(ait))dt0 \int _{0}^{2 \pi }\left(\prod _{i=1}^{n} \cos \left(a_{i} t\right)\right) d t \neq 0
?
Пример 7.42

SMT является NP-полной.

?
Задача 7.4.1

Для каждой из следующих задач определите, является ли она NP\mathrm{NP}-полной или принадлежит PP. Если она NP\mathrm{NP}-полна, найдите сведение от известной NP\mathrm{NP}-полной задачи к ней. Если она принадлежит PP, найдите для неё полиномиальный алгоритм.

?
(a)

Даны граф GG, две вершины ss и tt в GG и положительное целое число kk; определить, существует ли между ss и tt путь длины не более kk.

(b)

Даны граф GG, две вершины ss и tt в GG и положительное целое число kk; определить, существует ли между ss и tt путь длины не менее kk.

(c)

Дан ориентированный граф GG; определить, содержит ли GG цикл нечётной длины.

(d)

Дан ориентированный граф GG; определить, содержит ли GG цикл чётной длины.

(e)

Дан граф GG; определить, содержит ли GG цикл нечётной длины.

(f)

Даны полный граф GG с весами на рёбрах, три подмножества вершин X1,X2X_{1}, X_{2}, X3X_{3} и положительное целое число kk; определить, существует ли подграф HH графа GG веса k\leq k, содержащий остовное дерево для каждого из X1,X2X_{1}, X_{2} и X3X_{3}. (Остовным деревом для подмножества XVX \subseteq V называется связный подграф HH графа GG на множестве вершин XX, не содержащий циклов.)

(g)

Даны граф G=(V,E)G=(V, E) и положительное целое число kk; определить, существует ли подмножество TET \subseteq E из не более чем kk рёбер, такое что каждая вершина из VV инцидентна хотя бы одному ребру из TT.

(h)

Неэквивалентность регулярных выражений: Даны два регулярных выражения r1r_{1} и r2r_{2} без операции звезды Клини; определить, выполняется ли L(r1)L(r2)L\left(r_{1}\right) \neq L\left(r_{2}\right).

(i)

Ограниченная PCP (см. упражнение 7(d) раздела 7.1).

(j)

Ограниченное замощение (Bounded Tiling) (см. упражнение 7(e) раздела 7.1).

Задача 7.4.2

Докажите, что следующие варианты задачи VC являются NP\mathrm{NP}-полными:

?
(a)

Planar VC: задача VC, ограниченная планарными графами. (Планарным графом называется граф, который можно нарисовать на двумерной плоскости так, что никакие два ребра не пересекаются в точке, не являющейся вершиной.)

(b)

Cubic VC: задача VC, ограниченная кубическими графами. (Кубическим графом называется граф, в котором каждая вершина имеет степень три.)

(c)

Planar Connected-VC-4: Даны планарный граф G=(V,E)G=(V, E), в котором каждая вершина из VV имеет степень не более 4, и целое число k>0k>0; определить, существует ли вершинное покрытие CC графа GG размера kk такое, что порождённый подграф GC\left.G\right|_{C} на множестве вершин CC связен.

(d)

Дан граф GG; определить, имеет ли GG вершинное покрытие CC, удовлетворяющее следующим условиям:

(i) Подграф GC\left.G\right|_{C}, порождённый CC, не имеет изолированных точек.

(ii) Каждая вершина из CC смежна с вершиной, не принадлежащей CC.

Задача 7.4.3

Полярным представлением КНФ FF называется двудольный граф GF=(V1,V2,E)G_{F}= \left(V_{1}, V_{2}, E\right), где V1V_{1} — множество всех переменных, а V2V_{2} — множество всех дизъюнктов в FF, причём в EE есть ребро между xiV1x_{i} \in V_{1} и cjV2c_{j} \in V_{2} тогда и только тогда, когда переменная xix_{i} встречается в дизъюнкте cjc_{j} (в виде xix_{i} или xˉi\bar{x}_{i}). Докажите следующие утверждения:

?
(a)

(x+y+zˉ)(xˉ+z+w)(xˉ+z+wˉ)(yˉ+z+u)(yˉ+z+uˉ)(x+y+\bar{z})(\bar{x}+z+w)(\bar{x}+z+\bar{w})(\bar{y}+z+u)(\bar{y}+z+\bar{u}) имеет планарное полярное представление и выполнима тогда и только тогда, когда x+y=zx+y=z.

(b)

Существует 3-КНФ формула FF с планарным полярным представлением и тремя переменными x,yx, y и zz, такая что FF выполнима тогда и только тогда, когда xy=zx y=z.

(c)

Существует 3-КНФ формула FF с планарным полярным представлением и тремя переменными x,yx, y и zz, такая что FF выполнима тогда и только тогда, когда xy=zx \oplus y=z. [Указание: xy=x(xˉ+yˉ)+(xˉ+yˉ)yx \oplus y=x(\bar{x}+\bar{y})+(\bar{x}+\bar{y}) y.]

(d)

Следующая задача, называемая Planar Polar-3Sat, является NP-полной: Дана 3-КНФ формула FF с планарным полярным представлением; определить, выполнима ли FF. [Указание: примените к построению тот факт, что x(xy)=yx \oplus (x \oplus y)=y и (xy)y=x(x \oplus y) \oplus y=x.]

Задача 7.4.4

Неполярным представлением КНФ FF называется граф GF=(V,E)G_{F}=(V, E), множество вершин VV которого состоит из всех литералов и всех дизъюнктов в FF, а множество рёбер EE состоит из всех пар {x,xˉ}\left\{ x, \bar{x}\right\} по всем переменным xx в FF, а также всех пар литерал-дизъюнкт {z,c}\left\{ z, c\right\} таких, что zz встречается в cc. Докажите следующие утверждения:

?
(a)

Если неполярное представление КНФ-формулы FF планарно, то её полярное представление также обязательно планарно. Однако обратное не обязательно верно.

(b)

Следующая задача, называемая Planar Nonpolar-3Sat, является NP-полной: Дана 3-КНФ формула FF с планарным неполярным представлением; определить, выполнима ли FF.

Задача 7.4.5

(k,)(k, \ell )-КНФ FF — это КНФ, в которой каждый дизъюнкт содержит ровно kk литералов, а каждая переменная встречается не более чем в \ell дизъюнктах. Задача (k,)(k, \ell )-Sat — это задача 3SaT, ограниченная (k,)(k, \ell )-КНФ. Докажите следующие результаты:

?
(a)

При любом k>0k>0 каждая (k,k)(k, k)-КНФ FF выполнима.

(b)

При любом >0\ell >0 задача (2, \ell)-SAT полиномиально разрешима. (На самом деле задача 2Sat, являющаяся задачей 3Sat, ограниченной КНФ с не более чем 2 литералами в каждом дизъюнкте, полиномиально разрешима.)

(c)

(3,4)(3,4)-Sat является NP\mathrm{NP}-полной.