理論計算機科学

理論計算機科学者および関連分野の研究者のためのQ&A

2
ハイパーグラフの折れ線グラフを認識する
ハイパーグラフの線グラフ(単純な)グラフであるの縁部を有するの2つの縁部と頂点と隣接しているそれらが空でない共通部分を持っている場合。ハイパーグラフは、各エッジに最大個の頂点がある場合、ハイパーグラフです。G H H G r rHHHGGGHHHHHHGGGrrrrrr 次の問題の複雑さは何ですか:グラフ与えられ、が折れ線グラフであるようなハイパーグラフが存在しますか?3 H G HGGG333HHHGGGHHH ハイパーグラフの折れ線グラフを認識することは多項式であり、ハイパーグラフの折れ線グラフを認識することはNPであることが知られています(Poljak et al。、Discrete Appl。Math。3 (1981)301-312)。任意の固定のために-complete。 R R ≥ 4222rrrR ≥ 4r≥4r \ge 4 注:単純なハイパーグラフの場合、つまりすべてのハイパーエッジが異なる場合、Poljak et alの論文で証明されているように、問題はNP完全です。

4
無限グラフは何に適していますか?
ドイツのウィキペディアで、無限グラフは無限数のノードまたは無限数のエッジを持つグラフであることを読んだばかりです。有限グラフのアプリケーションとアルゴリズムのみを知っています。 無限グラフは何に適していますか? それらの用途は何ですか?無限グラフを保存できないため、無限グラフで機能するアルゴリズムを想像することはできません。そのため、操作することはできません。

2
有界深度確率分布
境界深度計算に関する2つの関連する質問: 1)nビットで開始し、ビットiで開始するには、独立して何らかの確率p(i)で0または1にできると仮定します。(問題が簡単になる場合、すべてのp(i)が0、1、または1/2であると想定できます。またはそれらのすべてが1/2であることさえ。) ここで、制限された数の計算をラウンドにします。各ラウンドでは、互いに素なビットセットに可逆的な古典的なゲートを適用します。(普遍的な古典的なリバーシブルゲートのお気に入りのセットを修正します。) 最後に、nビットの文字列の確率分布を取得します。そのような配布の制限に関する結果はありますか? 私は、Hastadスイッチングの補題に類似した何かを探しています。ボッパナの結果は、全体の影響が小さいか、LMN定理です。 2)1)と同じ質問ですが、深さ制限のある量子回路に関するものです。

1
コードレスの奇数サイクルの最小グラフ補完:NP困難ですか?
最近、私の研究で次の興味深い問題が浮上しました。 インスタンス:グラフ。G (V、E)G(V,E)G(V, E) 【解決手段】A chordless奇数サイクルの完了、スーパーセットとして定義されるエッジ集合の完了グラフように内のすべてのエッジこと性質有する chordless奇数サイクル中に含有されます。 E G '(V 、E ')G 'E′E′E'EEEG′(V、E′)G′(V,E′)G'(V, E')G′G′G' MEASURE:補完のサイズ、つまり。| E′− E||E′−E||E' - E| これまでのところ、この問題の修正版がNP完全であることを証明できました。「すべてのエッジがコードレスの奇数サイクルに含まれる」ことを要求する代わりに、「すべてのエッジが含まれる三角形(長さ3のサイクル)」。(これは最小弦グラフ補完問題と同等ではないことに注意してください。)G′G′G' 前者は後者の一般化であると簡単に見られますが、これまでのところ、それを証明するための私の努力はすべて失敗しました。誰でもポインタ/参照/などを思い付くことができますか?

5
コンパイラの正当性の証明
私はコンパイラの正当性の証拠をカバーするチュートリアル資料を探しています。できれば、初歩の学生のレベルで、表現法を使用してください。 あるいは、問題を説明するために使用できる簡単なコンパイラーの例を知っていますか?(最初に出てきた例は、中置から後置式への翻訳者でした。しかし、構文の帰納法以外の興味深いことは何も示しませんでした。)


3
ブラックボックスを使用した並べ替え
私たちは、リストの並べ替えしたいと仮定のの実数を。実数を即座にソートできるブラックボックスが与えられたと仮定します。このブラックボックスを使用してどれだけの利点を得ることができますか?SSSnnnn−−√n\sqrt n たとえば、ブラックボックスへの呼び出しのみで数値を並べ替えることはできますか?私が見つけた最良のアルゴリズムは、ブラックボックスへの呼び出しを使用しています。しかし、私はそれをさらに改善することができませんでした。merge-sortに似たアルゴリズムを次に示します。O (n−−√)O(n)O(\sqrt n)nnn 最初にリストをリスト分割します。サイズは約です。次に、ブラックボックスへの呼び出しを使用して、これらのリストを並べ替えます。最後に、次のようにブラックボックスを使用して、ソートされたリストをマージします。SSSn−−√n\sqrt ns1、s2、。。。、sn√s1,s2,...,sns_1, s_2, ..., s_{\sqrt n}n−−√n\sqrt nn−−√n\sqrt n リストの最小要素を新しいリストに入れ、ブラックボックスを呼び出してソートします。で数(第1の最小要素)で最小の数であろう。出力リストの最初の場所にそれを置くことができます。 要素を想定することから選択された我々は交換、ソートリストの二番目に小さい要素で、再度の二番目に小さい部材計算するためにその上にブラックボックスを実行。 すべての要素がソートされるまで続けます。この部分のブラックボックスコールの総数はLLLL [ 1 ]L[1]L[1]LLLSSSsjsjs_jL [ 1 ]L[1]L[1]sjsjs_jSSSn − n−−√n−nn - \sqrt n。したがって、全体的な呼び出しの総数はます。nnn 一方、次のようにソートに必要な数の比較の下限を使用して下限を取得できるはずです:を使用してブラックボックスを実装できます比較。ブラックボックスへの呼び出しと線形時間のマージで問題を解決できる場合、比較で実数をソートできますが、これは不可能です。n−−√lgn−−√= 12n−−√lgnnlg⁡n=12nlg⁡n\sqrt n \lg \sqrt n = \frac{1}{2} \sqrt n \lg no (n−−√)o(n)o(\sqrt n)nnno (n lgn)o(nlg⁡n)o(n \lg n) ブラックボックスで使用する多くの比較が共有されるため、がブラックボックスへの呼び出し数の下限であることを証明できると思います。Ω (n )Ω(n)\Omega(n) 更新:他の投稿が示唆しているように、も実現可能です。n−−√lgnnlg⁡n\sqrt n …

2
MAX 3SATのスーパー多項式時間近似アルゴリズム
PCPの定理は、ない限り、MAX 3SATが充足可能な3SAT式の7/8句を満たす割り当てを見つける多項式時間アルゴリズムがないことを示しています。P = N P7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP 節を満たす自明な多項式時間アルゴリズムがあります。それで、スーパー多項式アルゴリズムを許可すれば、よりもうまくできますか?準多項式時間アルゴリズム()または部分指数時間アルゴリズム()でどのような近似比を達成できますか?このようなアルゴリズムへの参照を探しています。7 / 8 + ε N O (ログN ) 2 O (N )7 / 87/87/87 / 8 + ε7/8+ϵ7/8+ \epsilon nO (ログn )nO(log⁡n)n^{O(\log n)}2o (n )2o(n)2^{o(n)}

2
n次元パターンマッチング
n次元配列内の正確なn次元部分配列を見つけるための既知の結果は何ですか? 1Dでは、これは単なる文字列マッチングの問題であり、KMPは線形時間でそれを行います。 この論文では、2Dで、余分なスペースをほとんど必要とせずに線形時間で実行できることを示しました。 この問題は、固定次元の線形時間最悪ケースで解決できますか?

4
データ構造同型
免責事項:私はCS理論家ではありません。 抽象代数から来て、私は同型に等しいものを扱うことに慣れていますが、この概念をデータ構造に変換するのに問題があります。最初に、まっすぐに設定された理論的な全単射射影で十分だと思っていましたが、私は非常に急速に壁にぶつかりました。 より制限的な(しかしより便利な)定義はありますか?(そうでない場合、なぜですか?)「構築されたデータ構造」のカテゴリの標準的な定義はありますか?

5
複数のパスでst-connectivityのスペース使用量を削減しますか?
グラフ仮定と頂点のストリームとして提示されているエッジが、複数のパスがストリーム上許されます。n mGGGnnnmmm Monika Rauch Henzinger、Prabhakar Raghavan、およびSridar Rajagopalanは、データにパスが許可されている場合、 2つの与えられた頂点間にパスがあるかどうかを判断するためにスペースが必要であることを観察しました。(テクニカルレポートバージョンも参照してください。)ただし、実際にこの限界を達成するためのアルゴリズムは提供されていません。最適なアルゴリズムは、現実的なコンピューティングモデルで実際に空間を取ると仮定します。これは、一定サイズのポインターを使用してメモリのインデックスを作成できない場合、異なる頂点を区別する必要があるためです。G k O ((nΩ (n / k)Ω(n/k)\Omega(n/k)GGGkkknO ((nログn )/ k )O((nlogn)/k)O((n\, \log\, n)/k)nnn どのようにして、グラフの接続性を決定することができ使用して渡しO ((nはkkkスペース?O ((nログn )/ k )O((nlogn)/k)O((n\, \log\, n)/k) 1つのパスのみが許可されている場合、入力データは頂点のセットのパーティションとして保存でき、2つの異なるセットの頂点間にエッジが見られる場合はセットをマージできます。これには明らかにスペース。私の質問は k > 1についてです。必要なスペースを減らすために、どうすればより多くのパスを使用できますか?O(nログn )O(nlogn)O(n\, \log\, n)k > 1k>1k > 1 (自明性を避けるために、は定数でアプリオリに制限できないパラメーターであり、スペースの制限はnとkの両方の関数を含む式です。)kkknnnkkk 更新:場合でも、n / 2頂点のみを保存する方法があると本当に便利です。または、kに関係なく、定数cに対して実際にはより強い下限c nがありますか?k = 2k=2k=2n / 2n/2n/2c ncncnccckkk

3
抽象マシンがそれ自体をシミュレートできる場合、それによりチューリングが完了しますか?
たとえば、プログラミング言語ではX-in-Xコンパイラ/インタープリターを記述するのが一般的ですが、より一般的なレベルでは、多くの既知のチューリング完全なシステムが印象的な方法でシミュレートできます(たとえば、ConwayのGame of LifeでConwayのGame of Lifeをシミュレートします) )。 だから私の質問は次のとおりです。チューリングが完全であることを証明するのに十分なシステムはそれ自体をシミュレートすることができますか?それは確かに必要な条件です。

1
NPにはあるが、Average-P / polyにはない問題
カープ・リプトンTheoemは場合と述べ、その後に崩壊。したがって、と分離を仮定すると、完全な問題は属しません。P H Σ P 2 Σ P 2 Σ P 3 N P P / P O LのYN P ⊂ P / P O LのYNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P HPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} 次の質問に興味があります。 仮定崩壊しない、または構造的複雑さの任意の他の妥当な仮定を仮定して、どのようなハードオン平均問題がされている証明に存在しない(もしあれば)?N P A v e r a g e - P / p o l yPHPH\mathsf{PH} NPNP\mathsf{NP}Average-P/polyAverage-P/poly\mathsf{Average\mbox{-}P/poly} 定義に見出すことができる平均ケースとワーストケースの複雑さの関係。実際に代わりにを使用する必要があることを指摘してくれたTsuyoshiに感謝します。Average-P/polyAverage-P/poly\mathsf{Average\mbox{-}P/poly}P / p o …

1
FPT vs W [P]-パラメーター化された複雑さ
パラメータ化複雑で、。それぞれの封じ込めが適切であると推測されます。⊆ W [ 2 ] ⊆ ... ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] もし次に。F P T = W [P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P = W [P]P=W[P]\mathsf{P}=\mathsf{W}[P] しかし、それはそれに続きますか もし次に?またはF P T = W [1]FPT=W[1]\mathsf{FPT}=\mathsf{W}[1]F …

3
ランダム化またはP /ポリ削減でNP完全な問題。
で、この質問は、我々は(これは数論で証明されていない仮定が真であるにもよるが)NP完全の下には、決定論的削減の下で削減をランダム化しますが、可能性はない自然な問題を特定したように見えます。そのような問題は他に知られていますか?P /ポリ削減のもとでNP完全であるが、P削減のもとでは知られていない自然な問題はありますか?

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.