Изменения

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

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

2 байта добавлено, 13:58, 17 марта 2010
Нет описания правки
====ОпределениеОпределения====* ''Литералом'' является переменная или отрицание переменной. Например, <tex>x<\/tex> или <tex>\neg y<\/tex>.
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/285»

Навигация