Wat is een uitdrukking die kan worden gebruikt om het vermoede in gelijkheid van complexiteitsklassen te illustreren?
Van veel bekende complexiteitsklassen wordt vermoed dat ze ongelijk zijn, maar dit is niet bewezen. Bijvoorbeeld P ⊆ NP ⊆ PP ⊆ PSPACE, maar het is mogelijk dat P = PSPACE. Als P niet gelijk is aan NP, dan is P ook niet gelijk aan PSPACE. Aangezien er veel bekende complexiteitsklassen zijn tussen P en PSPACE, zoals RP, BPP, PP, BQP, MA, PH, enz., is het mogelijk dat al deze complexiteitsklassen samenvallen tot één klasse. Bewijzen dat een van deze klassen ongelijk is, zou een grote doorbraak zijn in de complexiteitstheorie.