是？

将为（多带）图灵机在时间可以接受的语言类别。（“ ”只是为了简化符号并避免混淆。）请注意，在周围没有。 $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

是真的吗？ $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

使用线性加速定理，我们可以证明，但是我们可以达到吗？ $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

回文的语言似乎在；有关相关主题，请参阅Lipton的有关字符串算法的博客文章 $\mathsf{DTIME}(n)$

cc.complexity-theory time-complexity turing-machines time-hierarchy

— 多摩普
source

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 2013年

很好，似乎就是我想要的。您想将其转换为答案吗？

— domotorp

有趣的问题，但反对以非标准的方式重新定义标准复杂度类DTIME，建议您至少使用类似DTIME的名称以避免混淆

— vzn 2013年

本文可能会有所帮助。[Rosenberg 67]实时可定义语言dl.acm.org/citation.cfm?id=321423

— zZzZzZ 2013年

从评论：

...如果和然后 ... $r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— 马齐奥·德·比亚西（Marzio De Biasi）
source

什么是

？

T^{- 1} (D T M)

$T^{-1}(DTM)$

— EmilJeřábek'13

是一个递增，无界时间constructible函数的逆

（

，我们有

）。您可以将其替换为诚实的亚线性函数。

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

— Marzio De Biasi