Изменения

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

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

130 байт добавлено, 14:55, 17 марта 2010

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

* <tex> CNFSAT \in NP </tex>

* <tex> CNFSAT \in NPH </tex>

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

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/313»