context:許多已知的複雜性類都被懷疑是不相等的，但這一點尚未得到證實。例如，P ⊆ NP ⊆ PP ⊆ PSPACE，但也有可能 P = PSPACE。如果 P 不等於 NP，那麼 P 也不等於 PSPACE。由於在 P 和 PSPACE 之間有許多已知的複雜性類，如 RP、BPP、PP、BQP、MA、PH 等，所有這些複雜性類都有可能分解為一個類。證明任何這些類不相等都將是複雜性理論的重大突破。question:關於複雜性類之間的哪些證據將意味著複雜性理論在理論上的分水嶺？
context:許多已知的複雜性類都被懷疑是不相等的，但這一點尚未得到證實。例如，P ⊆ NP ⊆ PP ⊆ PSPACE，但也有可能 P = PSPACE。如果 P 不等於 NP，那麼 P 也不等於 PSPACE。由於在 P 和 PSPACE 之間有許多已知的複雜性類，如 RP、BPP、PP、BQP、MA、PH 等，所有這些複雜性類都有可能分解為一個類。證明任何這些類不相等都將是複雜性理論的重大突破。question:關於複雜性類之間的哪些證據將意味著複雜性理論在理論上的分水嶺？
證明任何這些類不相等
資訊抽取
問答