Là ?

Xác định là lớp ngôn ngữ có thể được chấp nhận bởi một máy Turing (multitape) trong thời gian . (" " chỉ để đơn giản hóa ký hiệu và tránh nhầm lẫn.) Lưu ý rằng không có xung quanh . $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

Có đúng là không? $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

Sử dụng định lý tăng tốc tuyến tính , chúng ta có thể chứng minh , nhưng chúng ta có thể đạt tới không? $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

Có vẻ như ngôn ngữ của palindromes nằm trong ; đối với các chủ đề liên quan, xem bài đăng trên blog của Lipton về thuật toán chuỗi $\mathsf{DTIME}(n)$

— động vật
nguồn

Trong " Máy xác định xác định trong phạm vi giữa thời gian thực và thời gian tuyến tính " tôi đã tìm thấy: if và sau đó là

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

Đẹp, dường như chỉ là những gì tôi đang tìm kiếm. Bạn có muốn chuyển đổi nó thành một câu trả lời?

— domotorp

câu hỏi thú vị nhưng phản đối việc xác định lại một lớp phức tạp tiêu chuẩn DTIME theo cách không chuẩn, đề nghị bạn ít nhất gọi nó là một cái gì đó giống như DTIME 'để tránh nhầm lẫn

— vzn

Bài viết này có thể hữu ích. [Rosenberg 67] Ngôn ngữ có thể xác định

— zZzZzZ

Từ nhận xét:

Trong " Máy xác định xác định trong phạm vi giữa thời gian thực và thời gian tuyến tính " tôi đã tìm thấy:

... nếu và thì ... $r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— Marzio De Biasi
nguồn

Là gì ?

T^{- 1} (D T M)

$T^{-1}(DTM)$

— Emil Jeřábek 3.0

T^{- 1} (D T M)

$T^{-1}(DTM)$ là nghịch đảo của hàm xây dựng thời gian không giới hạn ( st chúng ta có ). Bạn có thể thay thế nó bằng một hàm tuyến tính trung thực.

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