ओरेकल जिसके सापेक्ष

Question

ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण कहां मिल सकता है?$X$$\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$$\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

यह प्रश्न आंशिक रूप से मेरे प्रश्न के उत्तर से प्रेरित है "लघु संदेशों के साथ बहु-प्रचलित संवादात्मक प्रमाण के बारे में क्या जाना जाता है?" जो फिट्जिमोंस द्वारा।

मैंने इस प्रश्न को 2 अक्टूबर को math.stackexchange.com पर पोस्ट किया था, लेकिन मुझे कोई जवाब नहीं मिला और इस पोस्ट के बाद गणित पर प्रश्न को हटा दिया गया ।

Comments

शायद यह मदद करता है? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— एलेसेंड्रो

@Alessandro: धन्यवाद, यह बहुत प्रासंगिक लगता है। मैं इसकी जांच करूंगा।

— त्सुयोशी इतो

कॉम्प्लेक्सिटी ज़ू प्रविष्टि की लिंक उत्तर के संपादन में खो गई। यहाँ यह @MarcosVillagra के अनुरोध के बाद अपडेट किया गया है: qwiki.stanford.edu/index.php/Complexity_Zoo:D#delta2p

— Alessandro Cosentino

Answer 1

1983 में ओरेकल स्टॉकमेयेर में वापस चला गया । हेलर ने मजबूत परिणाम दिया कि: एक relativized दुनिया में 1986 में। Karpiniski और Verbeek (टिप्पणियों में उल्लिखित) नर्क के परिणाम को दोहराते हैं ।$BPP = EXP^{NP}$

Comments

इसे नीचे करने के लिए धन्यवाद। मैं एक या दो दिन प्रतीक्षा करूंगा और तब तक स्वीकार करूंगा जब तक कि कुछ भी आश्चर्यचकित न हो।

— त्सुयोशी इतो

यह अच्छा होगा यदि कोई जटिलता चिड़ियाघर में प्रवेश को अपडेट करता है। मैं यह कर सकता था, लेकिन मुझे नहीं पता कि कैसे।

— मार्कोस विलगरा

@MarcosVillagra शायद ग्रेग कुपरबर्ग को ईमेल करें?

— सुरेश वेंकट

@ सुरेश वेंकट का मतलब अगर कॉम्प्लेक्सिटी जूलॉजी से है, तो दुर्भाग्य से यह पब्लिक विकी नहीं है। यदि आपका मतलब कॉम्प्लेक्सिटी जू से है, तो मैंने पहले ही इसे अपडेट कर दिया है।

— एलेसेंड्रो कोसेंटिनो