Mi

, zamanında bir (çok bantlı) Turing makinesi tarafından kabul edilebilecek dil sınıfı olarak tanımlayın . (" " sadece gösterimi basitleştirmek ve karışıklığı önlemek içindir.) etrafında olmadığını unutmayın . $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

Bu doğru mu olduğunu ? $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

Kullanılarak lineer hızlandırıcı teoremi , ispat edilebilir , ancak ulaşabilir ? $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

Görünüşe göre palindromların dili ; ilgili konular için bkz. Lipton'un dize algoritmaları hakkındaki blog yazısı $\mathsf{DTIME}(n)$

— domotorp
kaynak

"Olarak Gerçek zaman ve doğrusal-saat arasında Range Deterministik Turing Makinası " buldum: eğer

, sonra

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

Güzel, sadece aradığım şey gibi görünüyor. Bir cevaba dönüştürmek ister misiniz?

— Mart'ta domotorp

ilginç bir soru ama standart bir karmaşıklık sınıfı DTIME'nin standart olmayan bir şekilde yeniden tanımlanmasına itiraz etmek, karışıklığı önlemek için en azından DTIME gibi bir şey demenizi öneririz

— vzn

Bu makale faydalı olabilir. [Rosenberg 67] Gerçek Zamanlı Tanımlanabilir Diller dl.acm.org/citation.cfm?id=321423

— zZzZzZ

Yorumdan:

" Gerçek Zamanlı ve Doğrusal Zaman Arasındaki Deterministik Turing Makineleri " nde buldum:

... ise ve , sonra ... $r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— Marzio De Biasi
kaynak

T^{- 1} (D T M)

$T^{-1}(DTM)$

— Emil Jeřábek

gittikçe artan bir, sınırsız bir zaman-inşa edilebilir fonksiyon tersi

(

Elimizdeki

). Dürüst bir alt doğrusal işlevle değiştirebilirsiniz.

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