タグ付けされた質問 「complexity-classes」

複雑性クラス間の関係についての質問。

1
NP∩co-NPとNPIとの関係について何を知っていますか?
TAは本日、NPと共同NPについて質問するために立ち寄りました。私も困惑したところに行きました。P、NPI、NP、Co-NPのベン図は、P≠NP(他のケースは退屈です)と仮定するとどのように見えますか? 4つの基本的なオプションがあるようです。 NP∩co-NP = P 特に、co-NPI∩NPI =∅ NP∩co-NP = P∪NPI 特に、co-NPI = NPI? NP∩co-NP⊃P∪NPI∪co-NPI この場合のフォローアップの質問は、NPCとco-NPCがどのように関連しているかです。重複はありますか? 何か他のもの、それは特にNPIからのいくつかの問題はco-NPにあり、他はそうではありません。 どちらが正しいか、少なくともどれが正しくないかを知っていますか? NPIとNP∩co-NPの複雑な動物園のエントリは、何かが知られているという希望を抱かせるものではありませんが、そこに浮かんでいる他のすべてのクラス(およびこの質問への影響)を理解するのに十分なほど複雑な理論には流暢ではありません。 。

3
「最小」ですか、つまり、はが
仮定ΠΠ\Pi決定可能決定問題です。 DOES Π∉NPΠ∉NP\Pi\not \in NP暗示ΠΠ\PiあるNPNPNP -hard? 編集:\ Pi \ in coNP \ setminus NPが存在する場合Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP、これで完了です。未知の仮定なしにクレームに異議を唱えることはできますか?

1
NCの指数関数的アナログ?
Nickのクラス(NC)は、多項式数のプロセッサを使用して、多対数時間で決定できる問題のクラスです。 指数関数的なアナログについて知りたい。これは、指数関数的な数のプロセッサを使用して多項式時間で決定できる問題をカバーするだろう。 私が探しているのは、このクラスの名前と、このクラスと他の複雑性クラスとの間の既知の関係、またはクラスの正規の問題です。NPとco-NPが含まれるのは簡単なようですが、PSPACE内に含まれていると思いますが、それ以外についてはよくわかりません。

2
サビッチの定理で、なぜ空間構成性がしばしば必要なのですか?
サビッチの有名な定理が述べられているとき、S(n)S(n)S(n)が空間構築可能であるという要件がよく見られます(興味深いことに、Wikipediaでは省略されています)。私の簡単な質問は、次のとおりです。なぜこれが必要なのですか。がにあるという要件を理解しています。これは証明から明らかです。しかし、これまでにが空間構築可能であることを明示的に使用している証拠はありません。S(n)S(n)S(n)Ω(logn)Ω(log⁡n)\Omega(\log n)S(n)S(n)S(n) 私の説明:プロシージャREACH(またはPATHまたはそれを呼び出すもの)を呼び出すには、最後のパラメーターを「スペルアウト」する必要があり、1回の呼び出しでS(n)のスペース境界を残さないようにする必要があります。 、それを書き留めるために以上のスペースを必要としてはなりません。S(n)S(n)S(n)


1
結果
我々が知っている等価であり、多項式階層に崩壊番目のレベル。PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 他の自明でない崩壊と結果は何ですか?



1
(SAT to 3-SAT)問題の複雑さ?
新しい変数を使用することにより、CNF数式を多項式時間で3-CNF数式に変換できることはよく知られています(ここを参照)。新しい変数の使用が許可されていない場合、常に可能であるとは限りません(たとえば、単一句の式を考えてみます:(x1∨x2∨x3∨x4)(x1∨x2∨x3∨x4)(x_1 \lor x_2 \lor x_3 \lor x_4))。 (SAT to 3-SAT)問題を定義してみましょう: FFF、CNF式。変身することは可能ですかFFF3-CNFが定義同等に同じ変数にとしてFFF?-「同等」とは、同じモデルのセットを意味します。 この問題の複雑さは何ですか? 編集:問題はco-NPハードであることがcstheoryで示されています。

1
モノトーンの複雑さ(+、2)SAT問題?
この投稿を続けるには、モノトーンを定義しましょう(+ 、2−)(+,2−)(+, 2^-)-SATの問題: 単調CNF式を与え、各変数が一度だけ(正リテラルとして)表示される場所、および単調2-CNF式と同じ変数に定義された、すべての変数がネゲートされます。ある満足できますか?F+F+F^+F−2F2−F_2^-F+F+F^+F+∧F−2F+∧F2−F^+ \land F_2^- この問題はNP完全ですか?

1
すべての言語が EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}} で計算することができます 2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}})。 私の質問は、その逆が真であるかどうかです: 2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}?

1
行列の列のサブセットを選択します。簡単ですか?
この問題が多項式時間で解けるかどうか知りたいのですが? 問題は次のとおりです。サイズが2 \ times nの非負の整数値行列2×n2×n2\times nと2つの非負の整数値b&lt;nb&lt;nb<nおよびcが与えられますccc。 問題は、列のサブセットの各行の合計がcよりも大きくなるように、最大bのカーディナリティの列のサブセットを見つけることです。そのようなサブセットが存在しない場合は、noを返します。bbbccc NP難しいとは言えません。 編集: 硬さを証明するための私の試み:Filmusの提案に従って、PARTITION(インスタンスは負でない整数のセット\ {a_1、\ ldots、a_n \}によって与えられる{a1,…,an}{a1,…,an}\{a_1,\ldots,a_n\})を私の問題に削減しようとしました。もちろん失敗しました。私が理解しなかったと思うのは、非負の整数のセットの分割がこの問題にどのように関係しているのですか?私の問題では、何かを最大化するために\ {1、\ ldots、n \}のサブセットを選択したいということです{1,…,n}{1,…,n}\{1,\ldots,n\}。これがパーティションであることがわかりません。私は多くの考えを試してみましたが、ここにそれらすべてを書くことはできません: 最初の行にa_ {2i}のみ、2番目の行にa_ {2i + 1}のみを含む行列を作成しようとしました。a2ia2ia_{2i}a2i+1a2i+1a_{2i+1} 最初の行を昇順でソートし、2番目の行を降順でソートするのに疲れました。 となるように、を2つの値とに分割し、最初の行に、2番目の行にを含む行列を作成しようとしました。aiaia_iαiαi\alpha_iβiβi\beta_iai=αi+βiai=αi+βia_i=\alpha_i+\beta_iαiαi\alpha_iβiβi\beta_i PARTITIONを使用して問題のNP困難さを示すにはどうすればよいですか?あなたは解決策を与える必要はありません。 問題を解決するための私の解決策: 私はこの解決策を試しました。一般性を失うことなく、行列の最初の行が昇順でソートされると仮定します。(行列の2行目は並べ替える必要はありません。そうでない場合、問題は簡単です。) ここで、行列の最後の列を取ります。bbb 最初の行の合計がよりも小さい場合は、完了したときよりも小さくなり。解決策はありません。ccc または、最後の列の最初の行の合計がより大きい場合、2番目の行の合計を確認します。 bbbccc 最後の列の2番目の行の合計が、よりも大きい場合。最後の列を返します。bbbcccbbb そうでなければ、上の最初の行の合計値列は、より大きいが、上2行目の和列は、以下である。さて、ここに問題があります。bbbcccbbbccc
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.