[論文レビュー] On the Usefulness of Predicates

Per Austrin, Johan Håstad|arXiv (Cornell University)|Apr 25, 2012

Complexity and Algorithms in Graphs参考文献 16被引用数 10

ひとこと要約

この論文は、Max-CSPにおける述語の「有用性」という概念を導入し、関連する目的Qに対して乱数による推測を上回るアルゴリズムを設計できるかどうかを定義する。ユニークゲームズ予想（UGC）のもとで、完全な特徴付けが与えられる：述語Pが無用（つまり、いかなるQに対しても有用でない）であるための必要十分条件は、Pの充足割り当てが2次元独立分布をサポートすることである。

ABSTRACT

Motivated by the pervasiveness of strong inapproximability results for Max-CSPs, we introduce a relaxed notion of an approximate solution of a Max-CSP. In this relaxed version, loosely speaking, the algorithm is allowed to replace the constraints of an instance by some other (possibly real-valued) constraints, and then only needs to satisfy as many of the new constraints as possible. To be more precise, we introduce the following notion of a predicate $P$ being \emph{useful} for a (real-valued) objective $Q$: given an almost satisfiable Max-$P$ instance, there is an algorithm that beats a random assignment on the corresponding Max-$Q$ instance applied to the same sets of literals. The standard notion of a nontrivial approximation algorithm for a Max-CSP with predicate $P$ is exactly the same as saying that $P$ is useful for $P$ itself. We say that $P$ is useless if it is not useful for any $Q$. This turns out to be equivalent to the following pseudo-randomness property: given an almost satisfiable instance of Max-$P$ it is hard to find an assignment such that the induced distribution on $k$-bit strings defined by the instance is not essentially uniform. Under the Unique Games Conjecture, we give a complete and simple characterization of useful Max-CSPs defined by a predicate: such a Max-CSP is useless if and only if there is a pairwise independent distribution supported on the satisfying assignments of the predicate. It is natural to also consider the case when no negations are allowed in the CSP instance, and we derive a similar complete characterization (under the UGC) there as well. Finally, we also include some results and examples shedding additional light on the approximability of certain Max-CSPs.

研究の動機と目的

• Max-CSPにおける近似困難性の測度としての近似抵抗性の限界を克服するため、新たな有用性の概念を導入すること。
• 標準的な近似設定を超えて、実数値の目的Qに対して述語Pが有用であるとはどのような場合かを定義すること。
• ユニークゲームズ予想のもとで、正確にどの述語が無用（つまり、いかなるQに対しても有用でない）であるかを特徴付けること。
• 否定されたリテラルが許可されない場合のCSPインスタンスに対しても、特徴付けを拡張すること。
• 制約の緩和や実数値の目的関数を用いることで非自明な近似が得られる条件を理解するための枠組みを提供すること。

提案手法

• 制約を実数値のものに置き換えることで緩めた近似解の概念を導入し、可能な限り多くを充足することを目的とする。
• 与えられたほぼ充足可能なMax-Pインスタンスに対して、対応するMax-Qインスタンスでランダム割り当てを上回るアルゴリズムが動作する場合、述語PをQに対して有用であると定義する。
• 完全な無用な述語の特徴付けを証明する基盤として、ユニークゲームズ予想（UGC）を用いる。
• 擬似ランダム性とフーリエ解析の道具を用い、特に準ランダム関数と特性展開の使用を行う。
• 一様に正の相関を持つ分布に基づくテストを採用し、異なる分布における期待値を比較することで受容確率の上限を導出する。
• 積分布の凸結合を用いて期待値の上限を簡略化し、最良の可能な性能が積分布における期待値によって上限づけられることを示す。

実験結果

リサーチクエスチョン

• RQ1 標準的な近似設定を超えて、実数値の目的Qに対して述語Pが有用であるとはどのような場合か？
• RQ2 どのような条件下で述語Pが無用（つまり、いかなる目的Qに対しても有用でない）となるか？
• RQ3 ユニークゲームズ予想のもとで、無用な述語の完全な特徴付けを達成できるか？
• RQ4 否定されたリテラルが存在しない場合、述語の有用性および特徴付けにどのような影響があるか？
• RQ5 充足割り当て上に2次元独立分布が存在するのと、述語の無用性との間にどのような関係があるか？

主な発見

• 述語Pが無用（つまり、いかなるQに対しても有用でない）であるための必要十分条件は、Pの充足割り当ての集合が2次元独立分布をサポートすることである。
• ユニークゲームズ予想のもとで、この特徴付けは完全であり、一般の場合および否定されたリテラルがない場合の両方に適用可能である。
• 本論文は、標準的な非自明な近似可能性（例：Max-3Sat や XOR に対するもの）が、Pが自分自身に対して有用であることに相当することを確立している。
• 否定されたリテラルがない場合の特徴付けは類似しているが、折りたたみ関数の代わりに一様に正の相関を持つ分布に依存している。
• 証明技法により、関数Fが準ランダムであれば、任意の有界関数Qについて、F(X₁), ..., F(Xₖ) における期待値は積分布における期待値に近くなることが示された。
• 解析における健全性の上限により、テスト分布における期待値が最適値E⁺_Qからε以内に収まることが保証され、非自明な改善が不可能であることが証明された。