कई ज्ञात जटिलता वर्ग के असमान होने का संदेह है, लेकिन यह साबित नहीं हुआ है। उदाहरण के लिए P ⊆ NP ⊆ PP ⊆ PSPACE, लेकिन यह संभव है कि P = PSPACE। यदि P, NP के बराबर नहीं है, तो P, PSPACE के बराबर भी नहीं है। चूँकि P और PSPACE के बीच कई ज्ञात जटिलता वर्ग हैं, जैसे RP, BPP, PP, BQP, MA, PH, इत्यादि, यह संभव है कि ये सभी जटिलता वर्ग एक वर्ग में सम्मिलित हों। इनमें से कोई भी वर्ग असमान है यह साबित करना जटिलता सिद्धांत में एक बड़ी सफलता होगी।
के असमान
कई ज्ञात जटिलता वर्ग के असमान होने का संदेह है, लेकिन यह साबित नहीं हुआ है। उदाहरण के लिए P ⊆ NP ⊆ PP ⊆ PSPACE, लेकिन यह संभव है कि P = PSPACE। यदि P, NP के बराबर नहीं है, तो P, PSPACE के बराबर भी नहीं है। चूँकि P और PSPACE के बीच कई ज्ञात जटिलता वर्ग हैं, जैसे RP, BPP, PP, BQP, MA, PH, इत्यादि, यह संभव है कि ये सभी जटिलता वर्ग एक वर्ग में सम्मिलित हों। इनमें से कोई भी वर्ग असमान है यह साबित करना जटिलता सिद्धांत में एक बड़ी सफलता होगी।