El teorema de la jerarquía de tiempo es el tema de mi proyecto de diploma, tal vez desee ver los comentarios sobre mi pregunta Límites inferiores y separación de clases .
Mirando hacia atrás a esta pregunta y cómo se relaciona con lo que está preguntando, se me ocurrió una idea que podría mostrar que la sobrecarga de simulación TM de cinta múltiple a cinta simple que necesita la prueba del teorema no se puede mejorar. Por lo tanto, se necesita otro enfoque si deseamos mejorar este resultado.
EDITAR: Esta prueba es incorrecta, vea los comentarios a continuación para conocer el motivo exacto. Actualmente estoy editando la respuesta para reflejar eso.
Sea el idioma .A{0k1k|k≥0}
En una sola máquina de cinta, hay un algoritmo (puede encontrar detalles de este algoritmo en el capítulo 7.1.2 del libro de Sipser "Introducción a la teoría de la computación"). En la misma referencia, puede ver que un idioma está en o (n \ log n) si y solo si es regular. Kaveh también proporciona los documentos originales para este reclamo en la pregunta vinculada anteriormente.O(nlogn)
En los comentarios de mi pregunta, Ryan Williams ilustra un algoritmo para el mismo problema, utilizando una TM de 2 cintas.O(n)
Supongamos ahora que existe una técnica para simular una TM multitapa en una única TM de cinta que tiene un tiempo de ejecución de , donde es el tiempo de ejecución de la TM simulada . Al aplicarlo a la máquina que ilustra Ryan, obtendríamos una única cinta TM que se ejecutaría en . Por lo tanto, es regular, lo cual es una contradicción. Por lo tanto, concluimos que una sobrecarga de es lo mejor que podemos hacer al simular máquinas de cintas múltiples con máquinas de cintas individuales.o(T(n)logT(n))T(n)o(nlogn)AlogT(n)
Me doy cuenta de que esta es una declaración fuerte, por lo que podría estar equivocado en mi interpretación.
Incluso si existe una técnica que permita mejorar este resultado, creo que no es posible igualar el resultado para o . Mi intuición deriva del siguiente hecho:NTIMESPACE
Hay un resultado muy conocido que indica . Bajo el supuesto de que , creo que este resultado se mejora a , para cualquier . Entonces, una clase no determinista muy pequeña es mucho más poderosa que cualquier determinista . Entonces, dado lo poderoso que es un recurso de tiempo no determinista, esperaría que se necesitara una mayor cantidad de tiempo determinista para hacer que un TM sea más poderoso para compensar el poder del no determinismo.DTIME(n)≠NTIME(n)P≠NPDTIME(nk)≠NTIME(n)k