[论文解读] Solving Promise Equations over Monoids and Groups

Alberto Larrauri, Stanislav Živný|arXiv (Cornell University)|Jan 1, 2024

Mathematical and Theoretical Analysis被引用 1

一句话总结

该论文为有限幺半群和群上的承诺方程系统建立了完整的复杂性二分法，表明此类问题可 tractable 当且仅当其底层幺半群或群是阿贝尔且正则的（对于幺半群）或仅为阿贝尔的（对于群）。作者通过多为性（polymorphisms）的代数方法，并引入‘幺半群小队’（monoidal minions）来分类可 tractable 性，证明了 BLP + AIP 算法对群足够但对一般幺半群不足，并表明将结果推广到半群将意味着所有 PCSP 的二分法成立。

ABSTRACT

We give a complete complexity classification for the problem of finding a solution to a given system of equations over a fixed finite monoid, given that a solution over a more restricted monoid exists. As a corollary, we obtain a complexity classification for the same problem over groups.

研究动机与目标

• 对有限幺半群和群上的承诺方程系统计算复杂性进行分类。
• 确定此类承诺问题可 tractable 边界的精确位置。
• 通过引入并分析来自幺半群的‘幺半群小队’，将代数方法扩展至 PCSP。
• 证明 AIP 算法对群足够但对一般幺半群不足。
• 证明若将二分法推广至半群，将意味着所有 PCSP 都存在二分法，从而凸显幺半群结果的精确性。

提出的方法

• 作者采用 PCSP 的代数方法，聚焦于多为性小队及其闭包性质。
• 他们将‘幺半群小队’定义为从幺半群导出的函数族，对置换、合并和哑变量操作封闭。
• 他们建立了多为性小队与某类幺半群小队同态等价的 PCSP 的复杂性二分法。
• 他们证明可 tractable 性对应于存在循环多为性，而此类多为性仅在幺半群或群为阿贝尔且正则（对幺半群）或仅为阿贝尔（对群）时存在。
• 他们证明 BLP + AIP 算法可解决所有群上的承诺方程问题，但不能解决一般幺半群上的问题。
• 他们证明每个 PCSP 在多项式时间内等价于某个半群上的 PCSP，意味着若半群存在二分法，则所有 PCSP 都存在二分法。

实验结果

研究问题

• RQ1 有限幺半群上的承诺方程系统的确切复杂性分类是什么？
• RQ2 有限群上的承诺方程系统在何时可 tractable，何时为 NP-难？
• RQ3 能否将基于多为性小队的代数方法扩展至捕捉幺半群上的承诺方程？
• RQ4 为何 AIP 算法对一般幺半群失效，需要何种更强的算法框架？
• RQ5 幺半群上的复杂性二分法能否推广至半群？这对更广泛的 PCSP 领域意味着什么？

主要发现

• 有限幺半群 M 上的承诺方程系统可 tractable 当且仅当 M 是阿贝尔且正则的。
• 有限群 G 上的承诺方程系统可 tractable 当且仅当 G 是阿贝尔的。
• 存在至少二元的循环多为性是幺半群和群可 tractable 性的特征。
• BLP + AIP 算法可解决所有有限阿贝尔群上的承诺方程问题，但不能解决一般幺半群上的问题。
• 幺半群上承诺方程系统多为性小队与某类幺半群小队同态等价，从而支持二分法的建立。
• 将二分法推广至半群将意味着所有 PCSP 都存在二分法，因为每个 PCSP 在多项式时间内等价于某个半群上的承诺方程系统。