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. Buning har qanday sinfi teng emasligini isbotlash murakkablik nazariyasida katta yutuq bo'ladi.
Murakkablik sinflari o'rtasidagi va o'rtasidagi qanday dalillar murakkablik nazariyasi uchun nazariy suv ajralishini anglatadi?
Buning har qanday sinfi teng emasligini isbotlash