context: Bilinen birçok karmaşıklık sınıfının eşit olmadığından şüphelenilmektedir, ancak bu kanıtlanmamıştır. Örneğin P ⊆ NP ⊆ PP ⊆ PSPACE, ancak P = PSPACE olabilir. P, NP'ye eşit değilse, P de PSPACE'e eşit değildir. P ve PSPACE arasında RP, BPP, PP, BQP, MA, PH, vb. gibi bilinen birçok karmaşıklık sınıfı olduğundan, tüm bu karmaşıklık sınıflarını bir sınıfa daraltması mümkündür. Bu sınıfların herhangi birinin eşit olmadığını kanıtlamak, karmaşıklık teorisinde önemli bir atılım olacaktır.
question: Genellikle karmaşıklık sınıflarının değerine atfedilen kanıtlanmamış varsayım nedir?
answers.text: eşit olmadığından şüphelenilmektedir