As alternações ser simuladas em ?

9

Seja a classe de idiomas decidida alternando as máquinas de Turing que param no tempo usando o espaço . Seja a classe de linguagens decidida por máquinas de Turing alternadas que param de usar alternações de e espaço .ATISP(f(n),g(n))f(n)g(n)AALTSP(f(n),g(n))f(n)g(n)

Ruzzo provou que . Ele também mostrou que .NCk=ATISP(logkn,logn)NCkAALTSP(logkn,logn)NCk+1

É ?NCk=AALTSP(logkn,logn)

argentpepper
fonte

Respostas:

11

Obviamente, as igualdades e inclusões reivindicadas na pergunta são apenas para uniforme . A classe é a mesma que uniforme , portanto a questão é a mesma que .NCkAALTSP(logkn,logn)ACkNCk=ACk

Em particular, o caso implica que é igual a e até , pois . k=1LNLLogCFLNC1LNLLogCFLAC1

Jan Johannsen
fonte