[論文レビュー] Random MAX SAT, Random MAX CUT, and Their Phase Transitions

Don Coppersmith, David Gamarnik+2 more|arXiv (Cornell University)|Jun 2, 2003

Constraint Satisfaction and Optimization参考文献 43被引用数 46

ひとこと要約

この論文は、ランダムなMAX 2-SATおよびMAX CUT問題における段階転移を分析し、密度c=1のとき、満たされる節の期待数やカットエッジの期待数が急激に変化することを示している。第一モーメント法、微分方程式、およびカーネル解析を用いて、精密な漸近的境界が導出されている。c=1+εのとき、最適解は(1+ε−Ω(ε³/lnε))nの節を満たすことが示され、スケーリングウィンドウc=1+Θ(n⁻¹ᐟ³)では、未満たし割合がΘ(1)となり、決定的2-SATにおける満たし可能閾値と一致する。

ABSTRACT

Given a 2-SAT formula $F$ consisting of $n$ variables and $\cn$ random clauses, what is the largest number of clauses $\max F$ satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of $(3/4)cn$ and $cn$. We prove that for $c<1$, the expected number of clauses satisfiable is $\cn-Θ(1/n)$; for large $c$, it is $((3/4)c + Θ(\sqrt{c}))n$; for $c = 1+\eps$, it is at least $(1+\eps-O(\eps^3))n$ and at most $(1+\eps-Ω(\eps^3/\ln \eps))n$; and in the ``scaling window'' $c= 1+Θ(n^{-1/3})$, it is $cn-Θ(1)$. In particular, just as the decision problem undergoes a phase transition, our optimization problem also undergoes a phase transition at the same critical value $c=1$. Nearly all of our results are established without reference to the analogous propositions for decision 2-SAT, and as a byproduct we reproduce many of those results, including much of what is known about the 2-SAT scaling window. We consider ``online'' versions of MAX-2-SAT, and show that for one version, the obvious greedy algorithm is optimal. We can extend only our simplest MAX-2-SAT results to MAX-k-SAT, but we conjecture a ``MAX-k-SAT limiting function conjecture'' analogous to the folklore satisfiability threshold conjecture, but open even for $k=2$. Neither conjecture immediately implies the other, but it is natural to further conjecture a connection between them. Finally, for random MAXCUT (the size of a maximum cut in a sparse random graph) we prove analogous results.

研究の動機と目的

• 節密度cが変化する際の、ランダムMAX 2-SATインスタンスにおける最大満たされる部分論理式の挙動を理解すること。
• 決定的2-SATにおけるよく知られた満たし可能閾値に類似した、2-SATの最適化版における段階転移現象を確立すること。
• スパarselyなランダムグラフにおけるMAX CUTに拡張し、エッジ密度1/nで同様の段階転移が発生することを特定すること。
• 下位臨界、臨界、上位臨界の各領域において、未満たし節またはカットされないエッジの期待数に対するタイトな漸近的境界を提供すること。
• 最適化閾値と決定閾値の間の関係を調査し、MAX k-SATにおける極限関数の予想を提示すること。

提案手法

• 第一モーメント法を用いて、ランダムMAX 2-SATにおける満たされる節の期待数の上界を導出する。
• アルゴリズム的解析と微分方程式法を適用し、満たされる節の割合の下界を確立する。
• MAX CUTにおける制約をモデル化するため、ランダムグラフの2コアおよびカーネル構造を分析し、特にエッジの偶奇性とカット違反に注目する。
• エントロピーに基づく集中性の議論を用いて、スケーリングウィンドウ内での多数の制約を満たす確率をバウンドする。
• MAX 2-SATのオンライン版を検討し、特定のモデル下でグリーディアルゴリズムの最適性を証明する。
• 結果をMAX k-SATおよびMAX CSPに拡張し、満たし可能閾値の予想に類似した極限関数の存在を予想する。

実験結果

リサーチクエスチョン

• RQ1 n個の変数と⌊cn⌋個の節を持つランダムMAX 2-SAT式において、cの関数として満たされる節の期待数は何か？
• RQ2 c=1における段階転移において、特にスケーリングウィンドウc=1+Θ(n⁻¹ᐟ³)において、未満たし節の期待数はどのように変化するか？
• RQ3 同じ段階転移行動がランダムMAX CUTでも観察されるか？そして、遷移の臨界エッジ密度は何か？
• RQ4 MAX 2-SATにおける最適化閾値と2-SATにおける決定閾値の間に何らかの関係があるか？そして、これを形式化できるか？
• RQ5 ランダムMAX k-SATにおける最大満たされる部分論理式サイズの漸近的挙動は何か？また、極限関数が存在するか？

主な発見

• c<1のとき、ランダムMAX 2-SATにおける満たされる節の期待数は⌊cn⌋−Θ(1/n)であり、ほぼ最適な満たしを示している。
• 大きなcのとき、満たされる節の期待数は(3/4 c + Θ(√c))nであり、これは確率的割り当てに対する非線形的改善を示している。
• c=1+ε（ε>0が小さい）のとき、満たされる節の期待数は下限で(1+ε−O(ε³))n、上限で(1+ε−Ω(ε³/lnε))nであり、境界の差が狭いことが示された。
• スケーリングウィンドウc=1+λn⁻¹ᐟ³では、未満たし節の数がΘ(1)であり、2-SAT決定閾値と類似した臨界遷移点であることが確認された。
• ランダムMAX CUTでは、エッジ密度1/nで段階転移が発生し、カットされないエッジの数が閾値を境にΘ(1)からΘ(n)に変化する。
• ランダムグラフにおけるカーネル構造の分析から、少なくとも定数割合の制約は違反されなければならないことが示され、c=1+εのときカットされないエッジはΘ(ε³n)となる。