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


12

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

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

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


6
शायद यह मदद करता है? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf
एलेसेंड्रो

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

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

जवाबों:


18

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


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

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

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

5
@ सुरेश वेंकट का मतलब अगर कॉम्प्लेक्सिटी जूलॉजी से है, तो दुर्भाग्य से यह पब्लिक विकी नहीं है। यदि आपका मतलब कॉम्प्लेक्सिटी जू से है, तो मैंने पहले ही इसे अपडेट कर दिया है।
एलेसेंड्रो कोसेंटिनो
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.