Savitch verwendet Messbarkeit


8

In Savitchs Arbeit von 1969 "Beziehungen zwischen nichtdeterministischen und deterministischen Bandkomplexitäten" stellt er fest, dass "alle gängigen Speicherfunktionen L (n)> = lg n messbar sind. Insbesondere ist jedes Polynom in n und lg n messbar." Seine Definition von messbar lautet: "Eine Funktion L (n) gilt als messbar, wenn es eine Turing-Maschine mit nur einem Speicherband gibt, so dass die Maschine bei einer Eingabe der Länge n nach einer Berechnung, in der die Speicherung erfolgt, anhält Der Bandkopf scannt genau L (n) Quadrate. "

Mein Problem ist also, dass ich aufgrund seiner Definition nicht verstehe, warum Speicherfunktionen L (n)> = lg n messbar wären, während Funktionen L (n) <lg n nicht messbar wären. Ist das irgendwie implizit in seiner Definition? Oder gibt es einige Veröffentlichungen, die ich lesen sollte?

Antworten:


Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.