[论文解读] Strong subalgebras and the Constraint Satisfaction Problem

Dmitriy Zhuk|arXiv (Cornell University)|May 1, 2020

Advanced Graph Theory Research参考文献 23被引用 5

一句话总结

本文提出一个以强子代数为核心的自完备代数框架，用于分析约束满足问题（CSP），证明CSP可解性等价于约束语言被弱近一致（WNU）操作所保持。核心贡献是利用强子代数迭代地逐步缩小变量域，对CSP二分猜想给出一种新颖的证明，当不存在WNU操作时，建立NP-hard性，并刻画局部一致性足以求解CSP实例的条件。

ABSTRACT

In 2007 it was conjectured that the Constraint Satisfaction Problem (CSP) over a constraint language $Γ$ is tractable if and only if $Γ$ is preserved by a weak near-unanimity (WNU) operation. After many efforts and partial results, this conjecture was independently proved by Andrei Bulatov and the author in 2017. In this paper we consider one of two main ingredients of my proof, that is, strong subalgebras that allow us to reduce domains of the variables iteratively. To explain how this idea works we show the algebraic properties of strong subalgebras and provide self-contained proof of two important facts about the complexity of the CSP. First, we prove that if a constraint language is not preserved by a WNU operation then the corresponding CSP is NP-hard. Second, we characterize all constraint languages that can be solved by local consistency checking. Additionally, we characterize all idempotent algebras not having a WNU term of a concrete arity $n$, not having a WNU term, having WNU terms of all arities greater than 2. Most of the results presented in the paper are not new, but I believe this paper can help to understand my approach to CSP and the new self-contained proof of known facts will be also useful.

研究动机与目标

• 通过将强子代数作为核心工具，提供CSP二分猜想的自完备、代数基础的证明。
• 在不依赖先前结果的前提下，刻画所有可通过局部一致性检查求解的约束语言。
• 基于WNU操作及其相关代数结构的存在或缺失，对有限幂等代数进行完整分类。
• 阐明强子代数在迭代域缩减中的作用，为存在WNU操作时CSP求解提供构造性方法。

提出的方法

• 本文将强子代数定义为在特定操作和吸收性质下封闭的子代数，从而在CSP实例中实现迭代域缩减。
• 引入关键代数结构：二元吸收、中心、投影和PC子代数，每种结构具有不同的封闭性与不变性性质。
• 该方法依赖于克隆与关系克隆之间的Galois对偶关系，以推导pp-definability及关系在操作下的不变性。
• 利用WNU-blocker和常值元组的概念，识别约束语言无法被任何WNU操作保持的情况，从而暗示NP-hard性。
• 通过非平凡同余关系、中心关系及p-仿射结构等代数条件层级，对幂等代数进行分类，并判断其可解性。
• 证明过程基于代数大小的归纳法，利用最大同余关系和全投影关系，将问题约化为已知的代数情形。

实验结果

研究问题

• RQ1 在何种代数条件下，约束语言被弱近一致（WNU）操作所保持？
• RQ2 在何种情况下，给定约束语言的CSP为NP-hard，且其可被代数方式刻画？
• RQ3 哪些约束语言可通过局部一致性检查求解，其背后的代数结构为何？
• RQ4 强子代数如何在CSP实例中实现变量域的迭代缩减？
• RQ5 基于WNU操作及其相关代数不变量的存在与否，可对有限幂等代数给出何种完整分类？

主要发现

• 若约束语言不被任何WNU操作保持，则其对应的CSP为NP-hard，此结论通过WNU-blocker分析确立。
• 当且仅当约束语言被某个至少三元的WNU操作保持时，CSP才可通过局部一致性检查求解。
• 每个大小≥2的有限幂等代数至少具有以下五种结构特征之一：非平凡二元吸收子代数、非平凡中心子代数、非平凡PC子代数、使商代数为p-仿射的同余关系，或非平凡投影子代数。
• 当且仅当约束语言在由WNU操作及所有常值操作生成的克隆的操作下封闭时，其被WNU操作保持。
• 若不变关系格中存在一个唯一确定的、至少三元的全投影关系，则代数中必存在中心关系或非平凡同余关系，从而实现代数的结构分类。
• 本文对不存在任意大于2元的WNU项的幂等代数给出了完整刻画，表明其必须具有非平凡同余关系或为p-仿射代数。