คือ

กำหนดเป็นชั้นของภาษาที่สามารถรับการยอมรับจาก (multitape) เครื่องทัวริงในเวลาที่1 (ที่ " " เป็นเพียงสัญกรณ์ลดความยุ่งยากและสับสนหลีกเลี่ยง.) สังเกตว่าไม่มีรอบ1 $\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$

ดูเหมือนว่าภาษาของ palindromes อยู่ใน ; สำหรับหัวข้อที่เกี่ยวข้องดูโพสต์บล็อกของ Lipton เกี่ยวกับอัลกอริธึมสตริง $\mathsf{DTIME}(n)$

— domotorp
แหล่งที่มา

ใน " เครื่องจักรทัวริงที่กำหนดได้ในช่วงระหว่าง Real-Time และ Linear-Time " ฉันพบ: ถ้า

และ

จากนั้น

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

จากความคิดเห็น:

ใน " เครื่องจักรทัวริงที่กำหนดได้ในช่วงระหว่าง Real-Time และ Linear-Time " ฉันพบ:

... ถ้าและดังนั้น ... $r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— Marzio De Biasi
แหล่งที่มา

คืออะไร

T^{- 1} (D T M)

$T^{-1}(DTM)$

— Emil Jeřábek

เป็นสิ่งที่ตรงกันข้ามของที่เพิ่มขึ้นมากมายเวลา constructible ฟังก์ชั่น

(

เรามี

) คุณสามารถแทนที่ด้วยฟังก์ชัน sublinear ที่ซื่อสัตย์

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