典型随机 3-SAT 公式与可满足性阈值
离散数学
2007-05-23 v1 计算复杂性
摘要
我们提出了一种新的结构性（或语法性）方法来估计随机 3-SAT 公式的可满足性阈值。我们展示了其在从先前上界实现跳跃方面的效率，将其降低到 4.506。该方法与其他技术结合良好，也适用于其他问题，例如随机图的 3-可着色性。
引用
@article{arxiv.cs/0211036,
title = {Typical random 3-SAT formulae and the satisfiability threshold},
author = {Olivier Dubois and Yacine Boufkhad and Jacques Mandler},
journal= {arXiv preprint arXiv:cs/0211036},
year = {2007}
}