Изменения

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

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

27 байт добавлено, 01:01, 11 октября 2019

Нет описания правки

Теорема доказана.

[[Категория:NP]]

202

правки

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