约束满足问题的范畴视角：仪象限的奇幻旅程
计算机科学中的逻辑
2026-05-15 v3 范畴论
摘要
所谓代数方法解决约束满足问题 (CSP) 自 2000 年代初以来一直是研究这些问题复杂度的主流方法。该方法的核心是多态性概念，这些概念（通过对数空间约简）决定了问题的复杂度。过去几年中，一种更通用的 CSP 版本浮现，称为承诺约束满足问题 (PCSP)，而多态性概念及其代数方法的大多数核心命题也被推广到承诺设置中。尽管如此，近期的工作也表明，来自其他领域的见解在 PCSP 的研究中大有裨益，包括代数拓扑学。本文为熟悉范畴论者提供了进入 CSP 和 PCSP 复杂度研究的入口。我们表明，许多标准 CSP 概念都有明确且众所周知的范畴对应物。例如，多态性的代数结构可描述为一个作为右 Kan 扩展定义的集合-函子。我们提供了代数方法核心结果的纯范畴论证明，包括复杂度仅取决于多态性的一个证明。我们的新证明在长度和从范畴论角度看更为简洁，比以前的相同结果证明更为清晰。此外，正如预期的那样，这些证明更具适用性。我们相信，在 PCSP 的情况下，范畴论带来的见解可以帮助解决该领域的一些当前挑战。
引用
@article{arxiv.2503.10353,
title = {A categorical perspective on constraint satisfaction: The wonderland of adjunctions},
author = {Maximilian Hadek and Tomáš Jakl and Jakub Opršal},
journal= {arXiv preprint arXiv:2503.10353},
year = {2026}
}
备注
Full version of LICS 2026 paper