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

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

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

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

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

Определение

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

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