El teorema de la jerarquía del tiempo establece que las máquinas de Turing pueden resolver más problemas si tienen (suficiente) más tiempo. ¿Se mantiene de alguna manera si el espacio está limitado asintóticamente? ¿Cómo se relaciona con si crece lo suficientemente rápido?
Estoy especialmente interesado en el caso que , y .
En particular, consideraba el siguiente lenguaje:
Sin embargo, podría decidirse en pasos utilizando espacio.
Sin limitar a cuatro símbolos de cinta y permitir así comprimir celdas en celdas, obtenemos problemas de espacio al simular una con demasiados símbolos de cinta. En este caso, el idioma ya no está en . Lo mismo sucede cuando se configura para algunas que se pueden calcular lo suficientemente rápido.
Esta pregunta es básicamente una reformulación de mi pregunta aquí .
Editar resumen: modificado ( s ( n ) ) ∩ DTIME ( f ( n ) ) a DTISP ( f ( n ) , s ( n ) ) , sin embargo, creo que vale la pena pensar en la intersección.
Respuestas:
En particular (bajo la hipótesis), la existencia de una asignación satisfactoria para circuitos con entradas y tamaño sirve como contraejemplo a la igualdad de las clases.⌊lg(f1+ε/2)⌋ (logf)O(1)
Notas:
CIRCUIT-SAT es al menos tan duro como -SAT (que se usa en la hipótesis del tiempo exponencial fuerte).k
Por convención, en CIRCUIT-SAT, es el número de cables de entrada; el tamaño del circuito es .n nO(1)
Si la suposición utiliza CIRCUIT-SAT para tamaños de circuito cuasilineales, entonces el límite en se puede relajar a . Además, los supuestos más débiles / más fuertes sobre la dureza de CIRCUIT-SAT dan jerarquías más débiles / más fuertes (que podemos probar actualmente).f(n) O((2−ε)min(n,s(n)))
io significa infinitamente a menudo, y puede descartarse para que son continuas en cierto sentido (incluyendo ).f f(n)=na
Parece probable que la jerarquía DTISP sea lo suficientemente nítida para distinguir de (y tal vez ) (cuando no es demasiado grande en relación con el espacio permitido).O(f) o(f/logf) o(f) f
Para distinguir de , solo necesitamos el supuesto más débil P ≠ PSPACE.na 2n
fuente