[論文レビュー] How to refute a random CSP

Sarah R. Allen, Ryan O’Donnell+1 more|arXiv (Cornell University)|May 17, 2015

semigroups and automata theory参考文献 22被引用数 8

ひとこと要約

本稿では、和の平方（SOS）階層を用いて、ランダムな制約充足問題（CSP）を効率的に反証する一般化されたアルゴリズムを提示する。k項述語Pがt-一様分布（2 ≤ t ≤ k）を支持しない場合、m ≫ n^{t/2} 個の制約を持つランダムCSPインスタンスは多項式時間で反証可能であることを示している。主な貢献は、SDP階層の証拠と一致する、n^{t/2} のタイトな密度閾値の特定であり、Pがt-一様分布を支持しない場合には最適な反証が可能であることを証明している。これは、k-SATに対しても強い反証を近似的に最適な値まで達成可能であることを意味する。

ABSTRACT

Let $P$ be a $k$-ary predicate over a finite alphabet. Consider a random CSP$(P)$ instance $I$ over $n$ variables with $m$ constraints. When $m \gg n$ the instance $I$ will be unsatisfiable with high probability, and we want to find a refutation - i.e., a certificate of unsatisfiability. When $P$ is the $3$-ary OR predicate, this is the well studied problem of refuting random $3$-SAT formulas, and an efficient algorithm is known only when $m \gg n^{3/2}$. Understanding the density required for refutation of other predicates is important in cryptography, proof complexity, and learning theory. Previously, it was known that for a $k$-ary predicate, having $m \gg n^{\lceil k/2 ceil}$ constraints suffices for refutation. We give a criterion for predicates that often yields efficient refutation algorithms at much lower densities. Specifically, if $P$ fails to support a $t$-wise uniform distribution, then there is an efficient algorithm that refutes random CSP$(P)$ instances $I$ whp when $m \gg n^{t/2}$. Indeed, our algorithm will "somewhat strongly" refute $I$, certifying $\mathrm{Opt}(I) \leq 1-Ω_k(1)$, if $t = k$ then we get the strongest possible refutation, certifying $\mathrm{Opt}(I) \leq \mathrm{E}[P] + o(1)$. This last result is new even in the context of random $k$-SAT. Regarding the optimality of our $m \gg n^{t/2}$ requirement, prior work on SDP hierarchies has given some evidence that efficient refutation of random CSP$(P)$ may be impossible when $m \ll n^{t/2}$. Thus there is an indication our algorithm's dependence on $m$ is optimal for every $P$, at least in the context of SDP hierarchies. Along these lines, we show that our refutation algorithm can be carried out by the $O(1)$-round SOS SDP hierarchy. Finally, as an application of our result, we falsify assumptions used to show hardness-of-learning results in recent work of Daniely, Linial, and Shalev-Shwartz.

研究の動機と目的

• 従来のn^{⌈k/2⌉}閾値よりも低い密度で、ランダムCSPインスタンスの反証を効率的に行うアルゴリズムを開発すること。
• 効率的反証を可能にする一般化された構造的条件—t-一様分布を支持しないこと—を同定すること。
• Pがt-一様分布を支持しない場合、SDP階層の文脈においてm ≫ n^{t/2} の密度閾値が最適であることを示すこと。
• 最近の学習の困難さに関する結果で用いられたSRCSP仮定を反証すること。
• SOS手法の適用範囲を二値述語や3-SATを超えて、任意のk項述語のCSPの反証に拡張すること。

提案手法

• O(1)次数の和の平方（SOS）階層を用いて、充足不能性の証明を導出する。
• 効率的反証のための構造的基準として、t-独立分布条件を導入する。
• δ-分離関数Qを用いて、CSPインスタンスの最適値が1から離れていることを示すt次SOS証明を構築する。
• 多変数多項式表現と、{−1,1}^k上での非負関数がSOS分解を許容することを活用する。
• f(x) ≥ 0 が {−1,1}^k 上で成り立つならば、fは多変数多項式の平方和として書けるという恒等式に依拠する。
• t < k のときには「やや強い反証」（Opt(I) ≤ 1 − Ω_k(1)）を達成し、t = k のときは最良の反証（Opt(I) ≤ E[P] + o(1)）を達成する。

実験結果

リサーチクエスチョン

• RQ1 一般の述語に対して、従来のn^{⌈k/2⌉}閾値未満の密度で、ランダムCSPの効率的反証が達成可能か？
• RQ2 述語Pのどの構造的性質が、ランダムCSP(P)インスタンスの効率的反証が可能な最小密度を決定するか？
• RQ3 Pがt-一様分布を支持しない場合、SDP階層による反証においてm ≫ n^{t/2} の密度閾値が最適か？
• RQ4 SOS階層を用いて、任意のk項述語のCSPについて強い反証を達成可能か？
• RQ5 反証フレームワークを、ランダムハイパーグラフq色彩色など、非リテラルモデルへ拡張可能か？

主な発見

• 任意のk項述語Pがt-一様分布を支持しない場合（2 ≤ t ≤ k）、m ≫ n^{t/2} の制約数を持つランダムCSP(P)インスタンスは、高確率で多項式時間で反証可能である。
• 本アルゴリズムは「ある程度強い反証」を達成し、最適値が1 − Ω_k(1)以下であることを証明する。これは従来の境界を改善する。
• t = k のとき、本アルゴリズムは最良の反証を達成し、Opt(I) ≤ E[P] + o(1) を証明する。これはk-SATにおいて最適である。
• SDP階層の文脈において、密度閾値m ≫ n^{t/2} は最適であり、m ≪ n^{t/2} の場合、効率的反証は不可能であると示唆されている。
• 反証アルゴリズムはO(1)ラウンドのSOS SDP階層内で実装可能であり、Pの構造的性質と証明複雑性の間のタイトな関係を確立する。
• 本結果により、最近の学習の困難さに関する結果で用いられたSRCSP仮定が反証され、特にDaniely, Linial, and Shalev-Shwartz（STOC 2014）の仮定が、新しい反証閾値の下でも頑健ではないことが示された。