[论文解读] Infinite Domain Constraint Satisfaction Problem (Invited Talk)

Atserias, Albert, Ochremiak, Joanna|arXiv (Cornell University)|Oct 15, 2015

Constraint Satisfaction and Optimization参考文献 24被引用 12

一句话总结

本文通过引入一种新的‘反射’构造和‘h1-克隆同态’，将经典的HSP定理扩展至包含同态等价和单元素添加的无限域约束满足问题（CSP）的代数框架——这些新工具捕捉了高度为1的恒等式。关键贡献在于建立了一个刻画：CSP的复杂性仅取决于高度1的恒等式和多态性克隆中的均匀性，从而提出了关于有限有界齐次结构的子结构CSP的新二分猜想。

ABSTRACT

A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that pp-interpretations between at most countable ω-categorical relational structures have two algebraic counterparts for their polymorphism clones: a semantic one via the standard algebraic operators H, S, P, and a syntactic one via clone homomorphisms (capturing identities). We provide a similar characterization which incorporates all relational constructions relevant for CSPs, that is, homomorphic equivalence and adding singletons to cores in addition to pp-interpretations. For the semantic part we introduce a new construction, called reflection, and for the syntactic part we find an appropriate weakening of clone homomorphisms, called h1 clone homomorphisms (capturing identities of height 1). As a consequence, the complexity of the CSP of an at most countable $ω$-categorical structure depends only on the identities of height 1 satisfied in its polymorphism clone as well as the the natural uniformity thereon. This allows us in turn to formulate a new elegant dichotomy conjecture for the CSPs of reducts of finitely bounded homogeneous structures. Finally, we reveal a close connection between h1 clone homomorphisms and the notion of compatibility with projections used in the study of the lattice of interpretability types of varieties.

研究动机与目标

• 解决有限域与无限域CSP理论中同态等价与单元素添加未被现有克隆同态框架代数捕捉的局限性。
• 将经典HSP定理与pp-解释对应关系扩展至包含同态等价与核心扩展，通过一种新的代数构造‘反射’实现。
• 证明在可数ω-分类结构上的CSP复杂性仅取决于多态性克隆中的高度1恒等式与均匀性。
• 基于h1-克隆同态，为有限有界齐次结构的子结构CSP提出一个新的无核心二分猜想。
• 揭示h1-克隆同态与普遍代数中与投影相容性之间的深层联系。

提出的方法

• 引入‘反射’构造作为同态等价的语义对应物，将HSP框架推广至包含E（扩展）、R（反射）和P（幂）的结构。
• 定义‘h1-克隆同态’——标准克隆同态的弱化形式，仅保留高度1恒等式的保持性，从而实现CSP约化的句法刻画。
• 证明：结构B可通过同态等价、pp-解释或单元素添加从A获得，当且仅当B在E、R和P的闭包中，或等价地，当且仅当存在从A到B的h1-克隆同态。
• 利用‘着色’概念刻画克隆向目标克隆存在同态的条件，尤其与Maltsev条件和同余可换性相关。
• 借助均匀连续性与模型完全核心，将有限结构的结果推广至无限ω-分类结构。
• 证明：存在到投影克隆1的均匀连续h1-克隆同态，等价于NP-难性，从而提出新的二分猜想。

实验结果

研究问题

• RQ1 经典HSP定理与克隆同态框架能否被扩展以包含CSP约化中的同态等价与单元素添加？
• RQ2 无限ω-分类结构上的CSP复杂性是否仅由其多态性克隆中的高度1恒等式决定？
• RQ3 能否基于h1-克隆同态为有限有界齐次结构的子结构CSP提出一个无核心的二分猜想？
• RQ4 h1-克隆同态与普遍代数中与投影的相容性之间存在何种关系？
• RQ5 是否存在到投影克隆1的均匀连续h1-克隆同态，是否意味着在通过常量扩展结构后，存在到1的连续克隆同态？

主要发现

• 本文证明：结构B可通过同态等价、pp-解释或单元素添加从A获得，当且仅当存在从A到B的h1-克隆同态。
• 证明：结构A的多态性克隆存在到投影克隆1的均匀连续h1-克隆同态，当且仅当CSP(A)是NP-完全的。
• 作者证明：当一个种类由高度1恒等式定义时，若其克隆存在h1-克隆同态到目标克隆，则其克隆同态也必然存在。
• 本文揭示：一个种类是同余n-可换（或模性）当且仅当其克隆不承认到({0,1}; ≤)的多态性克隆的强h1-克隆同态。
• 证明：对任意至多可数的ω-分类结构A及其模型完全核心B，A与B之间存在双向的均匀连续h1-克隆同态。
• 结果表明：旧的可 tractability 猜想（猜想1.7）蕴含新的无核心二分猜想（猜想1.9），但反之尚不明确。