Task: Question Generation
Input (Spanish): Se sospecha, aunque no ha sido demostrado, que muchas clases de complejidad conocidas pueden ser desiguales. Por ejemplo: P ⊆ NP ⊆ PP ⊆ PSPACE, aunque es posible que P = PSPACE. En el caso de que P no sea igual a NP, entonces P tampoco será igual a PSPACE. Dada la existencia de tantas clases de complejidad conocidas entre P y PSPACE como RP, BPP, PP, BQP, MA, PH, etc. es posible que todas estas clases converjan en una sola. Conseguir probar que alguna de estas clases es desigual supondría un gran descubrimiento en la teoría de la complejidad.
Output (Spanish): ¿Cuál es la secuencia que puede utilizarse para ilustrar esta sospechada desigualdad de las clases de complejidad?