タグ付けされた質問 「space-bounded」

計算の複雑さやアルゴリズムにおける計算の空間リソースに関する質問。

1
空間階層定理は不均一計算に一般化されますか？
一般的な質問 空間階層定理は不均一計算に一般化されますか？ さらに具体的な質問をいくつか示します。 L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly すべての空間構成可能関数、ですか？f(n)f(n)f(n)DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly どの関数について、次のことが知られています：すべての空間構築可能な、？h(n)h(n)h(n)f(n)f(n)f(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n)
1
平均ケースのスペースの複雑さ
平均ケースのスペースの複雑さが分析された問題を見つけようとしています。 より具体的には、超線形である実証済みの空間複雑度の下限に問題があるかどうか、特に平均ケース分析（アルゴリズムが許可されている場合でも上限が保持される）があるかどうかを知りたいわずかな割合でエラーが発生するなど） 前もって感謝します
1
制限付き訪問の非決定的線形制限付きオートマトンは通常の言語のみを認識しますか？
制限付き訪問の非決定的線形制限付きオートマトンは通常の言語のみを認識しますか？ 非決定的線形境界オートマトン（nLBA）とは、入力が両端にエンドマーカーで「パディング」されて上書きできないシングルテープ非決定的チューリングマシンを意味します。エンドマーカーの「外側」。 LBAは、すべての入力でのすべての実行が終了し、テープのすべてのセルに最大で回アクセスするようなの数がある場合、制限付きアクセスです。kkkkkk そのようなマシンは通常の言語だけを認識しますか？ヘニーの結果は、私がそれを正しく読んでいれば、決定論的なマシンに対してのみこれを言っているようです。結果は非決定的なマシンにも当てはまりますか？はいの場合、リファレンスをいただければ幸いです。
2
非決定論的ツリーウォーキングオートマトンは、決定論的ツリーオートマトンよりも強力ですか？
更新：この問題は最近調査され、解決されたようです。次のWikiの記事を参照してください：http : //en.wikipedia.org/wiki/Tree_walking_automaton また、この調査：http : //www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf 通常の単語のセット{0,1} *の代わりに、単語が線形ではなく、ツリー構造で与えられていると仮定します。私たちのマシンが「迷子になる」のを防ぐために、私たちの言葉をバイナリの埋め込まれた樹枝状のセットとして定義します。（したがって、すべての単語はツリーであり、すべてのエッジは次数2のルートから離れる方向に向けられ、他のすべての非リーフ頂点は次数3になり、すべてのエッジは左または右にラベル付けされ、同じ頂点には異なるラベルがあります。）言語はそのようなツリーのセットです。（頂点にゼロと1を書き込む必要はないことに注意してください。ローカルでツリーを変更することでシミュレートできるためです。）マシンが「ツリーを読み取る」とき、マシンはルートから始まり、与えられた頂点はルートであり、 このモデルでは、非決定性有限状態オートマトンで認識できる言語は、決定性有限状態オートマトンでも認識できるというのは本当ですか？ テープが通常のリニアテープである場合は、これが当てはまることに注意してください。これは、任意の2-NFAが2-DFAでシミュレーションできるためです（DFAでも）。私はすでに問題の特殊なインスタンス尋ねここで解決したクリストファーを。動機はこれを解決することです。
1
ポリログランダムビットを持つ
検討マシン（つまり、用途がLOGSPACEこと確率的アルゴリズムと多項式多くのランダムビット）。ことが知られています（Saks-Zhou。B PLBPLBPLB PL ⊆ D SPA CE（l o g1.5（n ））BPL⊆DSPあCE（log1.5（ん））BPL \subseteq DSPACE(log^{1.5}(n)) 私の質問は、ポリログのランダム性のビットのみを使用するマシンについてです。ゴールドライヒの論文の1 つでは、そのようなマシンによって決定された言語が実際には決定論的ログスペースにあることが言及されています。しかし、私はこの発言の説明をどこにも見つけることができません。B PLBPLBPLB PLBPLBPLLLL ログスペースで完全にランダム化解除できるのはなぜですか？
1
四半期サブセットメンバーシップはスペース効率よく決定できますか？
次の決定問題を考えます。ましょうとlet適切です最大でn / 4の要素を持つ\ {0,1、\ dots、n-1 \}のサブセットの列挙。（C、N 0、C N 1、...、C nはQ - 1）{0、1、...、N-1}N/4q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 クォーターサブセットメンバーシップ 入力：非負の整数の組(i,j,n)(i,j,n)(i,j,n)、バイナリで表現 質問：あるi∈Cnji∈Cjni \in C_j^n？ "nice"列挙(Cni)(Cin)(C_i^n)を選択することにより、すべての十分な大きさのnに対して、(0.99)n(0.99)n(0.99)nビット以下のワークスペースを使用する決定論的チューリングマシンによって、四半期サブセットメンバーシップを決定できますか？nnn 討論 してみましょうlogx=log2xlog⁡x=log2⁡x\log x = \log_2 x。サイズ\ lceil \ log n \ rceilビットのk個のインデックスを追跡することにより、n個から選択された最大kkk要素のすべてのサブセットを簡単に列挙できます。（KnuthのTAOCPセクション7.2.1.3の説明も参照してください。）kが定数の場合、これはO（\ log n）ビットです。ただし、定数c \ le 1/4に対してk = cnとすると、そのような列挙方式は\ Omega（n \ log n）スペースを使用します。設定されたビット数のチェックとともにnビットの特性ベクトルを使用することもできます。nビットを超えるスキームに興味があります。んnnkkk⌈ ログN ⌉⌈log⁡n⌉\lceil \log n \rceilkkkO …
1
初期化されていないメモリと最小限のスペースにビットベクトルを格納する
初期化されていないメモリを使用して、ビットベクトルを格納するためのよく知られたトリックサイズのビットベクトルに割り当てることができたビットのすべてに設定されている0割り当てることによって（2 N + 1 ）⌈ LG N ⌉メモリのビットと初期化のみ⌈ LGをN ⌉それらの。この表現は、一定時間でのビットの設定と設定解除をサポートします。nnn000(2n+1)⌈lgn⌉(2n+1)⌈lg⁡n⌉(2 n + 1)\lceil \lg n \rceil⌈lgn⌉⌈lg⁡n⌉\lceil \lg n \rceil これは、「Alfred Aho、John Hopcroft、およびJeffrey Ullmanの1974年の本、The Computer and of Analysis of Computer Algorithms。。。。Chapter 2、演習2.12」、「Jon Bentleyの1986年の本、Programming Pearls。。。.Column 1、演習8、演習にさかのぼります。第2版​​の9」、および「プレストンブリッグスとリンダトルクゾンの1993年のペーパー、「スパースセットの効率的な表現」」。 Dodisらの「スペースを失うことなく、ベースを変更する」までわずかにスペース要件をもたらしこのアルゴリズムはの事前計算が必要ですが、ビットΘ （LG nは）と定数Θ （lg n ）各ビット。⌈(2n+1)lgn⌉+1⌈(2n+1)lg⁡n⌉+1\lceil (2 n + 1) \lg n \rceil + 1Θ(lgn)Θ(lg⁡n)\Theta(\lg n)Θ(lgn)Θ(lg⁡n)\Theta(\lg …
1
力のハミング重み
正の整数を考えるととE、何のハミング重み（バイナリ1の数）を求めるの空間と時間の複雑さについてはほとんど知られていたB Eを？bbbeeebebeb^e 場合ビットが利用可能であり、数は単に標準的な技術によって計算することができ、1秒がカウント。しかし、より少ないメモリを使用できる場合、どのようなテクニックが可能ですか？電子ログbeログ⁡be\log b
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.