sat算法的应用着色问题.pptxVIP

SAT算法的应用 ---着色问题 The reductions of basic CAD and Quantum CAD problems. It should be obvious to the reader familiar with Garey and Johnson seminal book that there are hundreds of practical problems efficiently reducible to same problems from this graph. Tens of hundreds of important problems can be converted to SAT 布尔逻辑函数 逻辑函数的定义 (1) 逻辑变量和逻辑函数的取值只有0和1。 (2) 函数和变量之间的关系由“ 与、或、非 ”三种基本运算决定。 设某一逻辑电路的输入为A1A2……An，输出函数为F，当A1A2……An的值确定之后，F的值就唯一的确定了。称F为A1A2……An的逻辑函数。记为： F＝f(A1A2……An)。 逻辑代数的基本定理 一、公理 三、交换律 二、公式(可由公理推出) 四、结合律 五、分配律 A(BC)=(AB)C A+(B+C)=(A+B)+C A(B+C)=AB+AC A+BC=(A+B)·(A+C) 加法的分配律 六、摩根