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

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

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

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

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

Определение

Литералом является переменная или отрицание переменной. Например, <tex>x<\tex> или <tex>\neg y<\tex>.

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