Proving that any of these classes are unequal would be a major breakthrough in complexity theory.
Chứng minh bất kì hai lớp nào trong số đó là khác nhau sẽ là một bước tiến lớn trong lý thuyết độ phức tạp.