कैसे साबित होता है कि ? मैं सिर्फ एक ऐसे ओरेकल टीएम एम और एक पुनरावर्ती भाषा एल ( एम ) = एल की तलाश कर रहा हूं जिसके लिए यह धारण करता है।
मैं सबूत पता है कि तुम कहाँ दिखाए दैवज्ञ है कि वहाँ ऐसी है कि पी ए ≠ एन पी ए और दैवज्ञ एक ऐसी है कि पी ए = एन पी ए । मैं एक संकेत है कि मैं इस तरह के ओरेकल खोजना चाहिए एक का प्रमाण बढ़ा कर पी ए ≠ एन पी ए लेकिन मैं जहाँ भी खोज और पढ़ें, यह "स्पष्ट" या "सरल" हर जगह है, लेकिन मैं अभी नहीं दिख रहा है कि कैसे सब पर यह साबित ।
6
यह स्पष्ट नहीं है कि आपने संकेत पर अनुसरण किया है या नहीं। दुःख हुआ कि हैरान हूँ स्पष्ट है, लेकिन आप (उदाहरण के लिए) में सबूत मिल सकता है कम्प्यूटेशनल जटिलता: एक आधुनिक दृष्टिकोण अरोड़ा और बराक द्वारा।