Является ли

Определите как класс языков, которые могут быть приняты машиной (множественной) Тьюринга за время . (« » просто для упрощения обозначений и предотвращения путаницы.) Обратите внимание, что вокруг нет . $\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)$

— Марцио Де Бязи

Ницца, кажется, именно то, что я искал. Вы хотите преобразовать это в ответ?

— Domotorp

интересный вопрос, но возражать против переопределения стандартного класса сложности DTIME нестандартным способом, предлагаю вам хотя бы назвать его чем-то вроде DTIME ', чтобы избежать путаницы

— vzn

Эта статья может быть полезной. [Розенберг 67] Определенные

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

— Марцио Де Биаси