bn:03241303n
Noun Concept
Categories: 形式手法, 数学の問題, 数学基礎論, 数学に関する記事
JA
充足可能性問題  充足可能性  確率伝播法  ブール充足可能性  命題充足
JA
充足可能性問題(じゅうそくかのうせいもんだい、satisfiability problem, SAT)は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 あるいは真 にうまく定めることによって全体の値を'真'にできるか、という問題をいう。 Wikipedia
Definitions
Relations
Sources
JA
充足可能性問題(じゅうそくかのうせいもんだい、satisfiability problem, SAT)は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 あるいは真 にうまく定めることによって全体の値を'真'にできるか、という問題をいう。 Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikidata Alias
Wikipedia Translations