Siguiendo la sugerencia de Josh Grochow, estoy convirtiendo mi comentario de una pregunta anterior en una nueva pregunta.
¿Qué evidencia tenemos para ?
Aquí, es la clase de lenguajes reconocibles por las máquinas de Turing no deterministas de tiempo polinómico que tienen una ruta de aceptación única en instancias de "sí" y ninguna ruta de aceptación en instancias de "no".