Ist

Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit akzeptiert werden können . (Die " " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um kein vorhanden ist . $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

Stimmt es, dass ? $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

Mit dem linearen Beschleunigungssatz können wir beweisen , aber können wir erreichen ? $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

Es scheint, dass die Sprache der Palindrome in ; Verwandte Themen finden Sie in Liptons Blogbeitrag über String-Algorithmen $\mathsf{DTIME}(n)$

— domotorp
quelle

In " Deterministische Turingmaschinen im Bereich zwischen Echtzeit und linearer Zeit " fand ich: Wenn

und

dann

r \in T^{- 1} (D T M)

$r \in T^{-1}(DTM)$

r^{'} \in o (r)

$r'\in o(r)$

D T I M E (n + r^{'}) \subset D T I M E (n + r)

$DTIME(n + r') \subset DTIME(n + r)$

— Marzio De Biasi

Schön, scheint genau das zu sein, wonach ich gesucht habe. Möchten Sie es in eine Antwort umwandeln?

— Domotorp

interessante Frage, aber Einwände gegen die Neudefinition einer Standard-Komplexitätsklasse DTIME auf nicht standardmäßige Weise, schlagen Sie vor, sie zumindest so etwas wie DTIME zu nennen, um Verwirrung zu vermeiden

— vzn

Dieses Papier ist vielleicht hilfreich. [Rosenberg 67] Definierbare Echtzeitsprachen dl.acm.org/citation.cfm?id=321423

— zZzZzZ

Aus dem Kommentar:

In " Deterministische Turingmaschinen im Bereich zwischen Echtzeit und linearer Zeit " fand ich:

$r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— Marzio De Biasi
quelle

T^{- 1} (D T M)

$T^{-1}(DTM)$

T^{- 1} (D T M)

$T^{-1}(DTM)$

f

$f$

\forall c \in N, \exists n_{0}, c^{'} \in N

$\forall c \in \mathbb{N}, \exists n_0, c' \in \mathbb{N}$

\forall n \geq n_{0}

$\forall n \geq n_0$

c f (n) \leq f (c^{'} n)

$c f(n) \leq f(c'n)$