[论文解读] Algebraic and model theoretic methods in constraint satisfaction

Michael Pinsker|arXiv (Cornell University)|Jul 3, 2015

Constraint Satisfaction and Optimization参考文献 27被引用 8

一句话总结

本文利用代数与模型论方法研究无限结构上的约束满足问题（CSPs），聚焦于由齐性关系结构导出的寡性函数类。它建立了拓扑动力系统、拉姆齐理论与CSP复杂性的联系，提出一个利用类同态与类型类对可解性进行分类的框架，核心猜想为：在特定条件下，类型类的可解性可推出原始CSP的可解性。

ABSTRACT

This text is related to the tutorials I gave at the Banff International Research Station and within a "Doc-course" at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.

研究动机与目标

• 将CSP的代数方法从有限模板扩展至无限齐性结构。
• 研究寡性函数类（尤其是有限有界齐性结构导出的类）在决定CSP可解性中的作用。
• 在约束满足研究中连接拓扑动力系统、拉姆齐理论与类同态。
• 制定并分析一个证明无限可解性猜想的程序。
• 确定类型类（由结构元素诱导）的可解性是否蕴含原始CSP的可解性。

提出的方法

• 使用在复合与投影下封闭的函数类，特别是包含寡性置换群的类。
• 将布里克霍夫HSP定理的拓扑变体应用于寡性类，以刻画伪变体。
• 运用拉姆齐理论确保齐性结构中的结构性质，从而实现可解性结果的提升。
• 将至平凡类1的类同态分析作为CSP NP-难性的判据。
• 引入类型类 $T_{c_1, dots,c_n}(\operatorname{Pol}(\Gamma))$ 以研究多态类的局部行为。
• 依赖模型论工具，如可定义性、齐性结构的约化与弗雷舍极限，以构造例子并检验猜想。

实验结果

研究问题

• RQ1 若类型类 $T_{c_1,\ldots,c_n}(\operatorname{Pol}(\Gamma))$ 可解，是否意味着 $\operatorname{CSP}(\Gamma)$ 可解？
• RQ2 若 $\operatorname{Pol}(\Gamma)$ 无连续同态至1，是否意味着某个类型类 $T_{c_1,\ldots,c_n}(\operatorname{Pol}(\Gamma))$ 也无此类同态？
• RQ3 每个有限有界弗雷舍类是否均可扩展为拉姆齐弗雷舍类？
• RQ4 随机偏序的有限语言约化的所有CSP是否可完全分类？
• RQ5 随机布尔代数的约化上的CSP复杂性是否可完全分类？

主要发现

• 本文证明：若存在从 $\operatorname{Pol}(\Gamma)$ 到平凡类1的连续类同态，则 $\operatorname{CSP}(\Gamma)$ 为NP-难。
• 若某个类型类 $T_{c_1,\ldots,c_n}(\operatorname{Pol}(\Gamma))$ 满足非平凡等式，则 $\operatorname{Pol}(\Gamma)$ 亦满足非平凡等式。
• 在有限可解性猜想成立的前提下，若类型类可解，则 $\operatorname{CSP}(\Gamma)$ 可解，前提是问题17的答案为肯定。
• 若问题19（扩展至拉姆齐类）的答案为肯定，则可将拉姆齐理论工具应用于所有有限有界齐性结构。
• 对随机偏序的约化上的CSP分类问题，已简化为对其自同构群的闭上群的分类。
• 该框架为无限可解性猜想提供了条件性证明路径，前提是多个开放问题的答案为肯定。