Theory of Computing Systems

, Volume 40, Issue 3, pp 263–297 | Cite as

Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups

  • O. KlimaEmail author
  • P. TessonEmail author
  • D. TherienEmail author


We consider the problem of testing whether a given system of equations over a fixed finite semigroup S has a solution. For the case where S is a monoid, we prove that the problem is computable in polynomial time when S is commutative and is the union of its subgroups but is NP-complete otherwise. When S is a monoid or a regular semigroup, we obtain similar dichotomies for the restricted version of the problem where no variable occurs on the right-hand side of each equation. We stress connections between these problems and constraint satisfaction problems. In particular, for any finite domain D and any finite set of relations Γ over D, we construct a finite semigroup SΓ such that CSP(Γ) is polynomial-time equivalent to the satifiability problem for systems of equations over SΓ.


Polynomial Time Maximal Subgroup Regular Semigroup Constraint Satisfaction Problem Universal Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2005

Authors and Affiliations

  1. 1.Department of Mathematics, Masaryk University, BrnoCzech Republic
  2. 2.Departement d'Informatique et de Genie Logiciel, Universite Laval, Quebec, QuebecCanada
  3. 3.School of Computer Science, McGill University, Montreal, QuebecCanada

Personalised recommendations