En pocas palabras, los teoremas de la jerarquía del tiempo dicen que una máquina de Turing puede resolver más problemas si tiene más tiempo para el cálculo. En detalle para TM determinístico y funciones construibles en el tiempo con es y para TM no determinista y funciones construibles en el tiempo con es Hay muchos resultados (antiguos y actuales) que utilizan los teoremas de la jerarquía de tiempo para probar los límites inferiores. Aquí están mis preguntas:f ( n ) log f ( n ) = o ( g ( n ) ) D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) f , g f ( n + 1 ) = o ( g ( n ) ) N
¿Qué sucede si podemos demostrar un mejor resultado para el caso determinista o no determinista?
Si podemos demostrar que existe una brecha entre la jerarquía de tiempo determinista y la jerarquía de tiempo no determinista, ¿esto implica ?