随机 3-SAT 的可满足性阈值至少为 3.52
组合数学
2007-05-23 v2 离散数学
概率论
摘要
我们证明，子句-变量密度小于 3.52 的随机 3-SAT 实例以高概率为可满足的。该证明通过一个算法得到，该算法依据变量的度数及其补变量的度数来选取（并赋值）一个变量。
引用
@article{arxiv.math/0310193,
title = {The Satisfiability Threshold of Random 3-SAT Is at Least 3.52},
author = {MohammadTaghi Hajiaghayi and Gregory B. Sorkin},
journal= {arXiv preprint arXiv:math/0310193},
year = {2007}
}