SATの現在の最適な空間の下限は?


22

前の質問に続いて、

SATの現在の最適な空間の下限は何ですか?

ここでスペースの下限とは、バイナリワークテープアルファベットを使用するチューリングマシンで使用されるワークテープセルの数を意味します。TMは内部状態を使用して任意の固定数のワークテープセルをシミュレートできるため、定数の加法的項は避けられません。ただし、暗黙的に残されることが多い乗法定数を制御することに興味があります。通常のセットアップでは、より大きなアルファベットを介して任意の定数圧縮が許可されるため、乗法定数はそこでは関係ありませんが、固定アルファベットではそれを考慮することができるはずです。

たとえば、SATには以上のloglogn+cスペースが必要です。そうでない場合、この空間の上限は、シミュレーションによって時間の上限につながるため、SATの結合されたn 1.801 + o 1 時空の下限に違反します(リンクを参照してください)質問)。また、SATが少なくとも必要であることを主張するために、この引数を向上させることが可能と思わδ ログのn + Cのいくつかの小さな正のためのスペースδのようなものである0.801 / Cをn1+o1n1.801+o1δログn+cδ0.801/Cここで、Cは、時間制限TMによる空間制限TMのシミュレーションの定数指数です。

あいにく、Cは通常非常に大きくなります(TMのテープが最初に大きなアルファベットを介して1本のテープにエンコードされる通常のシミュレーションでは、少なくとも2つ)。このような境界δ1かなり弱く、そして私は特にの下限空間に興味があるログn+cΩndステップの無条件の時間下限は、十分に大きい定数d>1場合、シミュレーションによるそのような空間の下限を意味します。しかし、時間下の境界Ωndのためにd>1は、大きなについては言うまでもなく、現在知られていませんd

別の言い方をすると、SATの超線形時間の下限の結果であるが、より直接取得できる可能性があるものを探しています。


他の回答(例:RW)のように、時間または空間の下限に個別に焦点を当てることは手の届かない範囲にあり、弱い/一般的な既知の境界のみを持っているようです。時空間の複雑さの組み合わせ。
vzn 14年

回答:


3

(マルチテープチューリングマシンの)既知の最良の範囲は対数であるように見えます。

仮定バイナリworktapeのビットが任意のかどうかを決定するのに十分であり、nは CNF式ビットがすべて十分に大きいため、充足され、N。標準シミュレーションでは、最大でsビットのスペースを使用するq状態のTMは、最大でq n s 2 s = 2 s + log n + log s + log qであるTMによってシミュレートできます。δlognnnqsqns2s=2s+logn+logs+logqさまざまな構成。マシンが受け入れるときは常に、この数の構成と同じ長さの受け入れ状態に達する一連の(非決定的)移動があります。場合、これが最大である2 S 2 + O 1 (そのノートqは、すべての入力の長さのために同じままでN)。別のカウンターテープ、Ms=Ω(logn)2s(2+o(1))qnM最初にこの量を単項で書き込み、次にシミュレーションの各ステップでカウンターのシンボルの1つを消去し、カウンターシンボルがなくなると計算を終了できます。これにより、定数のオーバーヘッド(3のようなもの)が作成され、指数の項によって吸収されます。したがって、2 s 2 + o 1 ステップで十分です。o(12s2+o1

仮定によって、時空製品が最大であるので、δ ログN 2 δ ログN 2 + O 1 = N δ 2 + O 1 sδログnδログn2δログn2+o1=nδ2+o1

Rahul Santhanamは2001年にdoi:10.1016 / S0020-0190(00)00227-1を参照)、SATを決定するチューリングマシンの時空積は少なくともでなければならないことを示しました。彼の議論は非決定的マシンにも当てはまります。したがってδ 1、及び少なくともログNバイナリworktapeのビットが必要とされています。Ωn2o1δ1ログn

より一般的には、追加のワークテープとより大きなワークテープのアルファベットは、定数を指数で変化させます。これにより、最終的に係数は減少しますが、スペースの下限は依然としてΩ log n です。δΩログn


2

おそらく、この方法でSATの空間の下限を証明できます(ただし、制限/漸近解析に自信がないので、私の答えは完全に間違っている可能性があります)。ログn

1読み取り専用入力テープおよび1本のワークテープでチューリング機械モデル上で、両方の上バイナリアルファベット、とのすべての決定器のためのCサイズの入力に状態N我々は持っています。Σ={01}cn

Tnc2SnnSn1

そうしないと、チューリングマシンは永久にループします(コンポーネントはすべての可能なテープ構成を表し、nコンポーネントは入力テープヘッド位置を表し、S n コンポーネントはワークテープヘッド位置を表します)。バイナリアルファベット上のテープの単一ヘッドTM(1)になるT N C 2 S N S N 2SnnSnTnc2SnSn

両方の項にを乗算し、SATの一般的な時空トレードオフを適用すると、次のようになります。Sn

n1.801+o1SnTncSn22Snn

だから、上側のようにバインドされた空間選ぶ SATについては、確かに、contraddictionにつながりますSnログn1ϵ

リムnn1.801cログn1ϵ22ログn1ϵn=

limn(0.801lognlogc2(1ϵ)log(logn)ログn1ϵ=

上限が矛盾につながることを示す少なくとも2つの一般的な方法があるようです。主に私が使用して考えていた(本質的に同一の、しかし、との仕事に少し簡単に)、不等式T N 2 ログのn + C 定数Cの場合はS n 。矛盾からも、次のようにあなたが提供する最後のステップはまた、強くすることができるS N δ ログのnのためにδ < 0.801 /oログnTn2ログn+CSnCSnδログnδ<0.801/C
アンドラスサラモン14年

@AndrásSalamon:上バウンド側、あなたは簡単に改善を期待することはできません:S.ブスとR.ウィリアムズから。時空間下限の交替取引証明の限界、2012:「充足可能性問題のより良い時空間下限を証明するために、新しい技術が必要であることを証明します。つまり、「交替取引の方法SATはn 2 cos π / 7 時間で解けず、n o 1 空間はn 2 cos π / 7 +STn2cosπ/7no1時間下のすべてのために、バインド ε > 0」あなたが任意のアイデアを持っています:-)。?n2cosπ/7+ϵϵ>0
マルツィオ・デ・BIASI

これは、ライアンのアプローチがこれらの範囲に及ぶ限りであるからこそ、時空の境界を使用してできる限りであると思います。
アンドラスサラモン14年

SATインスタンスを保存する場合でも、が必要であり、それを読み取るにはΩ n 時間が必要です。これは、Ω n 2 STの下限を証明しませんか?ΩnΩnΩn2
T ....

証明:@Turbo、すべてのアルゴリズムは、SATインスタンス格納しなければならないかを決定することは明らかではないが、表示になる下界決定的スペースビットLN PをΩnLNP
アンドラスサラモン
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.