Көптеген белгілі күрделілік сыныптары тең емес деп күтіледі, бірақ бұл дәлелденген жоқ. Мысалы, P  NP  PP  PSPACE, бірақ P = PSPACE болуы мүмкін. Егер P NP-ге тең болмаса, онда P PSPACE-ге тең болмайды. Өйткені көптеген белгілі күрделілік сыныптары бар P мен PSPACE арасында, мысалы RP, BPP, PP, BQP, MA, PH және т.б. д, мүмкін, осы күрделілік сыныптарының барлығы бір сыныпқа біріктіріледі. Осы сыныптардың кез келгенінің тең емес екенін дәлелдеу күрделілік теориясындағы үлкен жетістік болар еді.
RP, BPP, PP, BQP, MA және PH күрделілік сыныптары қайда орналасуы мүмкін?
P мен PSPACE арасында