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

計算の複雑さのクラスとその関係

1
CNFを同じ変数で定義された同等の3-CNFに変換する
（私はこの質問を10日前にCSに投稿しましたが、それ以降は回答がありません。ここに投稿します。） 新しい変数を使用することで、CNF数式を多項式時間で3-CNF数式に変換できます。新しい変数が許可されていない場合、常に可能であるとは限りません（たとえば、単式：）。(x1∨x2∨x3∨x4)(x1∨x2∨x3∨x4)(x_1 \lor x_2 \lor x_3 \lor x_4) （SATから3-SATへの）問題を定義してみましょう：与えられた、CNF式。それは、変換することが可能である定義した同等の3-CNFに同じ変数にとして？-「同等」とは、同じモデルのセットを意味します。FFFFFFFFF この問題の複雑さは何ですか？
3
P対NP：ブルートフォース検索を回避できる場合の有益な例
P対NPの問題を非数学者に説明できるようにするために、ブルートフォース検索を回避できる場合の教育的例を挙げたいと思います。問題はすぐに理解できるのが理想的であり、トリックは簡単すぎたり、難しすぎたりしてはなりません。 これまでに思いついた中で最高のものは SUBSET_PRODUCT_IS_ZERO 問題は簡単に理解できます（整数のセットが与えられ、製品0のサブセットを形成できるか？）。サブセット）。 助言がありますか？
1
複雑性クラスの代数的（または数値的）不変量
この質問がこのサイトにとってあまりにも単純ではないことを願っています。 数学（トポロジー、幾何学、代数）では、代数的または数値的不変式を考案して2つのオブジェクトを区別し、2つのオブジェクトの値が異なることを証明するのが一般的です。これが複雑度クラスでどの程度試行されているのか（または、そうである場合は、なぜこれについて聞いたことがないのか）と思います。代数的構造は、全体として理論的コンピューターサイエンスで多く表示されます（理論的コンピューターサイエンスでの代数的構造の使用を参照）。 私の初心者では、2つの言語が同等であるという概念を想像できます。これも可逆的な多項式時間削減（または文字列の全単射）の存在です。この概念が不適切であることも想像できます。カーディナリティーが異なる有限言語は、無限言語に関心がある場合でも、同等と見なすことはできません。 興味深い結果をもたらした言語の同型の弱い概念は他にありますか？複雑さのクラスを区別するために使用されている他の種類の数値的にフレーバーされた不変量はありますか？
1
#SATから#HornSATへの削減をカウントしますか？
#SATから#HornSATへのカウントの減少を見つけることは可能ですか？ここに投稿されたこの質問は見つかりませんでしたので、誰かがこれに答えているかどうかを確認することにしました。削減を数えることの意味を説明しましょう。 仮定する 2つのカウントの問題です。例えば、#SATは多くの充足割り当ては、特定のインスタンスのためにそこにあるか尋ねるφ、およびF 、Gは、目撃者の総数を求める同様の計数問題です。弱倹約計数減少からFへgは多項式時間計算可能関数のペアで構成さは、σ ：{ 0 、1 } * → { 0 、1 }f、g：{ 0 、1 }∗→ Nf,g:{0,1}∗→Nf,g : \{0,1\}^* \to \mathbb Nφϕ\phif、gf,gf,gfffgggおよび τ ：{ 0 、1 } * × N → Nように、F （X ）= τ （X 、G （σ （X ）））。その場合には、F （X ）= G （σ （X ））、これが強く倹約計数減少として知られています。σ：{ 0 、1 }∗→ …
1
双方向の確定的マルチヘッドカウンターオートマトンまたはカウンター付きログスペースTM
双方向の決定論的マルチヘッドカウンターオートマトンまたはカウンター付きのログスペースTM（同等のモデル）によって認識される言語について、それは何か知られていますか？このクラスは、私のアドバイザーの論文で Aux2DCと呼ばれていました。またはそのような非決定論的なクラスについてはどうですか？このような非決定的なマシンによって認識される言語のクラスにはNLが含まれ、LOGCFLに含まれているようです。この問題に関する論文はありますか？その結果は簡単ですか？
1
多項式反転の複雑さを持つ一方向関数
トラップドアのようなコードの複雑多項式時間れる機能があるnk1nk1n^{k_{1}}及び（秘密鍵なし）の複雑さを反転は、入力長の多項式関数でありと（あり、は無条件で未満に制限されていることが証明可能です）？場合、そのような関数の意味は何ですか？nk2nk2n^{k_{2}}k1&lt;&lt;k2k1&lt;&lt;k2k_{1} << k_{2}k1=2k1=2k_{1} = 2k2k2k_{2}100010001000VNP=VPVNP=VPVNP = VP
3
既知の疑似多項式PSPACE完全問題は何ですか？
参考資料、または疑似多項式時間で解けるPSPACE完全問題の具体例を教えてください。 追加ノート： 疑似多項式時間の定義：http : //en.wikipedia.org/wiki/Pseudo-polynomial_time 前述のコメントへの返信。以前に、FPTASを含むPSPACE完全な問題があるかどうかを尋ねました。驚くべき答えはYESでした！ FPTASアルゴリズムを持つ特定のPSPACE Complete Problemはありますか？ したがって、これはフォローアップの質問です。 （EXP予想は複雑度クラスNPに適用されますが、疑似多項式時間で解けるNP完全問題が存在することに注意してください！） 補遺... Sasho NikolovがFPTとPspaceについて尋ねました。Pspace、Exp、Exp Space completeなどのFPT問題があることを知っています...残念ながら私には参照がありません...覚えていれば修正されます ありがとう!!! ゼラ
1
「ケージ化された」複雑性クラス？
これは、「超線形回路の境界が既知である「最小」の複雑性クラスは何ですか？」に対するさまざまな応答を読んだ後、頭に浮かんだやや軽薄な質問です。 回答は参照しており、動物園のエントリを確認したところ、次のことがわかりました。S2PS2P\mathsf{S_2 P} ：聞かないS2−EXP∙PNPS2−EXP•PNP\mathsf{S_2-EXP•P^{NP}} Complexity Zooのケージクラスの1つ。 、c o N P、およびE Hを含む崩壊スキャンダルに関与しているAM[polylog]AM[polylog]\mathsf{AM}[\text{polylog}]coNPcoNP\mathsf{coNP}EHEH\mathsf{EH} だから今、私は興味をそそられます。ケージ化された複雑性クラスとは何ですか、そしてここでジューシーなスキャンダルは何ですか:)？動物園には明確にする参照がありません。
3
SPACE（n）とEの関係
SPACE（n）（線形空間を持つ確定的TMによって認識される言語のクラス）がE（時間2 ^ O（n）の確定的TMによって認識される言語のクラス）の適切なサブセットであるかどうかはわかっていますか？
1
#SATを＃MONOTONE-2SATに削減
問題＃MONOTONE-2SATは＃P-completeであることがわかっています。これは、＃SATをそれに削減できることを意味します。私の質問は：#SATインスタンス与えられた場合、これはFを対応する＃MONOTONE-2SATインスタンスF ′に変換する変換です？FFFFFFF′F′F' 2番目の質問は、をF ′の解の数とし、KをFの解の数とすることです。DOES K " = K？または、K ′をKに変換する逆変換を使用する必要がありますか？K′K′K'F′F′F'KKKFFFK′=KK′=KK' = KK′K′K'KKK
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.