タグ付けされた質問 「lower-bounds」

分散アルゴリズムの理論では、下限が、「大きい」（つまり、より大きい）、自明ではない問題があります。シリアルアルゴリズムの理論に同様の範囲の問題があるのか​​どうか、私は次数がよりもはるかに大きいことを意味し。Ω(n2)Ω(n2)\Omega(n^2)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) ささいなこととは、「入力全体を読まなければならないことを考えるだけで得られる」という意味です。

8 algorithms  complexity-theory  lower-bounds 

選択と挿入の並べ替えの下限を見つけるために必要な敵対的な引数を見つけるように求められました。それへの参照がどこにも見つかりませんでした。 これについてはいくつか疑問があります。私は通常、「アルゴリズム」ではなく特定の「問題」の下限を見つけるために敵対的な議論が使用されることを理解しています。 マージの問題を理解しました。しかし、どのようにして選択および挿入ソート用に作成できますか？

8 algorithms  algorithm-analysis  proof-techniques  lower-bounds 

私は最近、k-SAT問題のすべてのインスタンスについて、 メートルメートルm 条項と んんn リテラル、少なくとも次のようなリテラルの割り当てがあります m （1 −2− k）メートル（1−2−k）m(1 - 2^{-k}) 条項は満たされています。 どんなグラフでもそのような（自明ではない）下限を表示できるかどうか疑問に思っていました G = （V、E）G=（V、E）G = (V,E) サイズの独立したセットがあります SSS どこ SSS 頂点や辺の数などに関数はありますか？ 最適化バージョンでは、独立した最大のサブセットを見つけようとするため、下限が狭いほど良いです。したがって、そのような下限が存在するかどうか疑問に思っていましたが、どれだけタイトにできますか？

7 graphs  satisfiability  lower-bounds 

回路の複雑性には次のような基本的な結果があります。 サイズ回路では解決できない言語が存在します。o(2nn)o(2nn)o(\frac{2^n}{n}) 引数は、ブール関数の数と個別の回路の数に関する単純なカウント引数です。たとえば、これらの講義ノートを参照してください。 この限界が厳しいかどうかは不明です。つまり、次の説明が正しいかどうかはわかりません。 すべての言語は、サイズ回路で解決できます。O(2nn)O(2nn)O(\frac{2^n}{n}) このステートメントが真実である場合、複雑性理論に興味深い影響がありますか？

7 complexity-theory  lower-bounds  circuits 

バニラチューリングマシンとは、テープが1本のチューリングマシンを意味します（特別な入力テープや出力テープはありません）。 問題は次のとおりです。テープは最初は空ですが、 nnn 111砂 000s文字列の終わり文字で終了します。テープヘッドは、文字列の先頭から始まります。目標は、テープに元の文字列を逆の順序で格納し、文字列終了文字で終了し、チューリングマシンが最終的に停止すると、テープヘッドが文字列の先頭に戻るようにすることです。 チューリングマシンは、（それが含まれている限り）好きなだけ大きなアルファベットを使用できます。 000、 111、および文字列の終わりの文字）であり、好きなだけ状態を設定できます。このタスクを時間内に完了することができる固定チューリングマシンはありますかo(n2)o(n2)o(n^2)？ これを間に合わせるのは簡単です O(n2)O(n2)O(n^2)いくつかの状態とシンボルのみを使用します。何かが一定の要因よりも速くそれを行うのを妨げていることは直感的に明らかであるように見えますが、それを証明することはできませんでした。対数高速化...

7 complexity-theory  turing-machines  time-complexity  lower-bounds