The metaproblem for coset-generating polymorphisms is NP-complete, and promise metaproblems for Maltsev-plus-abelian-heap pairs are in P even when the individual metaproblems remain open.
A Proof of Lemma 16 For convenience of the reader, we restate and give a proof of Lemma
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
verdicts
UNVERDICTED 5representative citing papers
n-almost symmetric linear arc monadic Datalog solves exactly the CSPs of structures that can be primitive positively constructed from the transitive tournament on n+2 vertices.
CSPs solvable by slam Datalog are exactly those admitting a gadget reduction to a Boolean CSP, equivalently characterized by unfolded caterpillar duality and the existence of quasi Maltsev and k-absorptive operations, implying decidability of expressibility.
Finite permutation groups admit a complete classification of when one arises from another by a primitive positive construction, yielding general necessary conditions for PP constructions.
Universal algebra supplies cyclic terms and bounded-width conditions that classify the tractability of finite-domain CSPs via graph homomorphisms.
citing papers explorer
-
The complexity of finding coset-generating polymorphisms and the promise metaproblem
The metaproblem for coset-generating polymorphisms is NP-complete, and promise metaproblems for Maltsev-plus-abelian-heap pairs are in P even when the individual metaproblems remain open.
-
Almost Symmetric Linear Arc Monadic Datalog and Transitive Tournaments
n-almost symmetric linear arc monadic Datalog solves exactly the CSPs of structures that can be primitive positively constructed from the transitive tournament on n+2 vertices.
-
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
CSPs solvable by slam Datalog are exactly those admitting a gadget reduction to a Boolean CSP, equivalently characterized by unfolded caterpillar duality and the existence of quasi Maltsev and k-absorptive operations, implying decidability of expressibility.
-
Primitive Positive Constructions Among Finite Permutation Groups
Finite permutation groups admit a complete classification of when one arises from another by a primitive positive construction, yielding general necessary conditions for PP constructions.
-
Graph Homomorphisms and Universal Algebra
Universal algebra supplies cyclic terms and bounded-width conditions that classify the tractability of finite-domain CSPs via graph homomorphisms.