Constraints and universal algebra

  • Authors:

  • Peter Jeavons;David Cohen;Justin Pearson

  • Affiliations:

  • Department of Computer Science, Royal Holloway, University of London, UK E-mail: p.jeavons@dcs.rhbnc.ac.uk;Department of Computer Science, Royal Holloway, University of London, UK E-mail: p.jeavons@dcs.rhbnc.ac.uk;Department of Computer Systems, Uppsala University, S‐751 05 Uppsala, Sweden, E-mail: justin@docs.uu.se

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we explore the links between constraint satisfaction problems and universal algebra. We show that a constraint satisfaction problem instance can be viewed as a pair of relational structures, and the solutions to the problem are then the structure preserving mappings between these two relational structures. We give a number of examples to illustrate how this framework can be used to express a wide variety of combinatorial problems, many of which are not generally considered as constraint satisfaction problems. We also show that certain key aspects of the mathematical structure of constraint satisfaction problems can be precisely described in terms of the notion of a Galois connection, which is a standard notion of universal algebra. Using this result, we obtain an algebraic characterisation of the property of minimality in a constraint satisfaction problem. We also obtain a similar algebraic criterion for determining whether or not a given set of solutions can be expressed by a constraint satisfaction problem with a given structure, or a given set of allowed constraint types.