के रूप में @Kaveh कहा गया है, इस सवाल का केवल दिलचस्प अगर हम यह मान है ; मेरे जवाब के बाकी हिस्सों को एक धारणा के रूप में लिया जाता है, और ज्यादातर आपकी भूख को और गीला करने के लिए लिंक प्रदान करता है। कि इस धारणा के तहत, Ladner की प्रमेय द्वारा हम जानते हैं कि वहाँ समस्याओं में न तो कर रहे हैं कि पी है और न ही एन पी सी ; इन समस्याओं को N P -intermediate या N P I कहा जाता है । दिलचस्प रूप से पर्याप्त है, इसी तरह की मध्यवर्ती समस्याओं का उत्पादन करने के लिए लैडनर के प्रमेय को कई अन्य जटिलता वर्गों के लिए सामान्यीकृत किया जा सकता है। इसके अलावा, प्रमेय का भी अर्थ है, एक अनंत पदानुक्रम हैP≠NPPNPCNPNPIमध्यवर्ती समस्याएं जो में एक-दूसरे के लिए पाली-टाइम रिड्यूस करने योग्य नहीं हैं ।NPI
दुर्भाग्य से, इस धारणा के साथ भी यह प्राकृतिक समस्याओं होगा provably को खोजने के लिए बहुत मुश्किल है एन पी मैं (बेशक आप कृत्रिम समस्याओं Ladner की प्रमेय के प्रमाण से आ रही है)। इस प्रकार, भले संभालने पी ≠ एन पी इस समय हम केवल विश्वास कर सकते हैं कुछ समस्याओं होने के लिए एन पी रहा है, लेकिन यह साबित नहीं। हम इस तरह के विश्वासों में आते हैं जब हमारे पास यह मानने के लिए उचित सबूत होते हैं कि एक N P समस्या N P C और / या P में नहीं है।P≠NPNPIP≠NPNPINPNPCP; या बस जब यह लंबे समय से अध्ययन किया गया है और किसी भी कक्षा में फिटिंग से बचा जाता है। इस उत्तर में ऐसी समस्याओं की एक बहुत व्यापक सूची है । इसमें फैक्टरिंग, असतत लॉग और ग्राफ-आइसोमोर्फिज्म जैसे सभी समय पसंदीदा शामिल हैं।
दिलचस्प है, इनमें से कुछ समस्याएं (उल्लेखनीय: फैक्टरिंग और असतत लॉग) क्वांटम कंप्यूटरों पर बहुपद समय के समाधान हैं (अर्थात वे )। कुछ अन्य समस्याएं (जैसे ग्राफ-आइसोमॉर्फिज़्म) बी क्यू पी में होने के लिए ज्ञात नहीं हैं , और प्रश्न को हल करने के लिए अनुसंधान चल रहा है। दूसरी ओर, यह संदिग्ध है कि एन पी सी ⊈ बी क्यू पी , इस प्रकार लोग विश्वास नहीं करते हम सैट के लिए एक कुशल क्वांटम एल्गोरिथ्म होगा (हालांकि हम एक द्विघात गति को प्राप्त कर सकते हैं); यह एक दिलचस्प सवाल है कि बी में रहने के लिए किस तरह की संरचना एन पी I समस्याओं की आवश्यकता हैBQPBQPNPC⊈BQPNPIBQP ।