Ko'pgina mashhur murakkablik sinflari tengsiz deb gumon qilinib, ammo bu isbotlanmagan. Masalan, P  NP  PP  PSPACE, ammo P = PSPACE bo'lishi mumkin. Agar P NP ga teng bo'lmasa, u holda P PSPACE ga teng bo'lmaydi. Chunki P va PSPACE o'rtasida RP, BPP, PP, BQP, MA, PH va boshqalar kabi ko'plab mashhur murakkablik sinflari mavjud. e, ehtimol bu murakkablik sinflari bir sinfga birlashadi. Ushbu sinflarning har biri teng emasligini isbotlash murakkablik nazariyasida katta yutuq bo'ladi.
RP, BPP, PP, BQP, MA va PH murakkabligi sinflari qaerda joylashishi mumkin?
P va PSPACE o'rtasida