Оракул, чтобы отделить NP от coNP


12

Как доказать, что ? Я просто ищу такого оракула TM M и рекурсивный язык L ( M ) = L, для которого это верно.NPAcoNPAML(M)=L

Я знаю , что доказательство , где вы показываете , что существует оракул такое , что PN P и оракул такое , что P = N P . У меня есть подсказка, что я должен найти такого оракула А , расширив доказательство P AN P A, но везде, где я ищу и читаю, это «очевидно» или «просто» везде, но я просто не вижу, как это доказать ,APANPAAPA=NPAAPANPA


6
Непонятно, следили ли вы за подсказкой. Я удивлен, узнав, что очевидна, но вы можете найти доказательство в (например) Вычислительной сложности: современный подход Ароры и Барака. PANPA

Ответы:


9

coNP

Ниже я объясню требуемую модификацию, но сначала давайте кратко рассмотрим исходное доказательство.

A=nAniiPMi{xyA |x|=|y|}NPA

MiA0mmMimMimMiAmMiA

MicoNPPMiALAMiAMincoNPmA

ADSpace(nω(1))


Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.