Một biểu thức mà caan được sử dụng để minh hoạ nghi ngờ về sự bình đẳng của các lớp phức tạp là gì?
Nhiều lớp độ phức tạp đã biết bị nghi ngờ là không bằng nhau, nhưng điều này chưa được chứng minh. Ví dụ P ⊆ NP ⊆ PP ⊆ PSPACE, nhưng có thể P = PSPACE. Nếu P không bằng NP, thì P cũng không bằng PSPACE. Vì có nhiều lớp độ phức tạp đã biết giữa P và PSPACE, như RP, BPP, PP, BQP, MA, PH, v. v., có thể tất cả các lớp độ phức tạp này đều sụp đổ thành một lớp. Chứng minh rằng bất kỳ lớp nào trong số này là không bằng nhau sẽ là một bước đột phá lớn trong lý thuyết độ phức tạp.