タグ付けされた質問 「nexp」

NPに完全な問題がたくさんあり、それらを収集する情報源があります。たとえば、Garey and Johnsonの本を参照してください。NEXPの完全な問題のリストも参照してください。利用できるものはありますか？存在しないと思うので、この質問を開きます（これはコミュニティWikiのはずですか？このことについては知りません）。 理想的には、リストはNEXPの完全な問題のさまざまな「タイプ」を網羅し、おそらく全体像を得るためのある程度の健全な冗長性を備えていますが、繰り返しはしません。たとえば、簡潔なエンコーディングの形式がわずかに異なる場合は、同じNP完全問題の2つまたは3つの異なる簡潔なバージョンを例として使用するとよいでしょう。ダースではありません。冗長性を追加するクリーンな方法は、「NEXP-complete if BLAH」という形式の句を追加することです。「入力グラフの次数が最大BLAHの場合、NEXP-completeのまま」という形式の句も歓迎します。 最後に、個人的な好みを追加します。私は、もしあれば、「代数的」フレーバーの完全な問題に最も興味を持っています。たとえば、私のお気に入りの＃P-complete問題は、代数的フレーバーのパーマネントです。NEXP = MIPの平等性が、私が気付いていない素敵な代数的NEXP完全問題を提供できることを願っています。

31 cc.complexity-theory  complexity-classes  big-list  nexp 

それが可能であることを？そのような封じ込めの興味深い結果はありますか？指数時間仮説と矛盾しますか？SA T¯¯¯¯¯¯¯¯¯¯∈ NT私ME（exp（n0.9））SAT¯∈NT私ME（exp⁡（n0.9））\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

NEXP NPにある問題があり、指数関数的な時間とたった1つの交替（存在状態で開始）を使用してTMを交互に変更することでも解決できます。NPNP^{\text{NP}} NEXP NPについて何か知られていますか？NEXPまたは他のクラスと同等ですか？一般的な問題以外の完全な問題はありますか（NEXP NPマシンと一言で、それは受け入れますか？）。NPNP^{\text{NP}}NPNP^{\text{NP}}

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

DOES 意味するものではE = N Eを？EXP=NEXPEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity