[論文レビュー] An Effective Dichotomy for the Counting Constraint Satisfaction Problem

Martin Dyer, David Richerby|White Rose Research Online (University of Leeds, The University of Sheffield, University of York)|Mar 19, 2010

Markov Chains and Monte Carlo Methods参考文献 24被引用数 6

ひとこと要約

本稿は、数え上げ制約充足問題（#CSP）の簡素化された有効な二分法定理を提示する。任意の制約言語Γに対して、#CSP(Γ)は多項式時間で計算可能であるか、#P完全であるかのいずれかであることを証明する。著者らは、マリツェフ多様体の下で不変な関係を特徴付けるために、フレームと強く長方形な関係を導入し、二分法の鍵となる基準である「強いバランス」がNPに属することを示し、#CSPの二分法の決定可能性という長年の未解決問題を解決する。

ABSTRACT

Bulatov (2008) gave a dichotomy for the counting constraint satisfaction problem #CSP. A problem from #CSP is characterised by a constraint language, which is a fixed, finite set of relations over a finite domain D. An instance of the problem uses these relations to constrain the variables in a larger set. Bulatov showed that the problem of counting the satisfying assignments of instances of any problem from #CSP is either in polynomial time (FP) or is #P-complete. His proof draws heavily on techniques from universal algebra and cannot be understood without a secure grasp of that field. We give an elementary proof of Bulatov's dichotomy, based on succinct representations, which we call frames, of a class of highly structured relations, which we call strongly rectangular. We show that these are precisely the relations which are invariant under a Mal'tsev polymorphism. En route, we give a simplification of a decision algorithm for strongly rectangular constraint languages, due to Bulatov and Dalmau (2006). We establish a new criterion for the #CSP dichotomy, which we call strong balance, and we prove that this property is decidable. In fact, we establish membership in NP. Thus, we show that the dichotomy is effective, resolving the most important open question concerning the #CSP dichotomy.

研究の動機と目的

• バヌロフの元々の代数的証明に依存せず、#CSPの二分法の決定可能性を解明すること。
• 普遍代数に依存しない、初等的で非普遍代数的アプローチによる#CSPの二分法の証明を提供し、深い代数的前提知識がなくても理解可能にする。
• フレームと強く長方形な関係を用いて、マリツェフ多様体の下で不変な関係のクラスを特徴付けること。
• 二分法の新しい基準である「強いバランス」がNPで決定可能であることを確立し、これにより二分法が有効なものとなるようにすること。
• 重み付き数え上げ問題への二分法の拡張の基盤を築くこと。

提案手法

• 著者らは、マリツェフ多様体の下で不変な、非常に構造化された関係と呼ばれる「強く長方形な関係」の簡潔な表現としてのフレームを導入する。
• 強いバランスを、#CSPの二分法の新しい基準として定義し、 tractability の本質的な代数的条件を捉える。
• 導出された構造の自己同型をチェックすることで、強いバランスをテストする非決定的アルゴリズムを提供し、NPに属することを証明する。
• フレームに基づく表現を用いて、強く長方形な制約言語のための意思決定アルゴリズムを簡素化する。
• 制約言語が強く長方形であるための必要十分条件が、マリツェフ多様体の下で不変であることであることを証明し、代数的構造と計算複雑性を結びつける。
• 強いバランスが tractability を意味することを示し、そのNPでの決定可能性が、全体の二分法を有効なものにすることを示す。

実験結果

リサーチクエスチョン

• RQ1 普遍代数に依存せずに#CSPの二分法を証明できるか。これにより、その分野に属さない研究者にとってもアクセスしやすくなるか。
• RQ2 強いバランスの基準は決定可能か。もし可能であれば、その計算複雑性は何か。
• RQ3 #CSPの二分法は有効にできるか。すなわち、与えられた制約言語が tractable か#P完全かを有限時間で決定するアルゴリズムがあるか。
• RQ4 元の証明で使われた代数的不変量（例えばマリツェフ多様体）は、フレームのようなより単純な組合せ的構造で表現可能か。
• RQ5 既知の数え上げ二分法は、フレームと強いバランスの一般枠組みからどれほど回復可能か。

主な発見

• 「#CSPの二分法は有効である」：任意の有限制約言語Γに対して、#CSP(Γ)が tractable か#P完全かをNPで決定可能である。
• 強いバランスは、#CSPにおける tractability の必要十分条件であり、NPで決定可能である。
• 強く長方形な関係のクラスは、正確にマリツェフ多様体の下で不変な関係のクラスに一致する。
• 著者らは、制約言語のフレーム表現を構築する多項式時間アルゴリズムを提供し、構造的性質の効率的テストを可能にする。
• 強いバランスの意思決定アルゴリズムの複雑度はO(∥Γ∥^10)で抑えられるが、著者らは最適化によりこれを短縮可能であると指摘している。
• この枠組みにより、既知の数え上げ二分法を回復でき、また重み付き数え上げ二分法への道筋も提供する。後続のCai, Chen, and Luによる研究で確認された。