Có nhiều lớp độ phức tạp được nghi ngờ là khác nhau những vẫn chưa được chứng minh. Ví dụ như P ⊆ NP ⊆ PP ⊆ PSPACE và hoàn toàn có thể P=PSPACE. Nếu P không bằng NP thì P không bằng PSPACE. Do có rất nhiều lớp độ phức tạp giữa P và PSPACE, chẳng hạn như RP, BPP, PP, BQP, MA, PH, v.v., hoàn toàn có thể là tất cả các lớp độ phức tạp này đều bằng nhau. Chứng minh bất kì hai lớp nào trong số các lớp này là khác nhau sẽ là một bước tiến lớn trong lý thuyết độ phức tạp.

Từ đoạn văn trên, một câu hỏi hợp lý với "Chứng minh bất kì hai lớp nào trong số các lớp này là khác nhau" như câu trả lời sẽ là:
Bằng chứng nào giữa hai và các lớp độ phức tạp sẽ biểu thị một bước ngoặt lý thuyết cho lý thuyết độ phức tạp?