NP-полнота задачи о выполнимости булевой формулы в форме КНФ

Определения

• Литералом является переменная или отрицание переменной. Например, [math]x[/math] или [math]\neg y[/math].
• Дизъюнктом называется логическое ИЛИ одного или нескольких литералов. Например, [math]x \vee \neg y \vee z[/math]
• Говорят, что формула записана в конъюнктивной нормальной форме (КНФ), если представляет собой логическое И дизъюнктов.

Определение

[math]CNFSAT = \{\phi \ |\ \phi [/math] в КНФ, [math]\phi \in [/math] SAT [math] \} [/math] — задача о выполнимости булевой формулы в форме КНФ.

Теорема

[math] CNFSAT \in NPC. [/math]

Доказательство

Для доказательства теоремы необходимо установить два факта:

• [math] CNFSAT \in NP [/math]
• [math] CNFSAT \in NPH [/math]

Доказательство принадлежности классу NP

В качестве сертификата выберем набор литералов [math]\{y_1, ...,y_n\}[/math], представляющий собой набор из нулей и единиц. Верификатору останется подставить эти значения в качестве аргументов в формулу [math]\phi(x_1, ..., x_n)[/math] и проверить, выдает ли она единицу. Длина сертификата и время работы верификатора, очевидно, удовлетворяют условиям полиномиальности.