可满足性
更新时间:-- | 阅读量: 11

形式语言中一公式是可满足的,当且仅当至少存在一个解释,使该公式成为真命题。例如:公......该公式即为命题“所有的人都是要死的”，这是个真命题。而&#8707；x（F（x）∧&#8641；F（x））是不可满足的，因为不存在解释使该公式成 ...

搜索到与“ 可满足性”相关的文献共 1条

Horn函数可满足性的复杂性(英文)
本文证明了Ｈｏｒｎ函数的极大可满足性即使是限制在如下两种情况中的任何一种也是ＭＡＸＳＮＰ困难的，第一种情况是每个公式都是二次的，第二种是公式中每一个非单位子句有且只有一个补元，这意味着在这档两种...

《数学理论与应用》 1999年03期关键词: "近似度"," 复杂性"," Horn公式"," MAXSNP-困难的" 收藏