<p>A fundamental open problem in finite model theory and, specifically, descriptive complexity is the question whether there exists a logic which characterizes solvability of algorithmic decision polynomial time on the class of finite relational structures. A prominent candidate is the logic of Choiceless Polynomial Time (CPT) (optionally counting), a strict extension of the first-order logic. The expressibility problem for properties of finite relational structures in CPT (or CPT+C) is intrinsically hard, but CPT can be replaced by a more standard model-theoretic construction.</p>
<p>We show that constraint satisfaction problems over Maltsev templates can be expressed in the logic PIL+H. Furthermore, we show that the algorithm for Maltsev templates also solves said instances of constraint satisfaction problems over finite, idempotent Taylor algebras. This proves that for every finite, idempotent algebra A, the problem CSP(A) is either NP-complete or its solvability can be defined in the logic PIL+H.</p>
<p>A fundamental open problem in finite model theory and, specifically, descriptive complexity is the question whether there exists a logic which characterizes solvability of algorithmic decision polynomial time on the class of finite relational structures. A prominent candidate is the logic of Choiceless Polynomial Time (CPT) (optionally counting), a strict extension of the first-order logic. The expressibility problem for properties of finite relational structures in CPT (or CPT+C) is intrinsically hard, but CPT can be replaced by a more standard model-theoretic construction.</p>
<p>We show that constraint satisfaction problems over Maltsev templates can be expressed in the logic PIL+H. Furthermore, we show that the algorithm for Maltsev templates also solves said instances of constraint satisfaction problems over finite, idempotent Taylor algebras. This proves that for every finite, idempotent algebra A, the problem CSP(A) is either NP-complete or its solvability can be defined in the logic PIL+H.</p>
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.