[论文解读] 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-完全的。作者引入了框架（frames）和强矩形关系（strongly rectangular relations），以刻画在 Mal’tsev 多元运算下不变的关系，并建立强平衡（strong balance）——二分法的关键判据——可在 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 二分法的可判定性问题，尽管 Bulatov 的原始代数证明已存在，但该问题长期悬而未决。
• 提供一种基于非泛代数的、基础的 #CSP 二分法证明，使其无需深入代数背景知识即可理解。
• 通过框架和强矩形关系，刻画在 Mal’tsev 多元运算下不变的关系类。
• 建立强平衡——二分法的新判据——可在 NP 中判定，从而使整个二分法具有有效性。
• 为将二分法推广至加权计数问题奠定基础，并从一般原理出发恢复已知的二分法结果。

提出的方法

• 作者引入了框架——一种高度结构化关系（称为强矩形关系）的简洁表示——这些关系在 Mal’tsev 多元运算下不变。
• 他们定义了强平衡作为 #CSP 二分法的新判据，该判据捕捉了可解性的本质代数条件。
• 他们提供了一种非确定性算法，通过检查导出结构的自同构来测试强平衡，证明其属于 NP。
• 他们利用基于框架的表示，简化了强矩形约束语言的判定算法。
• 他们证明：一个约束语言是强矩形的，当且仅当它在 Mal’tsev 多元运算下不变，从而将代数结构与计算复杂性联系起来。
• 他们证明强平衡蕴含可解性，且其在 NP 中的可判定性使整个二分法具有有效性。

实验结果

研究问题

• RQ1 是否可以不依赖泛代数来证明 #CSP 二分法，从而使其对非该领域研究者更易理解？
• RQ2 强平衡判据是否可判定？如果是，其计算复杂度如何？
• RQ3 #CSP 的二分法能否具有有效性，即是否存在一个算法，能在有限时间内判断给定约束语言导致的是可解问题还是 #P-完全问题？
• RQ4 原始证明中使用的代数不变量（如 Mal’tsev 多元运算）能否通过更简单的组合结构（如框架）来捕捉？
• RQ5 在多大程度上，已知的计数二分法可从框架和强平衡的一般框架中恢复？

主要发现

• #CSP 二分法具有有效性：对于任意有限约束语言 Γ，可判定 #CSP(Γ) 是否可解或 #P-完全，且该判定在 NP 中。
• 强平衡是 #CSP 可解性的充分必要条件，且其在 NP 中可判定。
• 强矩形关系类恰好等于在 Mal’tsev 多元运算下不变的关系类。
• 作者提供了一种多项式时间算法，用于构造约束语言的框架表示，从而可高效测试其结构性质。
• 强平衡判定算法的时间复杂度上限为 O(∥Γ∥^10)，尽管作者指出可通过优化进一步降低。
• 该框架可恢复已知的计数二分法，并为加权计数二分法提供了路径，后文由 Cai、Chen 和 Lu 所证实。