Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorNightingale, Peter
dc.contributor.authorGent, Ian Philip
dc.contributor.authorJefferson, Christopher Anthony
dc.contributor.authorMiguel, Ian James
dc.date.accessioned2013-05-01T09:31:02Z
dc.date.available2013-05-01T09:31:02Z
dc.date.issued2013-01
dc.identifier.citationNightingale , P , Gent , I P , Jefferson , C A & Miguel , I J 2013 , ' Short and long supports for constraint propagation ' , Journal of Artificial Intelligence Research , vol. 46 , pp. 1-45 . https://doi.org/10.1613/jair.3749en
dc.identifier.issn1076-9757
dc.identifier.otherPURE: 49065487
dc.identifier.otherPURE UUID: b0d73014-a4ad-43d3-82ef-e04bf274b967
dc.identifier.otherScopus: 84875551217
dc.identifier.otherWOS: 000314864000001
dc.identifier.otherORCID: /0000-0002-5052-8634/work/34029958
dc.identifier.otherORCID: /0000-0003-2979-5989/work/60887561
dc.identifier.otherORCID: /0000-0002-6930-2686/work/68281455
dc.identifier.urihttps://hdl.handle.net/10023/3503
dc.description.abstractSpecial-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form part of an assignment that satisfies the constraint) for all other variables and values and save substantial work -- but short supports have not been studied in their own right. The two main contributions of this paper are the identification of short supports as important for constraint propagation, and the introduction of HaggisGAC, an efficient and effective general purpose propagation algorithm for exploiting short supports. Given the complexity of HaggisGAC, we present it as an optimised version of a simpler algorithm ShortGAC. Although experiments demonstrate the efficiency of ShortGAC compared with other general-purpose propagation algorithms where a compact set of short supports is available, we show theoretically and experimentally that HaggisGAC is even better. We also find that HaggisGAC performs better than GAC-Schema on full-length supports. We also introduce a variant algorithm HaggisGAC-Stable, which is adapted to avoid work on backtracking and in some cases can be faster and have significant reductions in memory use. All the proposed algorithms are excellent for propagating disjunctions of constraints. In all experiments with disjunctions we found our algorithms to be faster than Constructive Or and GAC-Schema by at least an order of magnitude, and up to three orders of magnitude.
dc.format.extent45
dc.language.isoeng
dc.relation.ispartofJournal of Artificial Intelligence Researchen
dc.rights(c) 2013 AI Access Foundation.en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleShort and long supports for constraint propagationen
dc.typeJournal articleen
dc.contributor.sponsorEPSRCen
dc.description.versionPublisher PDFen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.contributor.institutionUniversity of St Andrews. Centre for Interdisciplinary Research in Computational Algebraen
dc.identifier.doihttps://doi.org/10.1613/jair.3749
dc.description.statusPeer revieweden
dc.identifier.grantnumberEP/H004092/1en


This item appears in the following Collection(s)

Show simple item record