Chen, Hubie and Dalmau, V. (2004) Smart look-ahead arc consistency and the pursuit of CSP tractability. In: Wallace, M. (ed.) 10th International Conference: Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 3258. Springer, pp. 182-196. ISBN 9783540232414.
Abstract
The constraint satisfaction problem (CSP) can be formulated as the problem of deciding, given a pair (A,B) of relational structures, whether or not there is a homomorphism from A to B. Although the CSP is in general intractable, it may be restricted by requiring the “target structure” B to be fixed; denote this restriction by CSP(B). In recent years, much effort has been directed towards classifying the complexity of all problems CSP(B). The acquisition of CSP(B) tractability results has generally proceeded by isolating a class of relational structures B believed to be tractable, and then demonstrating a polynomial-time algorithm for the class. In this paper, we introduce a new approach to obtaining CSP(B) tractability results: instead of starting with a class of structures, we start with an algorithm called look-ahead arc consistency, and give an algebraic characterization of the structures solvable by our algorithm. This characterization is used both to identify new tractable structures and to give new proofs of known tractable structures.
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 09 Mar 2021 16:14 |
| Last Modified: | 09 Aug 2023 12:50 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/43348 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
