Изменения

Перейти к: навигация, поиск
Теорема
== Теорема ==
<tex> CNFSAT \in NPC </tex>, то есть задача принадлежит классу [[NP-полнота|NP-полных]] задач.
== Доказательство ==
Анонимный участник

Навигация