[論文レビュー] Counting good truth assignments of random k-SAT formulae

Andrea Montanari, Devavrat Shah|ArXiv.org|Jul 14, 2006

Constraint Satisfaction and Optimization参考文献 14被引用数 26

ひとこと要約

本稿では、高確率で、少ない節を違反する「良い」割り当ての数の対数を近似する決定的多項式時間アルゴリズムを提示する。このアルゴリズムは、信念伝播を用いて周辺確率を計算し、補間法によって対数分配関数を推定する。$\alpha_u(k) = 2k^{-1}\log k(1+o(1))$未満の節密度において、任意に小さい誤差の範囲で正確であることが証明され、この領域ではギブス分布の一意性が保証される。

ABSTRACT

We present a deterministic approximation algorithm to compute logarithm of the number of `good' truth assignments for a random k-satisfiability (k-SAT) formula in polynomial time (by `good' we mean that violate a small fraction of clauses). The relative error is bounded above by an arbitrarily small constant epsilon with high probability as long as the clause density (ratio of clauses to variables) alpha

研究の動機と目的

• ランダムk-SAT式における良い割り当ての数を近似する、効率的で決定的なアルゴリズムの開発。
• 有限の$\beta$および$\alpha < \alpha_u(k)$に対して、対数分配関数の熱力学的極限の存在を確立すること。
• 樹形の極限において$\alpha < \alpha_u(k)$のとき、ギブス分布の一意性を証明すること。これは、アルゴリズムの正しさの根拠となる。
• 混合時間の問題を避けるために、従来のMCMCベースの手法に代わる、信念伝播と補間の枠組みを導入すること。
• ボルツマン測度下での満たされる割り当ての数に対して、相対誤差が有界である、厳密な近似保証を提供すること。

提案手法

• アルゴリズムは、k-SAT式の因子グラフ上で信念伝播（BP）を用いて、対数分配関数$\log Z_N(\beta, F)$を計算する。
• BPによる$\beta = 0$から$\beta = \infty$への補間スキームを用い、対数分配関数を段階的補正の和として近似する。
• 周辺期待値$\langle E(\underline{x}) \rangle_{\text{BP},i}$は、BPを繰り返し用いて逐次計算され、一意性条件を満たせば収束が保証される。
• この方法は、木構造のk-SATインスタンスにおける最悪ケースの相関減衰の証明に依存し、BPの正確性を保証する。
• アルゴリズムの実行時間は$O(N^4)$であり、各$O(N^2)$回のBP実行が$O(N)$イテレーションで行われる。
• 集中不等式とBPと真の周辺確率の全 Variation 距離を用いて、誤差の理論的境界が導出される。

実験結果

リサーチクエスチョン

• RQ1 ランダムk-SATの満たされる割り当てにおけるギブス分布の一意性が成立する節密度の閾値$\alpha$は何か？
• RQ2 有限の$\beta$に対して、信念伝播がランダムk-SAT式の対数分配関数を正確に推定できるか？
• RQ3 すべての$\alpha < \alpha_u(k)$に対して、$\lim_{N\to\infty} \frac{1}{N} \log Z_N(\beta, F)$の極限がほとんど確実に存在するか？
• RQ4 相対誤差が有界な多項式時間で、良い割り当ての数を決定的アルゴリズムで近似できるか？
• RQ5 MCMCサンプリングに依存せずに、BPに基づく補間法が近似保証を達成するのに十分か？

主な発見

• アルゴリズムは、$\alpha < \alpha_u(k) = 2k^{-1}\log k(1+o(1))$の範囲で、高確率で$\log Z_N(\beta, F)$を任意の$\epsilon > 0$の相対誤差で近似する。
• $\alpha_u(k)$は、無限大の木構造k-SAT式におけるギブス測度の一意性に対応する。
• すべての有限の$\beta$および$\alpha < \alpha_u(k)$に対して、熱力学的極限$\lim_{N\to\infty} \frac{1}{N} \log Z_N(\beta, F)$の存在が確立された。
• アルゴリズムは$O(N^4)$時間で実行され、高確率で$\epsilon$-相対誤差を達成する。
• 木構造の極限における相関減衰が証明され、この領域における信念伝播の正確性が裏付けられる。
• MCMCや自己還元を回避する方法を提供し、ランダム制約充足問題における分配関数の近似に新たな道筋を提示する。