[论文解读] Asking the metaquestions in constraint tractability

Hubie Chen, Benoît Larose|arXiv (Cornell University)|Apr 4, 2016

Constraint Satisfaction and Optimization参考文献 29被引用 5

一句话总结

本文研究约束可满足性问题（CSP）中元问题的计算复杂性，特别是给定关系结构是否具备已知可推出CSP可 tractable 的某些多项式性质。研究证明，判断关键多项式性质条件（如被猜想用于刻画可 tractable CSP 及有界宽度的条件）是 NP-完全的，揭示了通过其代数性质识别可 tractable 约束问题的固有难度。

ABSTRACT

The constraint satisfaction problem (CSP) involves deciding, given a set of variables and a set of constraints on the variables, whether or not there is an assignment to the variables satisfying all of the constraints. One formulation of the CSP is as the problem of deciding, given a pair (G,H) of relational structures, whether or not there is a homomorphism from the first structure to the second structure. The CSP is in general NP-hard; a common way to restrict this problem is to fix the second structure H, so that each structure H gives rise to a problem CSP(H). The problem family CSP(H) has been studied using an algebraic approach, which links the algorithmic and complexity properties of each problem CSP(H) to a set of operations, the so-called polymorphisms of H. Certain types of polymorphisms are known to imply the polynomial-time tractability of $CSP(H)$, and others are conjectured to do so. This article systematically studies---for various classes of polymorphisms---the computational complexity of deciding whether or not a given structure H admits a polymorphism from the class. Among other results, we prove the NP-completeness of deciding a condition conjectured to characterize the tractable problems CSP(H), as well as the NP-completeness of deciding if CSP(H) has bounded width.

研究动机与目标

• 系统分析判断有限关系结构是否具备已知可推出约束满足问题（CSP）可 tractable 的特定多项式性质的计算复杂性。
• 在CSP复杂性的代数框架下，研究元问题——即判断是否存在诸如半格、Maltsev 运算、Siggers 运算等多项式性质。
• 确定被猜想用于刻画可 tractable CSP 的多项式性质条件是否可在多项式时间内判定，或为 NP-完全。
• 探讨元问题复杂性中上界（EXPTIME）与下界（NP-难或 NL-难）之间的差距，特别是在集合多项式性质及相关类别中的复杂性。
• 将分析扩展至关系结构的替代表示形式（如 DNF、决策图），并探讨其对统一可 tractable 性的含义。

提出的方法

• 作者将元问题形式化为判定问题：给定有限关系结构 H，H 是否具备来自指定类别的多项式性质（例如半格、Maltsev、Siggers）？
• 他们采用代数技术，特别是多项式理论及其闭包性质，分析 H 的结构以及满足特定恒等式的运算的存在性。
• 通过从已知的 NP-完全问题进行约化，证明元问题的 NP-完全性，尤其针对被猜想用于刻画可 tractable CSP 的多项式类别。
• 应用 Swierczkowski 引理以界定最小非平凡幂等多项式性质的极小阶数，从而为某些类别实现可判定性结果。
• 利用通用代数与模型论的理论结果，刻画多项式性质类型及其对 CSP 复杂性的影响。
• 研究同时考虑关系结构的显式表示与紧凑表示，将范围扩展至广义 DNF 与决策图编码。

实验结果

研究问题

• RQ1 判断结构 H 是否具备来自某类（如 Siggers 或 Maltsev）多项式性质的问题在计算上是否可 tractable 或为 NP-完全？
• RQ2 给定 H，判断 CSP(H) 是否具有有界宽度的复杂性如何？
• RQ3 能否缩小元问题在集合多项式性质上的复杂性上界（EXPTIME）与下界（NP-难或 NL-难）之间的差距？
• RQ4 是否存在余类生成多项式性质或群多项式性质的问题可在多项式时间内判定，或为 NP-难？
• RQ5 判断结构是否具备非平凡多项式性质（尤其是非本质一元的）的复杂性如何？

主要发现

• 判断结构 H 是否具备被猜想用于刻画可 tractable CSP 的某类多项式性质的问题是 NP-完全的。
• 判断 CSP(H) 是否具有有界宽度的问题是 NP-完全的，尽管有界宽度是可 tractable 的充分条件。
• 集合多项式性质元问题的复杂性介于 EXPTIME 与 NP-难之间，这些界限之间的差距仍为开放问题。
• 判断结构是否具备非平凡幂等多项式性质是可判定的，且若存在，其阶数至多为 max(3, |H|)。
• 通过检查有界阶数内的非平凡幂等多项式性质，可判定非平凡多项式性质的存在性，从而实现可判定过程。
• 本文识别出在紧凑表示（如 DNF、决策图）下元问题复杂性的开放问题，提示该方向存在进一步研究的潜力。