Banyak kelas kompleksitas yang diketahui diduga tidak sama, tetapi ini belum terbukti. Misalnya P ⊆ NP ⊆ PP ⊆ PSPACE, tetapi ada kemungkinan bahwa P = PSPACE. Jika P tidak sama dengan NP, maka P juga tidak sama dengan PSPACE. Karena ada banyak kelas kompleksitas yang diketahui antara P dan PSPACE, seperti RP, BPP, PP, BQP, MA, PH, dll., Mungkin saja semua kelas kompleksitas ini runtuh ke satu kelas. Membuktikan bahwa salah satu dari kelas-kelas ini tidak setara akan menjadi terobosan besar dalam teori kompleksitas.
Di mana letak kompleksitas kelas RP, BPP, PP, BQP, MA, dan PH?
antara P dan PSPACE
antara P dan PSPACE
Di PPO
mana ADV
letak NNO
kompleksitas NNO
kelas NNO
RP NNO
, PUN
BPP NNO
, PUN
PP NNP
, PUN
BQP NNP
, PUN
MA NNP
, PUN
dan CCN
PH NNP
? PUN