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.
Apa yang tidak mungkin untuk kelas kompleksitas RP, BPP, PP, BQP, MA, dan PH?
ada kemungkinan bahwa semua kelas kompleksitas ini runtuh ke satu kelas
semua kelas kompleksitas ini runtuh ke satu kelas
Apa PRI
yang PRR
tidak NEG
mungkin ADV
untuk PPO
kelas NNO
kompleksitas NNO
RP NNO
, PUN
BPP NNO
, PUN
PP NNP
, PUN
BQP NNP
, PUN
MA NNP
, PUN
dan CCN
PH NNO
? PUN