ある

を、（マルチテープ）チューリングマシンが時間で受け入れることができる言語のクラスとして定義します。（「」は表記を単純化し、混乱を避けるためです。）周りにがないことに注意してください。 $\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$

パリンドロームの言語はです。関連トピックについては、文字列アルゴリズムに関するリプトンのブログ投稿を参照してください $\mathsf{DTIME}(n)$

— domotorp
ソース

"にリアルタイムおよび線形時間の間の範囲の確定チューリングマシン "私が見つかりました：もし

及び

、次いで

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

— マルツィオデBIASI

いいですね、私が探していたものだけです。回答に変換しますか？

— -domotorp

興味深い質問ですが、標準的な複雑さのクラスDTIMEを非標準的な方法で再定義することに反対し、混乱を避けるために少なくともDTIMEのようなものを呼び出すことをお勧めします

— vzn

このペーパーは役立つかもしれません。[ローゼンバーグ67]リアルタイム定義可能言語dl.acm.org/citation.cfm?id=321423

— zZzZzZ

コメントから：

「リアルタイムと線形時間の間の範囲の決定論的チューリングマシン」で私は見つけた：

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

— マルツィオ・デ・ビアシ
ソース

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