非均匀选择解决方案用于上界3-SAT阈值
摘要：用一阶矩法，我们对3-SAT阈值的上界给出了新的见解。目前所开发出的最佳选择要计数的解决方案的准则，在每个个体自由变量的统一信息基础上，区分相邻的解决方案。我们所说的统一信息，指的是不依赖于解决方案的信息，例如所考虑变量的正/负出现次数。我们方法的创新之处在于，我们使用了变量的非统一信息。因此，我们能够进行更精确的调整，从而在定义为根据其分布的各种模型的公式的上界上略微改善3-SAT阈值。
作者：Thomas Hugel and Yacine Boufkhad
论文ID：1002.1636
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2010-04-19