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