随机(1,2)-QSAT的阈值
摘要：量化SAT问题是SAT问题的量化版本。我们展示了与随机量化扩展2-CNF公式的可满足性相关联的相变的阈值效应的存在。我们考虑形式为$forall X exists Y varphi(X, Y)$的布尔CNF公式，其中$X$有$m$个变量，$Y$有$n$个变量，并且$varphi$中每个子句都包含来自$X$的一个文字和来自$Y$的两个文字。对于这样的公式，我们证明了阈值现象受子句数和存在变量数$n$之间的比率控制。然后，我们给出了相关的临界比率$c^{*}$的精确位置。实际上，我们证明了$c^{*}$是$alpha$的递减函数，其中$alpha$是$m / log (n)$当$n$趋向于无穷大时的极限值。
作者：Nadia Creignou, Herve Daude, Uwe Egly and Raphael Rossignol
论文ID：0907.0937
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2009-07-07