Defina - como la clase de lenguajes modo que haya un lenguaje y para infinitamente , y estén de acuerdo en todos los casos de longitud . (Es decir, esta es la clase de lenguajes que se puede "resolver infinitamente, en tiempo subexponencial").
(Estoy haciendo preguntas separadas aquí, porque tenemos que tener cuidado con las clases de tiempo infinitamente frecuentes: solo porque tiene una reducción del problema al problema y es solucionable infinitamente a menudo, es posible que no obtenga que sea solucionable infinitamente a menudo sin más suposiciones sobre la reducción: ¿qué pasa si su reducción de "pierde" las longitudes de entrada en las que puede resolver ?)