SAT問題
SAT(boolean SATisfiability problem)
充足可能性問題
与えられた命題論理式を全て真にする値割り当てが存在するか否かを判定する問題 SAT Instances
充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。
確認用
Q. SAT問題とは
Q. 充足可能問題
Q. SAT Instancesとは
参考
関連