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