Si contiene una clase de problemas de tiempo superpolinomial, es decir
para alguna función , ,
entonces, si se sigue del teorema de la jerarquía de tiempo determinista que .
Pero, ¿hay otras consecuencias interesantes no triviales (es decir, no una consecuencia de ) si el no determinismo puede acelerar los cálculos deterministas?
Respuestas:
Encontré una consecuencia relacionada.
Digamos que contiene , donde . Resulta que este es el tiempo suficiente para diagonalizar contra . Específicamente, construya la siguiente máquina:D T I M E ( 2 O ( t ) ) t = n ω ( 1 ) P / p o l ynortemiXPAGS D TyoMETROmi( 2O ( t )) t = nω ( 1 ) PAGS/ poly
En la entrada de longitud , considere el máquina de Turing . Para cada posible cadena de consejos de longitud y cada posible cadena de bits de longitud , ejecute en con el consejo , y rechace después de pasos si aún no ha aceptado. Registre sus resultados en una tabla. Este procedimiento se ejecuta en .n n t h M t b n M b a t D T I M E ( 2 O ( t ) )X norte nortet h METRO t si norte METRO si una t D TyoMETROmi( 2O ( t ))
En la entrada , si al menos la mitad de las cadenas de aviso hacen que rechace, entonces en su lugar definimos que es correcto que nuestro algoritmo lo acepte (de lo contrario, es correcto que nuestro algoritmo lo rechace). Las cadenas de consejos que causaron que se equivoque (es decir, al menos la mitad de las cadenas de consejos) ahora se eliminan de la tabla. Luego repetimos el proceso en la entrada : si al menos la mitad de las cadenas de consejos supervivientes hacen que rechace, entonces nuestro algoritmo aceptará (y rechazará lo contrario). Continúe así para todas las entradas de longitud (aunque realmente, solo0 0norte METRO METRO 0 0norte 0 0n - 11 METRO norte t de ellos son necesarios, después de tantas entradas, hemos descartado todas las cadenas de consejos posibles).
Claramente, este lenguaje se puede decidir en , que asumimos que está en . Por otro lado, no puede estar en : el conjunto de entradas de longitud diagonaliza contra la perspectiva de que se use para decidir el idioma.D TyoMETROmi( 2O ( t )) nortemiXPAGS PAGS/ Po l y M nnorte METROnorte
Entonces obtenemos , lo que sería interesante.nortemiXPAGS⊄ P/ poly
Dejaré la pregunta abierta en caso de que a alguien se le ocurra algo más.
fuente