[論文レビュー] Approximate Counting for Complex-Weighted Boolean Constraint Satisfaction Problems

Tomoyuki Yamakami|arXiv (Cornell University)|Jul 2, 2010

Complexity and Algorithms in Graphs参考文献 20被引用数 6

ひとこと要約

本稿は、複素数重み付きブール制約充足問題（CSPs）における近似カウントのための二分法定理を確立し、このような問題が多項式時間で解けるか、あるいはランダム化された近似保存還元の下で#P-完全と同程度に難しいかのいずれかであることを示している。主な貢献は、T-構成可能性（T-constructibility）の導入と、単項制約が自由に利用可能である場合の、すべてのこのような問題の分類に向けた因子分解およびアリティ削減技術の使用である。

ABSTRACT

Constraint satisfaction problems (or CSPs) have been extensively studied in, for instance, artificial intelligence, database theory, graph theory, and statistical physics. From a practical viewpoint, it is beneficial to approximately solve those CSPs. When one tries to approximate the total number of truth assignments that satisfy all Boolean-valued constraints for (unweighted) Boolean CSPs, there is a known trichotomy theorem by which all such counting problems are neatly classified into exactly three categories under polynomial-time (randomized) approximation-preserving reductions. In contrast, we obtain a dichotomy theorem of approximate counting for complex-weighted Boolean CSPs, provided that all complex-valued unary constraints are freely available to use. It is the expressive power of free unary constraints that enables us to prove such a stronger, complete classification theorem. This discovery makes a step forward in the quest for the approximation-complexity classification of all counting CSPs. To deal with complex weights, we employ proof techniques of factorization and arity reduction along the line of solving Holant problems. Moreover, we introduce a novel notion of T-constructibility that naturally induces approximation-preserving reducibility. Our result also gives an approximation analogue of the dichotomy theorem on the complexity of exact counting for complex-weighted Boolean CSPs.

研究の動機と目的

• 複素数重み付きブールCSPにおける近似カウントの複雑さを、ランダム化された近似保存還元の下で分類すること。
• 正確なカウントとは異なり、複素数重み付きCSPにおける近似カウントに既知の三分割法や二分法が存在しないという課題に対処すること。
• 自由に利用可能な単項制約の表現力を活用して、完全な分類を確立すること。
• Holant問題から得た技術、特に因子分解とアリティ削減を、近似カウントの文脈に拡張すること。
• 複素数重み付き設定における近似保存還元性を形式化するための、画期的な概念「T-構成可能性」を導入すること。

提案手法

• 複素数重み付きCSPにおける近似保存還元性を定義する新しい枠組みとしてT-構成可能性を採用すること。
• Holant問題から適応された因子分解およびアリティ削減技術を用いて、制約インスタンスを簡略化・変換すること。
• 置換、ピンギング、射影、リンク、拡張、乗算、正規化の7つの変換ルールを適用して、制約関数間の還元を模倣すること。
• 各変換が、満たされる割り当ての総重みの近似値を $2^\rho$-要因の範囲内で保存することを示すこと。
• これらの変換の系列を用いて、$ ext{csp}_{ ext{csp}_{ ext{csp}}}$ の近似を、基本オракルクエリに還元すること。
• $ ext{csp}_{ ext{csp}_{ ext{csp}}}$ が $ ext{csp}_{ ext{csp}_{ ext{csp}}}$ にAP還元可能であることを、各変換ステップが近似比を維持することを示すことによって証明すること。

実験結果

リサーチクエスチョン

• RQ1 複素数重み付きブールCSPにおける近似カウントの複雑さの完全な分類は何か？
• RQ2 複素数値制約の文脈において、近似保存還元性をどのように形式化できるか？
• RQ3 自由に利用可能な単項制約の表現力を活用することで、近似カウントにおける完全な二分法を達成できるか？
• RQ4 Holant問題から得た技術のうち、CSPにおける近似カウント設定に適応可能なものは何か？
• RQ5 複素数重み付きCSPにおける近似カウントが、どのような条件下で tractable または intractable となるか？

主な発見

• 本稿は、すべての複素数値単項制約が自由に利用可能な場合に、複素数重み付きブールCSPにおける近似カウントの二分法定理を確立している。
• すべてのこのような問題は、多項式時間で解けるか、あるいはランダム化された近似保存還元の下で#P-完全と同程度に難しいかのいずれかである。
• tractable なケースは、一般化されたアフィンクラスまたは積型クラス（ED）に属する制約であると特徴づけられる。これは正確なカウントの二分法と類似している。
• 証明は、制約関数間の近似保存還元を構築可能にする、画期的な概念「T-構成可能性」に依拠している。
• 置換、ピンギング、射影、リンク、拡張、乗算、正規化の7つの変換ルールの各々が、$2^\rho$-要因の範囲内で近似比を保存することを示している。
• この結果は、複素数重み付きブールCSPにおける正確なカウントの二分法定理の近似版を提供し、CSPにおける近似カウント全体の分類へ向けた主要な一歩を完了している。