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