Изменения

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

Классы NP, coNP, Σ₁, Π₁

6 байт добавлено, 11:59, 9 июня 2012
Нет описания правки
}}
== Примеры языков из NP-языков ==* Язык раскрасок графа в <tex>k</tex> цветов;.* Задача о клике;.* [http://arxiv.org/abs/cs.CC/0210020 Тетрис].
Все эти языки также являются [[Примеры_NP-полных_языков._Теорема_Кука|<tex>\mathrm{NP}</tex>-полными]]. По [[Теорема Ладнера|теореме Ладнера]] существует язык из <tex>\mathrm{NP}</tex>, не являющийся <tex>\mathrm{NP}</tex>-полным.
Анонимный участник

Навигация