2
NP को coNP से अलग करने के लिए एक oracle
कैसे साबित होता है कि ? मैं सिर्फ एक ऐसे ओरेकल टीएम एम और एक पुनरावर्ती भाषा एल ( एम ) = एल की तलाश कर रहा हूं जिसके लिए यह धारण करता है।NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L मैं सबूत पता है कि तुम कहाँ दिखाए दैवज्ञ है कि वहाँ …