Banyak kelas kompleksitas yang dikenal dicurigai tidak sama, tetapi hal ini belum terbukti. Sebagai contoh P ° NP PP PSPACE, tetapi ada kemungkinan P = PSPACE. Jika P tidak sama dengan NP, maka P tidak sama dengan PSPACE baik. Karena ada banyak kelas kompleksitas yang dikenal antara P dan PSPACE, seperti RP, BPP, PP, BQP, MA, PH, dll, mungkin bahwa semua kelas-kelas kompleksitas ini runtuh ke satu kelas. Membuktikan bahwa salah satu dari kelas-kelas ini tidak merata akan menjadi terobosan besar dalam teori kompleksitas.
Apa asumsi yang tidak terbukti secara umum dianggap sebagai nilai dari kelas - kelas yang rumit?
dicurigai tidak sama tidak sama Banyak kelas kompleksitas yang dikenal dicurigai tidak sama