ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण कहां मिल सकता है?
यह प्रश्न आंशिक रूप से मेरे प्रश्न के उत्तर से प्रेरित है "लघु संदेशों के साथ बहु-प्रचलित संवादात्मक प्रमाण के बारे में क्या जाना जाता है?" जो फिट्जिमोंस द्वारा।
मैंने इस प्रश्न को 2 अक्टूबर को math.stackexchange.com पर पोस्ट किया था, लेकिन मुझे कोई जवाब नहीं मिला और इस पोस्ट के बाद गणित पर प्रश्न को हटा दिया गया ।