가요

을 시간 ( 시간에 (다중 테이프) 튜링 머신에서 허용 할 수있는 언어 클래스로 정의하십시오 . " "은 표기법을 단순화하고 혼동을 피하기위한 것입니다. 주위 에는 가 없습니다 . $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

그것은 사실이다 ? $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

은 Using 선형 속도까지 정리를 , 우리는 증명할 수 하지만, 우리는 도달 할 수 ? $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

회문 언어는 ; 관련 주제 는 문자열 알고리즘에 대한 Lipton의 블로그 게시물을 참조하십시오. $\mathsf{DTIME}(n)$

— 도모토
소스

" 실시간과 선형 시간 사이의 결정 성 튜링 머신 "에서 다음을 발견했습니다. 및 이면

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

좋아, 내가 찾던 것 같습니다. 답변으로 변환 하시겠습니까?

— domotorp

흥미로운 질문이지만 비표준 방식으로 표준 복잡성 클래스 DTIME 의 재정의에 반대하는 경우 혼동을 피하기 위해 최소한 DTIME과 같은 것을 호출하는 것이 좋습니다.

— vzn

이 문서는 도움이 될 것입니다. [Rosenberg 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)$

— Emil Jeřábek

증가, 무한한 시간 작도 함수의 역함수 인

(

세인트

우리가

). 정직한 서브 리니어 함수로 대체 할 수 있습니다.

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