Şaşırtıcı bir gerçek, bu modelde Savitch'in teoreminin "açık bir şekilde" görelilik yapmamasıdır. Yani, bu modelde ve N P S P A C E P = N E X P T I M E bu modelde görülebilir ve şu anda biz biliyorum E X P T I M E = N E X P TPSPACEP=EXPTIMENPSPACEP=NEXPTIME (ve bu bağlamda savitch teoremi vermek görünmüyor). Bunun "mantıklı" görecelemeye itilip itilemeyeceği ile ilgileniyorum.EXPTIME=NEXPTIME
Bu modelde ayrıca de gözlemlenebilir .NLNL=NLL=NP
Ancak, bu modelin uzay hiyerarşisi teoremindeki görecelilik meseleleri açısından en azından düşünmeye değer olduğunu düşünüyorum. Ayrıca, bir bakıma, bunu istiyorum için poli-boyutlu sorgulama yapmaya A .LAA