[論文レビュー] Counting Solutions to Random CNF Formulas

Andreas Galanis, Leslie Ann Goldberg+2 more|arXiv (Cornell University)|Nov 16, 2019

Data Management and Algorithms参考文献 36被引用数 4

ひとこと要約

本稿では、従来の手法が許容する範囲をはるかに超える指数的密度において、ランダムなk-CNF論理式における満たす割り当ての数を近似する最初の完全多項式時間近似スキーム（FPTAS）を提示する。高次元変数と相関関係を扱うためにモイトラの手法を適応することで、密度α < 2^r k（r > 0）かつ十分に大きなkに対して、多項式時間poly(n, 1/ε)でε-近似が達成可能となり、従来の相関崩壊手法の2 log k / kの一意性閾値を著しく上回る。

ABSTRACT

We give the first efficient algorithm to approximately count the number of solutions in the random $k$-SAT model when the density of the formula scales exponentially with $k$. The best previous counting algorithm for the permissive version of the model was due to Montanari and Shah and was based on the correlation decay method, which works up to densities $(1+o_k(1))\frac{2\log k}{k}$, the Gibbs uniqueness threshold for the model. Instead, our algorithm harnesses a recent technique by Moitra to work for random formulas. The main challenge in our setting is to account for the presence of high-degree variables whose marginal distributions are hard to control and which cause significant correlations within the formula.

研究の動機と目的

• ギブスの一意性閾値を超える密度において、ランダムk-CNF論理式における満たす割り当ての数を効率的に近似するアルゴリズムを開発すること。
• 強い相関関係を引き起こす高次元変数の取り扱いの課題を克服すること。
• ランダム制約充足問題における解の数の近似アルゴリズムの適用範囲を、より高い密度にまで拡張すること。
• α < 2^r k（r > 0）の条件下で、ランダムk-SATモデルにおける解の数Z(Φ)を厳密に多項式時間で推定する方法を提供すること。

提案手法

• ランダム構造における数え上げに適したモイトラの手法を、ランダムk-CNF論理式の文脈に適応する。
• 次数と依存構造に基づいて、変数と節を「良い」集合と「悪い」集合に分割する。
• 相関崩壊を制御するため、切り捨て深さL = C₀(3k²Δ)^⌈log(n/ε)⌉のカップリングツリーを用いる。
• 部分割り当てΛ∗における再帰的推定手順を用いて、比|ΩΛi+1| / |ΩΛi|をε/nの精度で計算する。
• 二分探索による境界の探索中に、中間の比推定値の妥当性を線形計画法で検証する。
• 小さな悪い構成要素に対してブルートフォースで数え上げを行い、乗法的誤差境界を用いて総解数を再構成する。

実験結果

リサーチクエスチョン

• RQ1 ギブスの一意性閾値2 log k / kをはるかに超える密度において、ランダムk-CNF論理式における解の数をFPTASで達成できるか？
• RQ2 高次元変数とそれらが引き起こす相関関係を、ランダム論理式の数え上げアルゴリズムで効果的に管理する方法は何か？
• RQ3 元々ランダムグラフを想定して開発されたモイトラの手法は、指数的密度を持つランダムk-CNF論理式に適応可能か？
• RQ4 ランダムk-CNF論理式のどのような構造的性質が、複雑な解空間幾何学に対しても効率的な解数の数え上げを可能にするか？
• RQ5 α < 2^r k（r > 0）かつ十分に大きなkの下で、多項式時間アルゴリズムが満たす割り当て数のε-近似を達成可能か？

主な発見

• すべてのα < 2^r k（r = 1/301、k ≥ k₀）に対して、多項式時間poly(n, 1/ε)で|Ω(Φ)|のε-近似が達成可能であり、k₀は十分に大きな定数である。
• 本手法は、ランダム論理式のアンサンブル上で高確率に機能し、従来の相関崩壊手法の2 log k / kの閾値をはるかに上回る密度をカバーする。
• 解数は、誤差境界を乗法的に伝搬する「良い」部分割り当てΛ∗を用いた再帰的分解により近似される。
• アルゴリズムはe^{-ε}|Ω| ≤ Z ≤ e^{ε}|Ω|を満たし、完全な多項式時間近似スキームを実現する。
• 実行時間は、多項式サイズの線形計画法をO(log(n/ε))回呼び出すことで制限され、全体として多項式時間であることが保証される。
• 本手法は、ブルートフォースによる数え上げをO(log n)サイズの部分集合に限定することで、悪い構成要素（高次元変数を含む）を効果的に分離・処理する。