| 意味 |
True quantified Boolean formulaとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。
ウィキペディア英語版での「True quantified Boolean formula」の意味 |
True quantified Boolean formula
出典:『Wikipedia』 (2011/07/12 07:46 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified (or bound), using either existential or universal quantifiers, at the beginning of the sentence. Such a formula is equivalent to either true or false (since there are no free variables). If such a formula evaluates to true, then that formula is in the language TQBF. It is also known as QSAT (Quantified SAT).
1
TQBF問題
英和対訳
|
| 意味 |
True quantified Boolean formulaのページの著作権
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのTrue quantified Boolean formula (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1blossom
-
2今朝は大変寒かったので、私はコートを着たままでいた。
-
3madly in love
-
4〈同じ〉just the same
-
5present
-
6茜部菱野
-
7expect
-
8合体
-
9u. p
-
10gort
閲覧履歴
 | 「True quantified Boolean formula」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
