[论文解读] Finding cores of random 2-SAT formulae via Poisson cloning

Jeong Han Kim|ArXiv.org|Aug 12, 2008

Constraint Satisfaction and Optimization参考文献 25被引用 6

一句话总结

本文利用泊松克隆模型和截断线算法（COLA）分析了随机2-SAT公式的核心结构，表明当 $\lambda = p(2n-1) = 1 + \sigma$ 且 $\sigma \gg n^{-1/3}$ 时，核心中以高概率包含 $\theta_{{}_{\lambda}}^2 n + O((\theta_{{}_{\lambda}}n)^{1/2})$ 个变量和 $\theta_{{}_{\lambda}}^2 \lambda n + O((\theta_{{}_{\lambda}}n)^{1/2})$ 个子句，其中 $\theta_{{}_{\lambda}}$ 是方程 $\theta - (1 - e^{-\theta \lambda}) = 0$ 的较大根。此外，本文还对可满足性阈值估计进行了细化，改进了Bollobás等人先前的界限。

ABSTRACT

For the random 2-SAT formula $F(n,p)$, let $F_C (n,p)$ be the formula left after the pure literal algorithm applied to $F(n,p)$ stops. Using the recently developed Poisson cloning model together with the cut-off line algorithm (COLA), we completely analyze the structure of $F_{C} (n,p)$. In particular, it is shown that, for $\gl:= p(2n-1) = 1+\gs $ with $\gs\gg n^{-1/3}$, the core of $F(n,p)$ has $ hl^2 n +O(( hl n)^{1/2})$ variables and $ hl^2 \gl n+O(( hl n))^{1/2}$ clauses, with high probability, where $ hl$ is the larger solution of the equation $þ- (1-e^{- hl \gl})=0$. We also estimate the probability of $F(n,p)$ being satisfiable to obtain $$ \pr[ F_2(n, \sfrac{\gl}{2n-1}) is satisfiable ] = \caseth{1-\frac{1+o(1)}{16\gs^3 n}}{if $\gl= 1-\gs$ with $\gs\gg n^{-1/3}$}{}{}{e^{-Θ(\gs^3n)}}{if $\gl=1+\gs$ with $\gs\gg n^{-1/3}$,} $$ where $o(1)$ goes to 0 as $\gs$ goes to 0. This improves the bounds of Bollobás et al. \cite{BBCKW}.

研究动机与目标

• 精确刻画通过 $F(n,p)$ 模型生成的随机2-SAT公式中核心的大小与结构。
• 通过分析 $\lambda = 1$ 附近的相变现象，改进Bollobás等人建立的可满足性阈值界限。
• 应用泊松克隆模型和截断线算法（COLA）来建模并分析纯文字算法（PLA）终止后的剩余公式。
• 估计在 $\lambda = 1$ 附近缩放窗口内 $F(n, \lambda/(2n-1))$ 的可满足性概率，特别是当 $\lambda = 1 \pm \sigma$ 且 $\sigma \gg n^{-1/3}$ 时。

提出的方法

• 使用泊松克隆模型 $F_{PC}(n,p;2)$ 近似经典随机2-SAT模型 $F(n,p;2)$，尤其在 $p = \Theta(n^{-1})$ 时，使子句与变量分布的分析更具可处理性。
• 应用截断线算法（COLA）模拟纯文字算法（PLA）过程，追踪剩余公式中变量类型（如 (1,2)、(2,1) 和 (1,1)）的演化。
• 追踪PLA执行过程中纯克隆及其匹配行为，利用广义切尔诺夫不等式证明所有纯克隆在 $O(\theta_{{}_{\lambda}}^3 n)$ 步内以高概率消失。
• 通过最大满足赋值与克隆上完美匹配数的联合概率论证，结合斯特林近似，对可满足性概率进行上界估计。
• 求解关键方程 $\theta - (1 - e^{-\theta \lambda}) = 0$ 得到 $\theta_{{}_{\lambda}}$（较大根），该值控制核心的渐近大小。
• 通过熵与对数估计对可满足性概率进行界定，表明当 $\lambda = 1 + \sigma$ 且 $\sigma \gg n^{-1/3}$ 时，$\Pr[F \text{ 是 SAT}] = e^{-\Theta(\sigma^3 n)}$。

实验结果

研究问题

• RQ1 当 $\lambda = p(2n-1) = 1 + \sigma$ 且 $\sigma \gg n^{-1/3}$ 时，随机2-SAT公式的核心的精确渐近大小是什么？
• RQ2 与经典随机图模型相比，泊松克隆模型如何改进对纯文字算法剩余公式分析的精确性？
• RQ3 在 $\lambda = 1$ 附近的缩放窗口内，$F(n, \lambda/(2n-1))$ 的确切可满足性概率是多少，特别是当 $\lambda = 1 \pm \sigma$ 时？
• RQ4 能否利用泊松克隆与COLA框架，将可满足性阈值的界限细化至超越Bollobás等人所建立的范围？
• RQ5 变量类型 (1,2)、(2,1) 和 (1,1) 在决定纯文字符号的持久性与剩余公式的结构中起什么作用？

主要发现

• 当 $\lambda = 1 + \sigma$ 且 $\sigma \gg n^{-1/3}$ 时，$F(n,p)$ 的核心中以高概率包含 $\theta_{{}_{\lambda}}^2 n + O((\theta_{{}_{\lambda}}n)^{1/2})$ 个变量，其中 $\theta_{{}_{\lambda}}$ 是方程 $\theta - (1 - e^{-\theta \lambda}) = 0$ 的较大解。
• 在相同条件下，核心中以高概率包含 $\theta_{{}_{\lambda}}^2 \lambda n + O((\theta_{{}_{\lambda}}n)^{1/2})$ 个子句。
• 当 $\lambda = 1 + \sigma$ 且 $\sigma \gg n^{-1/3}$ 时，$F(n, \lambda/(2n-1))$ 的可满足性概率为 $e^{-\Theta(\sigma^3 n)}$，优于先前的界限。
• 当 $\lambda = 1 - \sigma$ 且 $\sigma \gg n^{-1/3}$ 时，可满足性概率为 $1 - \frac{1 + o(1)}{16\sigma^3 n}$，表明在 $\lambda = 1$ 附近存在急剧的相变。
• 分析表明，在纯文字算法终止后，以高概率至少有 $0.9\theta_{{}_{\lambda}}^3 n$ 个 (1,2) 或 (2,1) 类型的变量保留。
• 对于 $b$ 个 (1,2) 或 (2,1) 类型变量的随机公式，其可满足性的概率为 $o(e^{-0.02b})$，意味着此类剩余公式的可满足性概率呈指数衰减。