亚线性空间对图灵机意味着什么？

已经证明确定输入是否为回文的问题在图灵机上需要空间。但是，即使存储输入也要占用空间这是否意味着所有图灵机都需要空间？ $\Omega(\log n)$ $n$ $\Omega(n)$

当然，这里没有矛盾，因为任何使用至少线性空间的函数也至少使用对数空间。但是写确实表明图灵机使用的空间可能少于线性空间–毕竟，如果那是一回事，为什么人们会花所有时间证明什么似乎是的琐碎约束？那么，图灵机使用少于线性空间意味着什么？ $\Omega(\log n)$ $\Omega(\log n)$ $\Omega(n)$

turing-machines space-complexity

— 帅哥
source

确切地说，正是由于这个原因，空间复杂性通常会考虑额外的内存。（请注意，您的问题不适当地；您想问“如何实现O（log n）...”。）

— 拉斐尔

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

— Yuval Filmus
source

感谢您的回答。为什么我们需要将索引转换为二进制格式？我以为图灵机是计算的抽象模型，那么为什么还要将十进制数转换为二进制表示呢？

— jsguy 2014年

O (\log n)

$O(\log n)$

@DavidRicherby，磁带单元不能容纳一个多于一个数字的数字吗？

— jsguy 2014年

@jsguy刷新图灵机的定义。磁带单元包含字母中的单个符号。

— David Richerby 2014年

@DavidRicherby，谢谢，我认为现在对我来说很有意义！

— jsguy 2014年