NP को coNP से अलग करने के लिए एक oracle

12

कैसे साबित होता है कि ? मैं सिर्फ एक ऐसे ओरेकल टीएम और एक पुनरावर्ती भाषा तलाश कर रहा हूं जिसके लिए यह धारण करता है। $\mathsf{NP}^A \neq \mathsf{coNP}^A$ $M$ $L(M) = L$

मैं सबूत पता है कि तुम कहाँ दिखाए दैवज्ञ है कि वहाँ ऐसी है कि और दैवज्ञ ऐसी है कि । मैं एक संकेत है कि मैं इस तरह के ओरेकल खोजना चाहिए का प्रमाण बढ़ा कर लेकिन मैं जहाँ भी खोज और पढ़ें, यह "स्पष्ट" या "सरल" हर जगह है, लेकिन मैं अभी नहीं दिख रहा है कि कैसे सब पर यह साबित । $A$ $\mathsf{P}^A \neq \mathsf{NP}^A$ $A$ $\mathsf{P}^A = \mathsf{NP}^A$ $A$ $\mathsf{P}^A \neq \mathsf{NP}^A$

complexity-theory relativization

— stewenson
स्रोत

6

यह स्पष्ट नहीं है कि आपने संकेत पर अनुसरण किया है या नहीं। दुःख हुआ कि हैरान हूँ

स्पष्ट है, लेकिन आप (उदाहरण के लिए) में सबूत मिल सकता है कम्प्यूटेशनल जटिलता: एक आधुनिक दृष्टिकोण अरोड़ा और बराक द्वारा।

P^{A} \neq N P^{A}

$P^A \neq NP^A$

9

$\mathsf{coNP}$

मैं नीचे आवश्यक संशोधन के बारे में बताऊंगा, लेकिन पहले मूल प्रमाण पर एक संक्षिप्त दृष्टिकोण रखना चाहिए।

$A=\bigcup_n A_n$ $i$ $i$ $\mathsf{P}$ $M_i$ $\{x \mid \exists y\in A \ |x|=|y| \}$ $\mathsf{NP}^A$

$M_i$ $A$ $0^m$ $m$ $M_i$ $m$ $M_i$ $m$ $M_i$ $A$ $m$ $M_i^A$

$M_i$ $\mathsf{coNP}$ $\mathsf{P}$ $M_i^A$ $L$ $A$ $M_i$ $A$ $M_i$ $n$ $\mathsf{coNP}$ $m$ $A$

$A$ $\mathsf{DSpace}(n^{\omega(1)})$

— कावेह
स्रोत

3

$P^A = NP^A$ $P^B \not= NP^B$ $A$ $B$

— विन्सेंट रूसो
स्रोत