3
Begründung von log f im DTIME-Hierarchiesatz
Wenn wir uns den DTIME-Hierarchiesatz ansehen, haben wir ein Protokoll, das auf den Mehraufwand bei der Simulation einer deterministischen Turing-Maschine durch eine Universalmaschine zurückzuführen ist: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Wir haben nicht diese Art von Overhead für NTIME von DSPACE. Eine grundlegende Rechtfertigung ergibt sich aus den Einzelheiten des Beweises …