タグ付けされた質問 「decision-problem」

はいまたはいいえの答えを持ついくつかの正式なシステムでの質問。

7
立法はNP完全ですか?
法的コードを複雑性に関連付ける作業があったかどうかを知りたい。特に、「この法律の本とこの特定の状況を考えると、被告は有罪ですか?」という決定問題があると仮定します。どの複雑度クラスに属しますか? カードゲームMagic:the GatheringはNPとチューリング完全の両方であることが証明された結果があります。同様の結果が法的なコードに存在すべきではないでしょうか。

2
Cのvoid型がempty / bottom型と類似していないのはなぜですか?
ウィキペディアと私が見つけた他のソースはvoid、空のタイプではなくユニットタイプとしてリストCのタイプを見つけました。void空の/下の型の定義によりよく適合するように思えるので、この混乱を見つけます。 void私が知る限り、値は存在しません。 戻り値の型がvoidの関数は、関数が何も返さないため、何らかの副作用しか実行できないことを指定します。 タイプのポインターvoid*は、他のすべてのポインタータイプのサブタイプです。また、void*C との間の変換は暗黙的です。 最後の点voidに、空の型であることの引数としてのメリットがあるかどうかはわかりvoid*ませんvoid。 一方、voidそれ自体は他のすべてのタイプのサブタイプではありません。これは、タイプがボトムタイプであるための要件であると言えます。
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

6
要素の繰り返しなしでペアのセットから組み合わせを生成する
ペアのセットがあります。各ペアの形式は(x、y)で、x、yは範囲の整数に属します[0,n)。 したがって、nが4の場合、次のペアがあります。 (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 私はすでにペアを持っています。次に、n/2整数が繰り返されないようにペアを使用して組み合わせを作成する必要があります(つまり、各整数は最終的な組み合わせで少なくとも1回出現します)。理解を深めるための正しい組み合わせと間違った組み合わせの例を次に示します 1. (0,1)(1,2) [Invalid as 3 does not occur anywhere] 2. (0,2)(1,3) [Correct] 3. (1,3)(0,2) [Same as 2] ペアができたら、可能性のあるすべての組み合わせを生成する方法を誰かが提案できますか?

2
意思決定問題の最適化バージョン
この質問は、Computer Science Stack Exchangeで回答できるため、Theoretical Computer Science Stack Exchangeから移行されました。 7年前に移行され ました。 各最適化/検索問題には同等の決定問題があることが知られています。たとえば、最短経路問題 最適化/検索バージョン: 無向無加重グラフと2つの頂点与えられた場合、と間の最短経路を見つけます。G=(V,E)G=(V,E)G = (V, E)v,u∈Vv,u∈Vv,u\in Vvvvuuu 決定版: 無向無加重グラフ、2つの頂点、および非負の整数与えられた場合、長さが最大でであると間にパスがありますか?G=(V,E)G=(V,E)G = (V, E)v,u∈Vv,u∈Vv,u\in VkkkGGGuuuvvvkkk 一般に、「 stを見つけてください!」「x \ in X st f(x)\ leq kがありますか?」になります。x∗∈Xx∗∈Xx^*\in XX ∈ X F (X )≤ Kf(x∗)=min{f(x)∣x∈X}f(x∗)=min{f(x)∣x∈X}f(x^*) = \min\{f(x)\mid x\in X\}x∈Xx∈Xx\in Xf(x)≤kf(x)≤kf(x) \leq k しかし、その逆も真です。つまり、すべての決定問題に対して同等の最適化問題がありますか?そうでない場合、同等の最適化問題がない決定問題の例は何ですか?

5
NPでこの決定できない問題がないのはなぜですか?
明らかにNPには決定できない問題はありません。ただし、ウィキペディアによると: NPは、答えが「はい」であるインスタンスが決定論的チューリングマシンによって多項式時間で検証可能な[..証明]を持つすべての決定問題のセットです。 [...] 多項式時間で実行される問題の検証者が存在する場合にのみ、問題はNPにあると言われます。 ここで、次の問題を検討してください。 ディオファントス方程式が与えられた場合、整数解はありますか? 解決策を考えると、それはそれが本当にいることを多項式時間で検証するのは簡単ですですソリューション:ちょうど式に数字を差し込みます。したがって、問題はNPにあります。ただし、この問題を解決することは決定できないことが有名です! (同様に、「このプログラムはN番目のステップで停止する」という「はい」解決策はNステップで検証できるため、停止の問題はNPにあるはずです。) 明らかに、私の理解には何か問題がありますが、それは何ですか?

1
Distinguish Decision Procedure vs SMTソルバーvs定理証明者vs制約ソルバー
これらの用語は私を混乱させます。私が理解するように SATソルバー:命題論理の充足可能性を決定します(DPLLまたはローカル検索を使用)。 決定手順は、特定の決定可能な一次理論の充足可能性を決定する手順です。 SMTソルバーは、SATソルバー+決定手順です。 定理証明者は、KeYツールなどのダイナミックロジックのようなものを示します。 制約ソルバー:わかりません。 しかし、Z3を定理証明者と呼ぶ人々がいます。したがって、これらの用語をどのように区別するかはわかりません。そして、それらすべての最も一般的な用語は何ですか?ありがとうございました。

2
巡回セールスマン問題は多項式時間でどのように検証可能ですか?
だから、私は決定問題が次のように定義されているという考えを理解しています コストがCよりも低いパスPはありますか? そして、受け取ったパスを確認することで、これが正しいことを簡単に確認できます。 ただし、この基準に適合するパスがない場合はどうなりますか?最適なパスTSP問題を解決せずに、「いいえ」の答えをどのように検証し、最良の問題を見つけるにはCよりもコストがかかりますか?

3
SATやその他の決定問題に対する近似アルゴリズムがないのはなぜですか?
NP完全決定問題があります。問題のインスタンスが与えられた場合、問題が実行可能な場合はYESを出力し、それ以外の場合はNOを出力するアルゴリズムを設計したいと思います。(もちろん、アルゴリズムが最適でない場合、エラーが発生します。) このような問題に対する近似アルゴリズムは見つかりません。私は特にSATを探していましたが、ウィキペディアの近似アルゴリズムに関するページで次のことがわかりました:アプローチの別の制限は、充足可能性などの「純粋な」決定問題ではなく、最適化問題にのみ適用されることです。 。 たとえば、なぜ近似比を、アルゴリズムが犯す間違いの数に比例するように定義しないのですか?貪欲で準最適な方法で決定問題を実際にどのように解決しますか?

3
言語がコンテキストフリーかどうかをテストするアルゴリズム
言語がコンテキストフリーかどうかをテストするためのアルゴリズム/体系的な手順はありますか? つまり、代数形式で指定された言語(ようなものを考えてください)で、その言語がコンテキストフリーかどうかをテストします。学生が宿題をすべて手伝うためのWebサービスを作成していると想像してください。言語を指定すると、Webサービスは「コンテキストなし」または「コンテキストなし」を出力します。これを自動化する良い方法はありますか?L={anbnan:n∈N}L={anbnan:n∈N}L=\{a^n b^n a^n : n \in \mathbb{N}\} もちろん、ポンピング補題、オグデンの補題、パリフの補題、インターチェンジ補題など、手動校正のテクニックがあります。ただし、それらはいずれかの時点で手動の洞察を必要とするため、それらをアルゴリズムに変換する方法は明確ではありません。 私は見Kavehが他の場所で書かれた、すべての可能な言語で作業に任意のアルゴリズムには希望がないようですので、非文脈自由言語のセットが帰納的可算でないこと。したがって、Webサービスは「コンテキストフリー」、「コンテキストフリーではない」、または「わからない」を出力できる必要があると思います。教科書で見られる可能性のある多くの言語で、「私にはわからない」以外の答えを提供できることが多いアルゴリズムはありますか?このようなWebサービスをどのように構築しますか? この質問を適切にするには、ユーザーが言語を指定する方法を決定する必要があります。私は提案を受け入れますが、私はこのようなことを考えています: L={E:S}L={E:S}L = \{E : S\} ここで、はワード式で、は長さ変数の線形不等式のシステムで、次の定義があります。EEESSS 各ワード表現です。(これらは任意の単語を保持できる変数を表します。)x,y,z,…x,y,z,…x,y,z,\dotsΣ∗Σ∗\Sigma^* それぞれワード表現です。(暗黙的に、であるためは基礎となるアルファベットの単一のシンボルを表します。)a,b,c,…a,b,c,…a,b,c,\dotsΣ={a,b,c,…}Σ={a,b,c,…}\Sigma=\{a,b,c,\dots\}a,b,c,…a,b,c,…a,b,c,\dots 各あれば、単語表現で可変長のです。aη,bη,cη,…aη,bη,cη,…a^\eta,b^\eta,c^\eta,\dotsηη\eta 単語表現の連結は単語表現です。 各長さ可変です。(これらは、任意の自然数を保持できる変数を表します。)m,n,p,q,…m,n,p,q,…m,n,p,q,\dots それぞれ長さ変数です。(これらは対応する単語の長さを表します。)|x|,|y|,|z|,…|x|,|y|,|z|,…|x|,|y|,|z|,\dots これは、教科書の演習で見られる多くのケースを処理するのに十分なようです。もちろん、必要に応じて、代数形式で言語を指定する他のテキストによる方法に置き換えることができます。


2
式の等価性のための効率的なアルゴリズムはありますか?
例:?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) 式は普通の高校の代数からのものですが、逆数、減算、除算のない算術加算と乗算(例)に制限されています。文字は変数です。2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 役立つ場合は、以外の数値で表現可能な式を禁止できます。すなわち、でもでもでもない:111x2x2x^23x3x3x444 multilinear、以外の累乗:はOKですが、ではなく、aのように表現できるものではありません積和への完全展開。 111x+xy≡x1+x1y1x+xy≡x1+x1y1x+xy \equiv x^1+x^1y^1x2+x3y4x2+x3y4x^2+x^3y^4x(x+y)≡x2+yx(x+y)≡x2+yx(x+y) \equiv x^2+y all one、以外の係数はありません:はOKですが、ではなく、そのように表現できるものはありません -of-製品例 ; そして X + X Y ≡ 1 、X + 1 、X 、Y 2 、X + 3 、X 、Y 、A (X + Y )+ X (+のB )≡ 2 A X + Y + B X111x+xy≡1.x+1.xyx+xy≡1.x+1.xyx+xy \equiv 1.x+1.xy2x+3xy2x+3xy2x+3xya(x+y)+x(a+b)≡2ax+ay+bxa(x+y)+x(a+b)≡2ax+ay+bxa(x+y)+x(a+b) …


2
NPの通信後問題はありますか?
Sipserの著書「通信後問題に関する計算理論入門」のいくつかのページを読んだばかりで、PCPは実際にはNPにあると考えています。認証者は、次のとおりパイルの入力構成のための 連結T 1、T 2、。。。、t nを文字列tとして、b 1、bを連結する(t1/ b1、t2/ b2、。。。tn/bn)(t1/b1、t2/b2、。。。tn/bn)(t_1/b_1, t_2/b_2,...t_n/b_n)t1、t2、。。。、tnt1、t2、。。。、tnt_1, t_2,...,t_ntttb1、b2、。。。、bnb1、b2、。。。、bnb_1, b_2, ..., b_nbbbtttbbb

3
NFAが別のNFAのサブセットを受け入れるかどうかの効率的なテストはありますか?
したがって、正規言語が正規言語サブセットであるかどうかのテストは決定可能です。両方をDFAに変換し、計算してから、この言語が空かどうかをテストできるからです。RRRSSSR∩S¯R∩S¯R \cap \bar{S} ただし、これにはDFAへの変換が必要であるため、DFA、ひいてはテストアルゴリズムが、入力NFAの状態の数に関して指数関数的になる可能性があります。 多項式時間でこれを行う既知の方法はありますか?一般に、この問題はCo-NPが完全であることが証明されていますか? では受け入れられるがでは受け入れられない単語は多項式証明者になるため、問題はCo-NPにあることに注意してください。RRRSSSR⊈SR⊈SR \not \subseteq S 編集:これは、そのような単語が状態の数で多項式になるという保証がないため、正しくありません。

2
2つのDFAの同等性は決定的な問題ですか?
2つのDFAが与えられた場合、それらが同じ言語を生成するかどうかを見つける問題は決定的な問題ですか? 2つのCFLの平等は決定可能ではないことはすでに知っています しかし、2つのDFAの等価性はどうですか?DFAの問題のほとんどが決定可能であることを考えると、これも決定可能ですか?

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