時間内にSATISFIABILITY問題を解決するために最もよく知られている空間要求は何ですか?

私はSATISFIABILITY問題のための最適な空間要求アルゴリズムを見つけるために多くを探しましたが、私はDSPACE(n)にある無理強い力よりも良いものは何も見つかりませんでした。より良い境界が存在するか?最もよく知られているものは何ですか? ベストアンサー If I understand your question correctly, as far as I understand this is computational-model dependent. An excellent lecture on the subject by Prof. Ryan O’Donnell can be found here: https://www.youtube.com/watch?v=_nCBH_lVjGU

もっと読む

時間$ T(n)$で計算可能なすべての関数が時間$ T(n)^ {O(1)} $と空間$ T(n)^ {o(1)} $で同時に計算可能かどうかの問題

ある関数が時間$ T(n)$で計算可能であれば、時間$ T(n)^ {O(1)} $と空間$ T(n)^ {o(1)} $で同時に計算可能か? オープンな問題$ text {P} neq text {PSPACE} $と$ text {EXPTIME} neq text {EXPSPACE} $を意味するので、私たちはそれを証明することはできません。 私はそれも反証できないと思う。多項式時間体系における反例は、オープン問題$ text {P} neq text {L} $を暗示する。指数時間体制では、$ text {EXPTIME} neq text {PSPACE} $です。しかし、おそらく別の場所に反例があります。 私の質問は単純です:この声明またはそれに類するものは、よく知られている推測と同等ですか?いかなる参考文献も認められるであろう。 ベストアンサー 申し訳ありませんが、適切&#x306

もっと読む

空間と時間の階層は匹敵しますか?

宇宙と時間の階層がどの問題がより難しいのか「意見の不一致」がどの程度あるかについての結果があるかどうかは疑問です。たとえば、$ L_1 in DeclareMathOperator {TIME} {TIME} TIME(f(n)) setminus SPACE(g(n))、L_2などの言語$ L_1 $および$ L_2 $が存在するかどうかは、 in DeclareMathOperator {SPACE} SPACE(g(n)) setminus TIME(f(n))$?これはどのくらいの頻度で発生しますか? PS-質問はスペースに依存する計算時間を伴う関数が質問するようです似たようなものですが、紛らわしい言葉を言い、答えのどれも私が探しているものではありません。 ベストアンサー あなたは、奇妙な関数$ f(n)$と$ g(n)$を選択することで、記述した状況を得ることが&#x306

もっと読む

$ SUBLOG subsetはDTIME(n)$ですか?

前の質問へのより自然な答えを出そうとする過程で$ SUBLOG = {L mid L text {サブログ空間TMで認識可能} } $と$ DTIME(n)$ $ SUBLOG $に言語が必要です$ DTIME(n)$にはありません(私はすでに他の方向を知っています)。 However, I’m not very familiar with sublogarithmic space and Liskiewicz and Reischuk’s paper overviewing the topic deals more with alternating machines than it does with deterministic ones, which I was more interested in. Is it known whether there is a sublogarithmic language requiring super-linear space? ベストアンサー 申し訳ありませんが、適切な答えはありません

もっと読む

空間階層の定理は非一様な計算に一般化するのか?

一般的な質問       空間階層の定理は非一様に一般化するか?   計算? いくつか具体的な質問があります: $ L/poly subsetneqはPSPACE/poly $ですか? すべての空間構成可能関数$ f(n)$は、$ DSPACE(o(f)))/ poly subsetneq DSPACE(f(n))/ poly $?/li> $ f(n)$、$ DSPACE(o(f)))/ h(n) subsetneq DSPACE (f(n))/ h(n)$? ベストアンサー 私たちが証明できる1つの不均一な「空間階層」は、分岐プログラムのサイズ階層です。ブール関数$ f: {0,1 } ^ n を {0,1 } $とすると、$ B $は$ f $を計算する分岐プログラムの最小サイズを表します。 回路サイズのこの階層引数に類似した議論により、定数$ ε、c $ b leq epsilon cdot 2 ^ n/n $のすべての値に対して、関数$ f: {0,1 } ^ n 〜 {0,1 } $は$ b – cn leq B(f&#xFF09

もっと読む

有権者に設定されたマンデルブロの複雑さ

(また、 mathoverflow に掲載されています)$ a、b mathbb {Q} $で、$ c = a + ib $、つまりこれらの2つの有理数で表される複素数を呼び出します。 以下の手順が決して停止しない場合、ポイント$ c $はマンデルブロセット$ M $に含まれます: $ z = c $ $while (abs(z) <= 2)$ $ hspace {0.3in} z = z * z + c $ 通常、$ k $(たとえば50)を選び、それが多くの反復の後に停止しなければ、それはマンデルブロ集合にあり、ループを止めると仮定します。与えられた$ c $が$ k $ステップの後で$ k $の大きさと分子と$ nを表す$ n $ビットの観点からこのループから抜けていないかどうかを決定するための多項式時間アルゴリズムはありますか? $ a $と$ b $の分母を表す$ビッ

もっと読む

スライディングブロックの線形空間は完全ですか?

スライディングブロックは、指定されたブロックを指定された空間に移動することを目的とした、矩形領域内の1×2および2×1ブロック(回転または小数点位置なし)を含む最も簡単な形式でもPSPACEを完了します。 「 PSPACE-Sliding-Block Puzzlesの完全性と計算の非決定論的制約論理モデルによるその他の問題」を参照してください。 > “Robert HearnとErik Demaine。しかし、その論文はPSPACEよりも正確な特徴付けを与えていない。 スライディングブロック(決定論的)線形空間における解の存在は完全であるか? 完全性の1つの選択肢は、多項式時間線形空間縮小をインスタンスサイズの最大線形増加で&#x4F7

もっと読む

平面グラフのk-dominating setのためのパラメータ化されたlogspaceアルゴリズム

$ k $ – 授与セット: グラフ$ G =(V、E)$が与えられ、$ V $は頂点の集合であり、$ E $は辺の集合であり、整数$ k $であると仮定すると、$ k $ -Dominating集合問題は、頂点$ V ‘$の$ V $を最大$ k $とすると、V $内のすべての頂点$ u に対して、V’内のいくつかの頂点$ v に対してエッジ$ uv $。 $ k $ – $ O(f(k) log n)$空間の平面グラフの集合問題を推論するのは簡単です。 $ f(k)+ c log n $空間における平面グラフの$ k $ -Dominating集合問題を解くことができます。ここで、$ c $はある定数です。 この質問への回答は「はい」です。 [リンク] Page 11定理2.4 < a>。 平面グラフの$ k $ -Dominating集合問題を見つけるためのFPTアルゴリズムに基づく彼らの証明は、 [

もっと読む