入力が回文かどうかを決定する問題は、チューリングマシンでスペースを必要とすることが証明されてい。ただし、入力を格納する場合でもスペース が必要になるため、すべてのチューリングマシンにスペース必要になるわけではありませんか?
もちろん、ここでは矛盾はありません。少なくとも線形空間を使用する関数は、少なくとも対数空間も使用するためです。しかし、書くと、チューリングマシンが線形スペースよりも少ないスペースを使用することが可能であることが示唆されます。結局のところ、それがまったく同じである場合、なぜ人々はすべての時間を費やして証明するのでしょうか。些細なバインドのように見えるものは何ですか?では、チューリングマシンが線形スペースよりも少ないスペースを使用することはどういう意味ですか?
3
Afaik、スペースの複雑さは通常、まさにこの理由で追加のメモリを考慮します。(質問が間違っていることに注意してください。「O(log n)...を達成する方法」を尋ねたいと思います。)
—
ラファエル