Меню Главная Случайная статья Настройки Класс co-NP Материал из https://ru.wikipedia.org В теории алгоритмов часто рассматривается класс, тесно связанный с P и NP, — класс дополнений языков из NP, называемый co-NP. Формальное определение Класс сложности co-NP определяется для множества языков, то есть множеств слов над конечным алфавитом ${\displaystyle \Sigma }$. Язык ${\displaystyle L\subseteq \Sigma ^{*}}$ принадлежит классу co-NP, если существует детерминированная машина Тьюринга M и некоторый полином p такие, что ${\displaystyle L=\{x\in \Sigma ^{*}:\forall y,|y|<p(|x|)M(x,y)=0\}}$. Отношения класса NP с другими классами Литература Томас Х. Кормен и др. Алгоритмы: построение и анализ = Introduction to Algorithms. — 2-е изд. — М.: «Вильямс», 2006. — 1296 с. — ISBN 0-07-013151-1.