Year: 2025
Type: preprint
Abstract: One of the central open problems to classify the computational complexity of finite-domain constraint satisfaction problems within P is to prove better algorithmic results for CSPs with a Maltsev polymorphism; we do not even know whether these CSPs are in NC. Relatedly, the descriptive complexity of these problems is open as well. An important special case, previously studied by Carbonell from the perspective of uniform polynomial time-algorithms, are CSPs with a conservative Maltsev polymorphism. We show that for every finite structure B with a conservative Maltsev polymorphism, the CSP for B can be solved by a symmetric linear Z2-Datalog program, and in particular is in the complexity class parity-L. Previously, the best known algorithms just showed containment in P. In our proof we develop a structure theory for conservative Maltsev algebras which might be of independent interest.
Source: arXiv (Cornell University)
Authors: Bodirsky, Manuel, Moorhead, Andrew
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4417094337
Cites:
Cited by:
Related to: