<s>[INST]Karmaşıklık sınıfları arasındaki ve içindeki hangi kanıtlar, karmaşıklık teorisi için teorik bir havzayı işaret eder?[/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 büyük bir atılım olacaktır.</s>