A Simple Algorithm for Mal'tsev Constraints

Andrei Bulatov, Víctor Dalmau
2006 SIAM journal on computing (Print)  
A Mal'tsev operation is a ternary operation ϕ that satisfies the identities ϕ(x, y, y)= ϕ(y, y, x)=x. Constraint satisfaction problems involving constraints invariant under a Mal'tsev operation constitute an important class of constraint satisfaction problems, which includes the affine satisfiability problem, subgroup and near subgroup constraints, and many others. It is also known that any tractable case of the counting constraint satisfaction problem involves only Mal'tsev constraints. The
more » ... st algorithm solving the arbitrary constraint satisfaction problem with Mal'tsev constraints has been given by Bulatov. However, this algorithm is very sophisticated and relies heavily on advanced algebraic machinery. In this paper, we give a different and much simpler algorithm for this type of constraint.
doi:10.1137/050628957 fatcat:k2mog32d3nhj7hnse7xyliuf3q