怀疑许多已知的复杂度类不相等，但这尚未得到证明。例如P⊆NP⊆PP⊆PSPACE，但是P \u003d PSPACE可能。如果P不等于NP，那么P也不等于PSPACE。由于P和PSPACE之间有许多已知的复杂度类别，例如RP，BPP，PP，BQP，MA，PH等，因此所有这些复杂度类别有可能崩溃为一个类别。证明所有这些类都不相等，将是复杂性理论的重大突破。
什么是可用来说明复杂性类的可疑不平等的表达式？