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

Материал из Викиконспекты

Версия от 13:58, 17 марта 2010; 192.168.0.2 (обсуждение)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Перейти к: навигация, поиск

Определения

Литералом является переменная или отрицание переменной. Например, [math]x[/math] или [math]\neg y[/math].

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=NP-полнота_задачи_о_выполнимости_булевой_формулы_в_форме_КНФ&oldid=285»