4 papers
Complexity classification of counting graph homomorphisms modulo a prime number
Andrei A. Bulatov, Amirhossein Kazeminia
Counting graph homomorphisms and its generalizations such as the Counting Constraint Satisfaction Problem (CSP), its variations, and counting problems in general have been intensiv…
Separation of congruence intervals and implications
Andrei A. Bulatov
The Constraint Satisfaction Problem (CSP) has been intensively studied in many areas of computer science and mathematics. The approach to the CSP based on tools from universal alge…
Local structure of idempotent algebras II
Andrei A. Bulatov
In this paper we continue the study of edge-colored graphs associated with finite idempotent algebras initiated in arXiv:2006.09599. We prove stronger connectivity properties of su…
Local structure of idempotent algebras I
Andrei A. Bulatov
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems…