42digest
保守的马尔采夫约束满意度问题

Conservative Maltsev Constraint Satisfaction Problems

Manuel Bodirsky and Andrew Moorhead

arXiv
2025年5月16日

我们表明,对于具有保守Maltsev多态性的每个有限结构B,B的约束满意度问题可以通过对称线性Z2-Datalog程序来解决,特别是在复杂度类奇偶校验-L中。 证明有两个步骤:我们首先为某个亚类呈现结果,其多态代数在遗传上是可不可还原的。 然后我们表明,我们类中的每一个其他结构都可以由子类中的一个结构原始地积极构建。 第二步需要不同的技术,并将呈现在配套文章中。

We show that for every finite structure B with a conservative Maltsev polymorphism, the constraint satisfaction problem for B can be solved by a symmetric linear Z2-Datalog program, and in particular is in the complexity class parity-L. The proof has two steps: we first present the result for a certain subclass whose polymorphism algebras are hereditarily subdirectly irreducible. We then show that every other structure in our class can be primitively positively constructed from one of the struct...