sublinear space หมายถึงอะไรสำหรับเครื่องจักรทัวริง

ปัญหาของการตัดสินใจว่าอินพุตเป็น palindrome หรือไม่ได้รับการพิสูจน์ว่าต้องการพื้นที่บนเครื่องทัวริง อย่างไรก็ตามการจัดเก็บอินพุตใช้พื้นที่  nดังนั้นนั่นหมายความว่าเครื่องทัวริงทั้งหมดต้องการพื้นที่Ω ( n )หรือไม่?$\Omega(\log n)$$n$$\Omega(n)$

แน่นอนว่าไม่มีข้อขัดแย้งเนื่องจากฟังก์ชันใด ๆ ที่ใช้พื้นที่เชิงเส้นอย่างน้อยก็ใช้พื้นที่ลอการิทึมอย่างน้อย แต่การเขียนแนะนำว่าเป็นไปได้ที่เครื่องทัวริงจะใช้พื้นที่เชิงเส้นน้อยกว่า - เพราะเหตุใดผู้คนจึงใช้เวลาตลอดเวลาในการพิสูจน์Ω ( log n )ถ้านั่นเป็นสิ่งเดียวกันΩ ( n )เป็นเรื่องเล็กน้อย? ดังนั้นเครื่องทัวริงหมายความว่าอย่างไรที่ใช้พื้นที่เชิงเส้นน้อยกว่า$\Omega(\log n)$$\Omega(\log n)$$\Omega(n)$

$O(\log n)$$O(\log n)$