क्वांटम कम्प्यूटिंग थ्योरी के लिए आरोनसन की सूची टेन सेमी-ग्रैंड चैलेंज में निम्नलिखित समस्या दिखाई देती है ।
है दूसरे शब्दों में, किसी भी क्वांटम एल्गोरिथ्म के "क्वांटम" भाग के लिए संकुचित किया जा सकता है गहराई, हम करने के लिए तैयार polynomial- प्रदान की समय शास्त्रीय पोस्टप्रोसेसिंग? (यह शोर के एल्गोरिथ्म के लिए सच होने के लिए जाना जाता है।) यदि ऐसा है, तो एक सामान्य-उद्देश्य क्वांटम कंप्यूटर का निर्माण आमतौर पर माना जाता है की तुलना में बहुत आसान होगा! संयोग से, बी क्यू पी और बी पी पी के बीच एक अलंकृत अलगाव देना मुश्किल नहीं है , लेकिन सवाल यह है कि क्या इस तरह के एक तात्कालिक "तात्कालिकता" का कोई ठोस कार्य है।
जोजसा द्वारा यह अनुमान लगाया गया है कि प्रश्न का उत्तर 'क्वांटम गणना के माप आधारित मॉडल' में हां है: "जहां स्थानीय माप, अनुकूली स्थानीय द्वार और कुशल शास्त्रीय पोस्ट-प्रोसेसिंग की अनुमति है। इस संबंधित पोस्ट को भी देखें ।
प्रश्न । मैं इस वर्गों के बीच वर्तमान में ज्ञात अलौकिक अलगाव के बारे में जानना चाहता हूं (या, कम से कम, अलंकृत जुदाई जिसके लिए आरोनसन का जिक्र है)।