Muchos creen que . Sin embargo, solo sabemos que está en el segundo nivel de jerarquía polinómica, es decir, . Un paso hacia la muestra es a primera bajarla hasta el primer nivel de la jerarquía de polinomio, es decir, .
La contención significaría que el no determinismo es al menos tan poderoso como la aleatoriedad para el tiempo polinomial.
También significa que si para un problema podemos encontrar las respuestas utilizando algoritmos aleatorizados eficientes (tiempo polinómico), entonces podemos verificar las respuestas de manera eficiente (en tiempo polinómico).
¿Hay alguna consecuencia interesante conocida para ?
¿Hay alguna razón para creer que probar está fuera de alcance en este momento (por ejemplo, barreras u otros argumentos)?