Files in this item
Generating custom propagators for arbitrary constraints
Item metadata
dc.contributor.author | Gent, I.P. | |
dc.contributor.author | Jefferson, C. | |
dc.contributor.author | Linton, S. | |
dc.contributor.author | Miguel, I. | |
dc.contributor.author | Nightingale, P. | |
dc.date.accessioned | 2014-04-11T13:31:01Z | |
dc.date.available | 2014-04-11T13:31:01Z | |
dc.date.issued | 2014-06 | |
dc.identifier.citation | Gent , I P , Jefferson , C , Linton , S , Miguel , I & Nightingale , P 2014 , ' Generating custom propagators for arbitrary constraints ' , Artificial Intelligence , vol. 211 , pp. 1-33 . https://doi.org/10.1016/j.artint.2014.03.001 | en |
dc.identifier.issn | 0004-3702 | |
dc.identifier.other | PURE: 109831917 | |
dc.identifier.other | PURE UUID: 6906a5ee-614e-439f-a836-6f60c84e8ae1 | |
dc.identifier.other | Scopus: 84896521633 | |
dc.identifier.other | ORCID: /0000-0002-5052-8634/work/34029954 | |
dc.identifier.other | WOS: 000335637100001 | |
dc.identifier.other | ORCID: /0000-0003-2979-5989/work/60887549 | |
dc.identifier.other | ORCID: /0000-0002-6930-2686/work/68281447 | |
dc.identifier.uri | https://hdl.handle.net/10023/4566 | |
dc.description | Open Access funded by Engineering and Physical Sciences Research Council. | en |
dc.description.abstract | Constraint Programming (CP) is a proven set of techniques for solving complex combinatorial problems from a range of disciplines. The problem is specified as a set of decision variables (with finite domains) and constraints linking the variables. Local reasoning (propagation) on the constraints is central to CP. Many constraints have efficient constraint-specific propagation algorithms. In this work, we generate custom propagators for constraints. These custom propagators can be very efficient, even approaching (and in some cases exceeding) the efficiency of hand-optimised propagators. Given an arbitrary constraint, we show how to generate a custom propagator that establishes GAC in small polynomial time. This is done by precomputing the propagation that would be performed on every relevant subdomain. The number of relevant subdomains, and therefore the size of the generated propagator, is potentially exponential in the number and domain size of the constrained variables. The limiting factor of our approach is the size of the generated propagators. We investigate symmetry as a means of reducing that size. We exploit the symmetries of the constraint to merge symmetric parts of the generated propagator. This extends the reach of our approach to somewhat larger constraints, with a small run-time penalty. Our experimental results show that, compared with optimised implementations of the table constraint, our techniques can lead to an order of magnitude speedup. Propagation is so fast that the generated propagators compare well with hand-written carefully optimised propagators for the same constraints, and the time taken to generate a propagator is more than repaid. | |
dc.format.extent | 33 | |
dc.language.iso | eng | |
dc.relation.ispartof | Artificial Intelligence | en |
dc.rights | Copyright © 2014 The Authors. This is an open access article published under a Creative Commons Attribution (CC-BY) licence. | en |
dc.subject | Constraint programming | en |
dc.subject | Constraint satisfaction problem | en |
dc.subject | Propagation algorithms | en |
dc.subject | Combinatorial search | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | BDC | en |
dc.subject | R2C | en |
dc.subject | ~DC~ | en |
dc.subject.lcc | QA75 | en |
dc.title | Generating custom propagators for arbitrary constraints | en |
dc.type | Journal article | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.description.version | Publisher PDF | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | https://doi.org/10.1016/j.artint.2014.03.001 | |
dc.description.status | Peer reviewed | en |
dc.identifier.grantnumber | EP/E030394/1 | en |
dc.identifier.grantnumber | EP/H004092/1 | en |
dc.identifier.grantnumber | EP/K015745/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.