- Класс co-NP
-
В теории алгоритмов часто рассматривается класс, тесно связанный с P и NP, — класс дополнений языков из NP, называемый co-NP.
Формальное определение
Класс сложности co-NP определяется для множества языков, то есть множеств слов над конечным алфавитом . Язык принадлежит классу co-NP, если существует детерминированная машина Тьюринга M и некоторый полином p такие, что .
Отношения класса NP с другими классами
Этот раздел статьи ещё не написан. Согласно замыслу одного из участников Википедии, на этом месте должен располагаться специальный раздел.
Вы можете помочь проекту, написав этот раздел.Cчитаются лёгкими P • L • NL • AC • NC • P-complete • BQP • BPP • RP • ZPP Предпологаются сложными NP (co-NP • NP-complete • co-NP-complete ) • UP • #P (#P-complete ) • IP • PSPACE (PSPACE-complete) • R • PP • AM Cчитаются сложными EXPTIME • NEXPTIME • EXPSPACE • 2-EXPTIME • PR • RE • Co-RE • RE-complete • Co-RE-complete • PH Список алгоритмов Категория:- Классы сложности
Wikimedia Foundation. 2010.