日本の
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
完全な記事
カテゴリ
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
あなたが書く
ユーザー
ログイン
登録
パスワードの復元
タグ
言語タグ
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
タグdecision-problem - これはページ1です - GeneraCodice
決定木をオートマトンに変換する方法
https://www.generacodice.com/jp/articolo/2479078/決定木をオートマトンに変換する方法
decision-tree
-
automata
-
decision-problem
cs.stackexchange
$ \ {w~ |〜\ forall x \ in t(m_v):| | w |> | x |〜\ \} $ Decidable?
https://www.generacodice.com/jp/articolo/2475207/-w-forall-x-in-t-m-v-w-x-decidable
undecidability
-
semi-decidability
-
decision-problem
cs.stackexchange
単語メンバー$ \ in $ L(m)が決定可能かどうかを判断するのは問題ですか?
https://www.generacodice.com/jp/articolo/2474814/単語メンバー-in-l-m-が決定可能かどうかを判断するのは問題ですか
turing-machines
-
formal-languages
-
undecidability
-
decision-problem
cs.stackexchange
固定出力を備えた米の定理
https://www.generacodice.com/jp/articolo/2473617/固定出力を備えた米の定理
turing-machines
-
decision-problem
-
rice-theorem
cs.stackexchange
なぜそのような停止問題decidableのための五の言語の限定ものづくりの最高値の定数や変数には?
https://www.generacodice.com/jp/articolo/2473164/なぜそのような停止問題decidableのための五の言語の限定ものづくりの最高値の定数や変数には
halting-problem
-
turing-completeness
-
decision-problem
cs.stackexchange
私は$ 2 ^ n $ビットサイズの証明書に関する決定問題を持っています、それが$ NP $であれば私の決定問題を効率的に検証するのでしょうか。
https://www.generacodice.com/jp/articolo/2472800/私は-2-n-ビットサイズの証明書に関する決定問題を持っています-それが-np-であれば私の決定問題を効率的に検証するのでしょうか
decision-problem
cs.stackexchange
NPのメンバーシップを表示するための証明書/検証者の非決定的多項式時間アルゴリズム
https://www.generacodice.com/jp/articolo/2472768/npのメンバーシップを表示するための証明書-検証者の非決定的多項式時間アルゴリズム
definitions
-
np
-
proof-techniques
-
decision-problem
-
complexity-classes
cs.stackexchange
すべての決定的な言語$ L $には、無限のDecidable Subset $ S \ Subset L $が$ L \ SetMinus S $が無限大です。
https://www.generacodice.com/jp/articolo/2471648/すべての決定的な言語-l-には-無限のdecidable-subset-s-subset-l-が-l-setminus-s-が無限大です
turing-machines
-
computation-models
-
decision-problem
cs.stackexchange
Proof of Co-Problem being in NP if Problem is in NP using negated output
https://www.generacodice.com/jp/articolo/2471546/proof-of-co-problem-being-in-np-if-problem-is-in-np-using-negated-output
np-complete
-
np
-
decision-problem
cs.stackexchange
$ L(a)/ l(b)$のためのコンピューティングオートマトンは$ a、b $のためのものを与える
https://www.generacodice.com/jp/articolo/2471312/-l-a-l-b-のためのコンピューティングオートマトンは-a-b-のためのものを与える
turing-machines
-
finite-automata
-
decision-problem
cs.stackexchange
«
1
2
3
4
5
6
»
結果が見つかりました: 400