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 el supuesto no demostrado generalmente atribuido al valor de las clases de complejidad?