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

入力の長さの時間多項式で非決定性チューリングマシンで解決できる決定問題に関する質問。

2
ブルートフォース検索の戦略はありますか?
エレガントな表現方法はわかりませんが、基本的にはブルートフォース検索アルゴリズムを実装したいのですが、検索スペースを列挙する方法はたくさんあります。これは私には世間知らずかもしれませんが、検索スペースを列挙する方法を選択すると、アルゴリズムが実際にうまく機能するかどうかに大きく影響すると思います。 簡略化した例として、次の決定問題を考えます。 入力:多項式p(x)p(x)p(x)整数係数と自然数ます。kkk 質問:ようなは存在しますか?i∈[k]i∈[k]i \in [k]p(i)=0p(i)=0p(i) = 0 現在、この問題を解決するためのさまざまなアルゴリズムが存在する可能性がありますが、私はブルートフォースアプローチを選択することにしました。サーチスペースを列挙するには、次の方法を検討してください。 昇順戦略:私はかどうかを確認でき、その後、0であるその後、私が見つけるまで、...、ようにまたは私はすべて試す。p(1)p(1)p(1)p(2)p(2)p(2)p(3)p(3)p(3)iiip(i)=0p(i)=0p(i) = 0i∈[k]i∈[k]i \in [k] 降順戦略:場合、私がチェックすることができ、その後、0である、その後、、···、私が見つけるまで、このようなことまたは私がしてみてくださいすべての。p(k)p(k)p(k)p(k−1)p(k−1)p(k-1)p(k−2)p(k−2)p(k-2)iiip(i)=0p(i)=0p(i) = 0i∈[k]i∈[k]i \in [k] 人気戦略:最も人気のあるソリューションの小さなリストを保存し、数値を試す前にそれらを最初に試すことができます。LLL[k]−L[k]−L[k] - L ふるい戦略:私は一種のふるい列挙を行うことができました。私はすべて2で割り切れる番号試みる、その後数が3で割り切れる次いで次いで、5、7、11、13、などを。(事前計算されたいくつかの素数のリストにアクセスできると仮定します。)[k][k][k][ k ][k][k] ランダム性戦略:ランダムなビットの大きな文字列を利用する興味深い列挙戦略があるかもしれません。 基本的に、私はブルートフォース検索アルゴリズムに関する次の質問に答えたいと思っています。 質問A:特定の列挙戦略を選択するメリットはありますか? 質問B:実際に興味深い列挙戦略を選択する検索問題の例はありますか?人気戦略のバリエーションが実際に効果的に機能する検索問題があるかもしれません。

1
電子自由準同型の下でのPの閉包はNPと等しいですか?
文脈自由言語は、coneオペレーションの下でDyck言語の閉鎖として取得できます。Dyck言語は、決定論的なコンテキストフリー言語であり、コーン演算は、非決定論的な有限状態トランスデューサーによって実装できる演算に対応しています。非決定性有限状態トランスデューサーが長さ証明書(または検証者、またはウィットネス文字列、最初は誤ってこのoracle文字列と呼ぶ)を提供できると考えると、この結果はそれほど驚くべきことではありません。ここで、は入力文字列の長さです。D2D2D_2O(n)O(n)O(n)nnn クラスの定義では、長さ証明書が許可されていますが、多くの完全な問題は、長さ証明書で完全に満足しています。トランスデューサーは制御不能に入力の長さを変更してはならないため、忠実なコーン操作が必要です。、これは下の閉鎖と同等であるべき電子無準同型。(直感的に、準同型は証明書を削除します)。したがって、私の質問:NPNP\mathsf{NP}O(nc)O(nc)O(n^c)NPNP\mathsf{NP}O(n)O(n)O(n)PP\mathsf P e-free準同型の下での閉包はと等しいですか?PP\mathsf PNPNP\mathsf{NP} 上で述べたように、この質問はに対してではなく長さ証明書で十分かどうかという質問と同等でなければなりません。O(n)O(n)O(n)O(nc)O(nc)O(n^c)NPNP\mathsf{NP}


1
NPのすべての問題がわからない場合、どのようにして問題がNP完全であるかを知ることができますか?
次の場合、問題はNP完全です。 NPにあります。 NPのすべての問題はそれに還元できます。 ここで気になるのは2番です。NPのすべての問題を知っていたら、私は非常に驚き ます。その仮定に基づいて、問題がNP完全であることをどのように確実に知ることができますか?たとえば、分からない問題がブール満足度問題に減少するが、クリーク問題には減少しないことをどのようにして知ることができますか?または、そのような問題はNP中間であり、したがってP!= NPが存在する必要があるでしょうか

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