Hay dos conceptos distintos:
(1) Simulación eficiente de máquinas deterministas por máquinas no deterministas.
(2) Acelere los resultados que se obtienen aplicando una simulación una y otra vez.
No conozco ninguna simulación eficiente de máquinas deterministas por máquinas no deterministas, pero sí sé de varios resultados de aceleración que podrían usarse si existen simulaciones eficientes.
Considere la clase de lenguajes que son decidibles por una máquina Turing no determinista que se ejecuta por tiempo t ( n ) utilizando solo g ( n ) conjeturas no deterministas. En otras palabras, la longitud del testigo está limitada por g ( n ) .NTIGU(t(n),g(n))t(n)g(n)g(n)
Si tiene una simulación más eficiente usando solo
conjeturas no deterministas, entonces creo que puede acelerarlo un poco. En particular, creo que puedes probar lo siguiente:log(n)
Si , entonces
D T I M E ( 2 √DTIME(nlog(n))⊆NTIGU(n,log(n)).DTIME(2n√)⊆NTIME(n)
Si encuentra esto interesante, entonces puedo escribir la prueba.
Ryan Williams introdujo algunas aceleraciones relacionadas en "Mejorar la búsqueda exhaustiva implica límites inferiores superpolinomiales".