boolean satisfiability problemとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem、SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。

Weblio英和対訳辞書での「boolean satisfiability problem」の意味

Boolean satisfiability problem

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

出典元索引ランキング

「boolean satisfiability problem」の部分一致の例文検索結果

該当件数 : 1件

例文

In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics.例文帳に追加

一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

ウィキペディア英語版での「boolean satisfiability problem」の意味

Boolean satisfiability problem

出典:『Wikipedia』 (2011/06/24 16:24 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE. Equally important is to determine whether no such assignments exist, which would imply that the function expressed by the formula is identically FALSE for all possible variable assignments. In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable. To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

出典元索引ランキング

「boolean satisfiability problem」の意味に関連した用語

充足可能性問題

(英和対訳)

satisfiability

(Wiktionary英語版)

意味

例文 (1件)

boolean satisfiability problemのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。

Wikipedia

Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのBoolean satisfiability problem (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

boolean satisfiability problemとは 意味・読み方・使い方

Weblio英和対訳辞書での「boolean satisfiability problem」の意味

Boolean satisfiability problem

「boolean satisfiability problem」の部分一致の例文検索結果

ウィキペディア英語版での「boolean satisfiability problem」の意味

Boolean satisfiability problem

「boolean satisfiability problem」のお隣キーワード

boolean satisfiability problemとは意味・読み方・使い方