Gibt es eine Turing-Maschine, die rechtzeitig läuft?

7

Es ist bekannt, dass jede (deterministische, einfach geklebte) Turing-Maschine rechtzeitig läuft o(nlogn), entscheidet sich für eine reguläre Sprache (zB siehe diesen Link ). Es gibt also eine äquivalente Turing-Maschine, die rechtzeitig läuftO(n). Mit anderen Worten, wennt(n)=o(nlogn) dann

DTIME(t(n))DTIME(n)=.

Ich habe mich gefragt, ob es ein Beispiel gibt, in dem die ursprüngliche Turing-Maschine nicht rechtzeitig lief O(n).

Zusammenfassend: Gibt es eine Turing-Maschine, die rechtzeitig läuft? o(nlogn), aber nicht O(n)?

Ich mache
quelle
Sie können eine Turing-Maschine einlaufen lassen O(nloglogn)Wenn Sie möchten. Benötigen Sie es jedoch, um eine reguläre Sprache zu bestimmen?
Pål GD
1
@ PålGD Klar, das ist trivial. Meinst duΘ(nloglogn)? Und ist es eine Single-Tape-Maschine?
David Richerby

Antworten:

7

Die Antwort scheint negativ zu sein, wie aus Korollar 4.12 der Überprüfung der Zeitkomplexität deterministischer Turingmaschinen von David Gajser ( ArXiv ) hervorgeht.

Ich mache
quelle