[論文レビュー] Random 3CNF formulas elude the Lovasz theta function

Uriel Feige, E. O. Ofek|ArXiv.org|Mar 22, 2006

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

ひとこと要約

この論文は、ランダムな3CNF論理式に対して、$ n^{3/2 - o(1)} $個未塔の節を含む場合、Lovászのθ関数が不満足性を証明できないことを示している。これは、強力な半定値計画法に基づく反証手法であるにもかかわらず、そのような場合、θ関数の出力値が節の数$ m $に等しくなるため、この領域では反証ツールとして機能しない。

ABSTRACT

Let $ϕ$ be a 3CNF formula with n variables and m clauses. A simple nonconstructive argument shows that when m is sufficiently large compared to n, most 3CNF formulas are not satisfiable. It is an open question whether there is an efficient refutation algorithm that for most such formulas proves that they are not satisfiable. A possible approach to refute a formula $ϕ$ is: first, translate it into a graph $G_ϕ$ using a generic reduction from 3-SAT to max-IS, then bound the maximum independent set of $G_ϕ$ using the Lovasz $\vartheta$ function. If the $\vartheta$ function returns a value $< m$, this is a certificate for the unsatisfiability of $ϕ$. We show that for random formulas with $m < n^{3/2 -o(1)}$ clauses, the above approach fails, i.e. the $\vartheta$ function is likely to return a value of m.

研究の動機と目的

• ランダムな3CNF論理式に対するLovászのθ関数の反証ヒューリスティックとしての有効性を調査すること。
• θ関数が満たされうる節の数の閾値を超えるランダムな3CNF論理式の不満足性を証明できるかどうかを特定すること。
• 3-SATから最大独立集合への還元に基づく半定値計画法に基づく反証アルゴリズムの性能を分析すること。
• 関連グラフにおける最大独立集合の上界としてのタイトな境界が得られない密度の閾値を同定すること。

提案手法

• 各節が満たす割り当てを表す7頂点のクリーク（「クラウド」）に相当するように、標準的なmax-3-SATから最大独立集合への還元を用いて、3CNF論理式$ \phi $をグラフ$ G_{\phi} $に変換する。
• 異なるクラウドに属する頂点の間で、ある変数について割り当てが矛盾する場合、それらの頂点間に辺を追加し、矛盾グラフを構築する。
• Lovászの$ \vartheta $関数を$ G_{\phi} $に適用し、最大独立集合のサイズに対する多項式時間で計算可能な上界を提供する。
• $ \vartheta(G_{\phi}) < m $ であることを不満足性の証明として用いる。ここで$ m $は節の数である。
• 確率論的および組合せ的議論を用いて、$ m = cn^{3/2 - o(1)} $個の節を含むランダムな3CNF論理式における$ \vartheta(G_{\phi}) $の期待的挙動を分析する。
• このような論理式に対して、$ \vartheta(G_{\phi}) = m $ が高確率で成り立つことを確立し、このため反証手法が機能しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 $ m < n^{3/2 - o(1)} $個の節を含むランダムな3CNF論理式に対して、Lovászのθ関数は効果的に反証できるか？
• RQ2 論理式がほぼ確実に不満足性であるにもかかわらず、なぜθ関数は不満足性を検出できないのか？
• RQ3 θ関数が$ m $に等しくなる密度の閾値は何か？この場合、反証ツールとして機能しないため。
• RQ4 特定の矛盾構造（例：$ x_1,x_2,x_3,x_4,x_5,x_6 $の変数を含む4つの節が2の法で矛盾する）が存在する場合、その部分グラフで$ \vartheta(G_{\phi}) < m $ となるか？

主な発見

• ランダムな3CNF論理式において$ m < n^{3/2 - o(1)} $個の節を含む場合、Lovászの$ \vartheta $関数は高確率で値$ m $を返し、反証ツールとして機能しない。
• 論理式がほぼ確実に不満足性であるにもかかわらず、θ関数は不満足性を検出できないため、このSDPに基づくアプローチに根本的な限界があることを示している。
• その失敗の理由は、グラフ$ G_{\phi} $がまだ$ m $個のクリークで被覆可能であり、最大独立集合のサイズが正確に$ m $である場合とそれより小さい場合を、θ関数が区別できないためである。
• 特定の矛盾構造（4つの節が変数$ x_1,x_2,x_3,x_4,x_5,x_6 $を含み、割り当てが矛盾する）を持つ場合、その誘導部分グラフでは$ \vartheta < 4 $ が得られ、このような構造があれば反証が可能になる可能性がある。
• $ m = cn^{3/2} $のとき、このような矛盾を示す節の4つ組の期待数は$ n $に従って増加するが、それらの存在は、全体のグラフにおいて$ \vartheta(G_{\phi}) < m $ を強制するには十分ではない。
• 解析により、θ関数の失敗は構造の欠如によるものではなく、スパarsなランダムな論理式においてクリーク被覆構造が支配的であることが原因であることが示された。