チューリングマシンにとってサブリニア空間は何を意味しますか?


10

入力が回文かどうかを決定する問題は、チューリングマシンでスペースを必要とすることが証明されてい。ただし、入力を格納する場合でもスペース が必要になるため、すべてのチューリングマシンにスペース必要になるわけではありませんか?Ω(logn)nΩ(n)

もちろん、ここでは矛盾はありません。少なくとも線形空間を使用する関数は、少なくとも対数空間も使用するためです。しかし、書くと、チューリングマシンが線形スペースよりも少ないスペースを使用することが可能であることが示唆されます。結局のところ、それがまったく同じである場合、なぜ人々はすべての時間を費やして証明するのでしょうか。些細なバインドのように見えるものは何ですか?では、チューリングマシンが線形スペースよりも少ないスペースを使用することはどういう意味ですか?Ω(logn)Ω(logn)Ω(n)


3
Afaik、スペースの複雑さは通常、まさにこの理由で追加のメモリを考慮します。(質問が間違っていることに注意してください。「O(log n)...を達成する方法」を尋ねたいと思います。)
ラファエル

回答:


15

制限されたスペースを処理する場合、次のモデルを使用します。Turingマシンには、読み取り専用入力テープ、読み取り/書き込みワークテープ、および書き込み専用出力テープの3つのテープがあります。作業テープのスペース消費のみを測定します。パリンドロームの場合、ワークテープ上のスペースして、両端で一致する文字を比較して、入力を通過するFORループを実装できます。各インデックスは、スペースを使用して格納します。O(logn)O(logn)


答えてくれてありがとう。インデックスをバイナリ形式に変換する必要があるのはなぜですか?チューリングマシンは計算の抽象的なモデルだと思ったので、なぜ10進数をバイナリ表現に変換する必要があるのでしょうか。
jsguy 2014

4
@jsguyなぜ数値が10進数であると仮定するのですか?ただし、10進数も問題なく機能します。それでも桁を使用します。O(logn)
David Richerby 2014

@DavidRicherby、テープセルに2桁以上の数字を保持することはできませんか?
jsguy 2014

4
@jsguyチューリングマシンの定義を更新します。テープセルは、アルファベットからの単一のシンボルを保持します。
David Richerby 2014

@DavidRicherby、ありがとう私はそれが今私にとって理にかなっていると思います!
jsguy 14
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.