¿Las simulaciones pueden simularse en ?

9

Sea la clase de lenguajes que se decida alternando máquinas de Turing que se detengan en el tiempo utilizando el espacio . Sea la clase de lenguajes que se decida alternando máquinas de Turing que dejen de usar las alternancias y el espacio .f ( n ) g ( n ) A A L T S P ( f ( n ) , g ( n ) ) f ( n ) g ( n )ATISP(f(n),g(n))f(n)g(n)UNAUNALTSPAGS(F(norte),sol(norte))F(norte)sol(norte)

Ruzzo demostró que . También mostró que . N C k A A L T S P ( log k n,logn) N C k + 1norteCk=UNATyoSPAGS(Iniciar sesiónknorte,Iniciar sesiónnorte)norteCkUNAUNALTSPAGS(Iniciar sesiónknorte,Iniciar sesiónnorte)norteCk+1

¿Es ?norteCk=UNAUNALTSPAGS(Iniciar sesiónknorte,Iniciar sesiónnorte)

argentpepper
fuente

Respuestas:

11

Por supuesto, las igualdades e inclusiones reivindicadas en la pregunta son válidas solo para uniforme . La clase es la misma que uniform , por lo que la pregunta es la misma que si .A A L T S P ( log k n,logn) A C k N C k = A C knorteCkUNAUNALTSPAGS(Iniciar sesiónknorte,Iniciar sesiónnorte)UNACknorteCk=UNACk

En particular, el caso implica que es igual a e incluso , ya que . L N L L o g C F L N C 1LN LL o g C F LA C 1k=1LnorteLLosolCFLnorteC1LnorteLLosolCFLUNAC1

Jan Johannsen
fuente