Building tractable disjunctive constraints

Journal article

Many combinatorial search problems can be expressed as 'constraint satisfaction problems'. This class of problems is known to be NP-hard in general, but a number of restricted constraint classes have been identified which ensure tractability. This paper presents the first general results on combining tractable constraint classes to obtain larger, more general, tractable classes. We give examples to show that many known examples of tractable constraint classes, from a wide variety of different contexts, can be constructed from simpler tractable classes using a general method. We also construct several new tractable classes that have not previously been identified. © 2000 ACM.

Authors: Cohen, D; Jeavons, P; Jonsson, P; Koubarakis, M

• Publication status: Published
• Journal: JOURNAL OF THE ACM
• Volume: 47
• Issue: 5
• Pages: 826-853
• Publication date: 2000-09-01
• DOI: 10.1145/355483.355485
• ISSN: 0004-5411
• Language: English
• Keywords: algorithms; complexity; disjunctive constraints; theory; constraint satisfaction problem; relations; NP-completeness; independence