Amalgams of Constraint Satisfaction Problems

11 years 1 months ago
Amalgams of Constraint Satisfaction Problems
Many of standard practical techniques of solving constraint satisfaction problems use various decomposition methods to represent a problem as a combination of smaller ones. We study a general method of decomposing constraint satisfaction problems in which every constraint is represented as a disjunction of two or more simpler constraints defined, possibly, on smaller sets of values. We call a problem an amalgam if it can be decomposed in this way. Some particular cases of this construction have been considered in [Cohen et a/., 1997; 2000b; 2000al including amalgams of problems with disjoint sets of values, and amalgams of independent problems. In this paper, we concentrate on constraint classes determined by relational clones, and study amalgams of such classes in the general case of arbitrary finite sets of values. We completely characterise amalgams of this form solvable in polynomial time and provide efficient algorithms.
Andrei A. Bulatov, Evgeny S. Skvortsov
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Authors Andrei A. Bulatov, Evgeny S. Skvortsov
Comments (0)