Creo que un hecho sorprendente es que, en este modelo, el teorema de Savitch no se relativiza "obviamente". Es decir, se puede ver que y N P S P A C E P = N E X P T I M E en este modelo, y actualmente no sepa que E X P T I M E = N E X P TPAGSPAGA CmiPAG= EXPAGTyoMETROminortePAGSPAGA CmiPAG= NmiXPAGTyoMETROmi (y el teorema de Savitch en este contexto no parece darlo). Me interesaría saber si esto puede ser empujado a "probablemente" no relativizar.miXPAGTyoMETROmi= NmiXPAGTyoMETROmi
También se puede observar que en este modelo.norteLnorteL=NLL=NPAG
Sin embargo, creo que al menos vale la pena pensar en este modelo, con respecto a los temas de relativización en el teorema de la jerarquía espacial. También, en cierto sentido, quiero para hacer consultas poli-tamaño a una .LUNUN