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


12

कैसे साबित होता है कि ? मैं सिर्फ एक ऐसे ओरेकल टीएम एम और एक पुनरावर्ती भाषा एल ( एम ) = एल की तलाश कर रहा हूं जिसके लिए यह धारण करता है।NPAcoNPAML(M)=L

मैं सबूत पता है कि तुम कहाँ दिखाए दैवज्ञ है कि वहाँ ऐसी है कि पीएन पी और दैवज्ञ एक ऐसी है कि पी = एन पी । मैं एक संकेत है कि मैं इस तरह के ओरेकल खोजना चाहिए एक का प्रमाण बढ़ा कर पीएन पी लेकिन मैं जहाँ भी खोज और पढ़ें, यह "स्पष्ट" या "सरल" हर जगह है, लेकिन मैं अभी नहीं दिख रहा है कि कैसे सब पर यह साबित ।APANPAAPA=NPAAPANPA


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

जवाबों:


9

coNP

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

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

MiA0mmMimMimMiAmMiA

MicoNPPMiALAMiAMincoNPmA

ADSpace(nω(1))


हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.