不可满足的CNF公式需要很多冲突
摘要：每对CNF公式中的子句，如果存在一个变量在一个子句中是正的，在另一个子句中是负的，则构成冲突。没有任何冲突的CNF公式是可满足的。Lovasz本地引理暗示了如果每个子句与至多2^k/e-1个子句冲突，则k-CNF公式是可满足的。然而，它没有对不可满足公式的全局冲突数量提供任何好的界限。我们在这里证明，每个不可满足的k-CNF公式需要2.69^k个冲突，并且存在具有3.51^k个冲突的不可满足k-CNF公式。
作者：Dominik Scheder and Philipp Zumstein
论文ID：0806.1148
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2010-09-07