<s>[INST]Şüpheli karmaşıklık sınıflarının eşitsizliğini göstermek için kullanılabilecek bir ifade nedir?[/INST]Bilinen birçok karmaşıklık sınıfının eşit olmadığından şüpheleniliyor, ancak bunun kanıtlanmadı. Ö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ın bir sınıfa çökmesi 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 olacağını.</s>