Изменения

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

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

27 байт добавлено, 19:28, 4 сентября 2022
м
rollbackEdits.php mass rollback
Теорема доказана.
 
[[Категория:NP]]
Maintenance script
1632
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/558...85269»

Навигация