É

Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo . (O " " é apenas para simplificar a notação e evitar confusão.) Observe que não há torno de . $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

É verdade que ? $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

Usando o teorema da aceleração linear , podemos provar , mas podemos alcançar ? $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

Parece que a linguagem dos palíndromos está em ; para tópicos relacionados, consulte a publicação no blog de Lipton sobre algoritmos de string $\mathsf{DTIME}(n)$

— domotorp
fonte

Em " Máquinas de Turing determinísticas na faixa entre tempo real e tempo linear ", descobri: se

então

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

Bom, parece ser exatamente o que eu estava procurando. Deseja convertê-lo em uma resposta?

— domotorp

pergunta interessante, mas objeto para a redefinição de um DTIME classe de complexidade padrão de uma forma fora do padrão, sugiro que você, pelo menos, chamada algo como DTIME' confusão evitar

— vzn

Este artigo pode ser útil. [Rosenberg 67] Real-Time definíveis Línguas dl.acm.org/citation.cfm?id=321423

— zzzzzz

Do comentário:

Em " Máquinas determinísticas de Turing na faixa entre tempo real e tempo linear ", descobri:

... se e então ... $r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— Marzio De Biasi
fonte

O que é

T^{- 1} (D T M)

$T^{-1}(DTM)$

— Emil Jerabek 3,0

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)$