?

Antworten:

8

Betrachten Sie das Problem

Af=ATMf={M,x,tMDTM and M(x) halts and accepts in f(|t|) steps}.

Jetzt ist Lexp für EXP=DTime(exp(nO(1))) und Lexpexp ist für 2EXP=DTime(expexp(nO(1))) .

Wir zeigen, dass sich Lexpexp in EXPEXP .

Wenn M,x,t , schreiben wir einfach M,x,1exp(|t|) auf das Abfrageband und fragen es von Lexp und geben es zurück Antwort als Ausgabe.

Dieser Algorithmus befindet sich in , daher .EXPEXP2EXPEXPEXP

Kaveh
quelle