[論文レビュー] Phase transition for Local Search on planted SAT

Andreĭ A. Bulatov, Evgeny Skvortsov|ArXiv.org|Nov 16, 2008

Data Management and Algorithms参考文献 19被引用数 5

ひとこと要約

本稿は、ランダムに生成されたプラント3-CNF論理式におけるローカルサーチアルゴリズムの性能を分析し、鋭い相転移を証明している。節変数比が $\kappa\ln n$ 未満で $\kappa < \frac{7}{6}$ のとき、ローカルサーチは高確率で満たし可能な割り当てを見つけることができない。一方、$\kappa > \frac{7}{6}$ のとき、高確率で成功する。この分析により、$\frac{7}{6}$ に臨界閾値が存在することが明らかとなり、プラントインスタンス上でのアルゴリズムの典型的な挙動が特定された。

ABSTRACT

The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part of many satisfiability and max-satisfiability solvers, where it is used to find a good starting point for a more sophisticated heuristics, and to improve a candidate solution. In this paper we give an analysis of Local Search on random planted 3-CNF formulas. We show that if there is k&lt;7/6 such that the clause-to-variable ratio is less than k ln(n) (n is the number of variables in a CNF) then Local Search whp does not find a satisfying assignment, and if there is k&gt;7/6 such that the clause-to-variable ratio is greater than k ln(n)$ then the local search whp finds a satisfying assignment. As a byproduct we also show that for any constant r there is g such that Local Search applied to a random (not necessarily planted) 3-CNF with clause-to-variable ratio r produces an assignment that satisfies at least gn clauses less than the maximal number of satisfiable clauses.

研究の動機と目的

• ランダムに生成されたプラント3-CNF論理式におけるローカルサーチの典型的な性能を理解すること。
• ローカルサーチが満たし可能な割り当てを見つける能力が、失敗から成功に転換する節変数比の閾値を特定すること。
• プラントインスタンス上でローカルサーチが解に収束するための構造的・確率的条件を分析すること。
• ランダムに生成されたプラントSATの文脈において、ローカルサーチの成功確率に対する理論的境界を確立すること。

提案手法

• 著者たちは、確率的技法とカップリング技術を用いて、ランダムに生成されたプラント3-CNF論理式におけるローカルサーチの性能を分析している。
• 論理式 $\varphi$ と簡略化された部分論理式 $\varphi_2$ におけるローカルサーチの実行をカップリングし、変数の挙動を比較している。
• 「正義ある」変数（フラップ時に満たされた節の数を増加させる変数）の概念を導入し、収束におけるその役割を分析している。
• 「キャップサポート」と変数の発見順序を用いて、特に重要な変数が遅く発見された場合の失敗条件をモデル化している。
• 確率的補題を用いて、2-正義的でない変数の数を評価し、それが高確率で $o(n)$ であることを示している。
• 節内で重要な変数の「不運な」発見順序が、持続的な未満たし節を生じさせることを証明し、そのような事象が消えない確率を持つことを示している。

実験結果

リサーチクエスチョン

• RQ1 プラント3-CNF論理式において、ローカルサーチが失敗から成功に転換する節変数比の臨界比は何か？
• RQ2 プラント3-SATインスタンスにおいて、ローカルサーチが満たし可能な割り当てを見つける確率は、節変数比にどのように依存するか？
• RQ3 プラント分布に解が存在するにもかかわらず、ローカルサーチが満たし可能な割り当てを見つけることができない条件は何か？
• RQ4 論理式のどのような構造的性質が、ローカルサーチの局所最適値への収束に影響を与えるか？
• RQ5 変数の発見順序と「正義性」の概念は、アルゴリズムの成功確率にどのように影響を与えるか？

主な発見

• 節変数比が $\kappa\ln n$ 未満で任意の $\kappa < \frac{7}{6}$ のとき、ローカルサーチは高確率で満たし可能な割り当てを見つけることができない。
• 節変数比が $\kappa\ln n$ を超える任意の $\kappa > \frac{7}{6}$ のとき、ローカルサーチは高確率で満たし可能な割り当てを見つける。
• ローカルサーチ性能における相転移の臨界閾値は正確に $\frac{7}{6}$ であり、失敗と成功の領域を分ける。
• 節内の重要な変数の「不運な」発見順序の確率は $\frac{1}{\ln^6 n}$ 以上に下界づけられており、その結果、持続的な未満たし節が生じる。
• 実行中に2-正義的でない変数の数は、高確率で $o(n)$ であるため、収束への影響は限定的である。
• 異なる節のサポートにおける不運な発見順序の事象は互いに独立であり、集中不等式を用いることで、比が閾値を超えると高確率で少なくとも1つの失敗が発生することが示せる。