库克(Cook)定理9.pptVIP

§5．5 库克(Cook)定理 令U = {u1,u2,…,um}是逻辑变量的集合，f为函数 f：U → {真，假} 变量u ∈ U ，如f(u)为真，则称u为真， 否则称u为假。 u和 ?u 称为U上的因子。 变量u为真时，称因子u为真，因子 ?u为假； 　 　　　　　　　　　　　　　 　 变量u为假时，称因子u为假，因子?u为真。 U上的因子构成的集合C称为U上的项。 项之诸因子之间有“或”的关系。 项若有一个因子为真，则我们称项为真； 若项的所有因子皆假，则称项为假。 由U上的项构成的集合F称为U上的公式。 公式的各项之间有“与”的关系。 公式若有一个项为假，则我们称公式为假； 若公式的所有项皆真，则称公式为真。 如存在函数 f：U → {真，假} 使公式F为真，则称公式F是可满足的。 可满足性问题(SAT) 实例；逻辑变量集合 U = {u1,u2,…,um}及公式F 问：是否存在函数f：Ｕ→{真，假}使公式