3-SAT的新上界
摘要：随着n的增长，我们表明，以至少4.4898的子句-变量比例随机选择的n个变量的3-CNF公式渐近几乎肯定是不可满足的。由于Dubois在1999年的先前最佳界限为4.506。自1983年以来，许多研究小组独立发现的第一个界限为5.19。在这之间的年份中，出版了几个递减的值。我们使用的证明概率技术是独立感兴趣的。
作者：J. Diaz, L. Kirousis, D. Mitsche, X. Perez-Gimenez
论文ID：0807.3600
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2008-07-24