Penso que um fato surpreendente é que, neste modelo, o teorema de Savitch "obviamente" não se relativiza. Ou seja, pode-se ver que e N P S P A C E P = N E X P T I M E neste modelo, e atualmente não temos sabe que E X P T I M E = N E X P TPSPACEP=EXPTIMENPSPACEP=NEXPTIME (e o teorema de Savitch, neste contexto, não parece dar). Eu estaria interessado em saber se isso pode ser empurrado para "provadamente" não relativizar.EXPTIME=NEXPTIME
Pode-se observar também que neste modelo.NLNL=NLL=NP
No entanto, acho que vale a pena pensar nesse modelo, no que diz respeito a questões de relativização no teorema da hierarquia espacial. Além disso, em algum sentido, eu quero fazer consultas poli-dimensionados para A .LAA