Show simple item record

dc.contributor.authorQuimper, Claude-Guyen 14:00:33 (GMT) 14:00:33 (GMT)
dc.description.abstractWe study in this thesis three well known global constraints. The All-Different constraint restricts a set of variables to be assigned to distinct values. The <em>global cardinality constraint</em> (GCC) ensures that a value <em>v</em> is assigned to at least <em>l<sub>v</sub></em> variables and to at most <em>u<sub>v</sub></em> variables among a set of given variables where <em>l<sub>v</sub></em> and <em>u<sub>v</sub></em> are non-negative integers such that <em>l<sub>v</sub></em> &le; <em>u<sub>v</sub></em>. The Inter-Distance constraint ensures that all variables, among a set of variables <em>x</em><sub>1</sub>, . . . , <em>x<sub>n</sub></em>, are pairwise distant from <em>p</em>, i. e. |<em>x<sub>i</sub></em> - <em>x<sub>j</sub></em>| &ge; <em>p</em> for all <em>i</em> &ne; <em>j</em>. The All-Different constraint, the GCC, and the Inter-Distance constraint are largely used in scheduling problems. For instance, in scheduling problems where tasks with unit processing time compete for a single resource, we have an All-Different constraint on the starting time variables. When there are <em>k</em> resources, we have a GCC with <em>l<sub>v</sub></em> = 0 and <em>u<sub>v</sub></em> = <em>k</em> over all starting time variables. Finally, if tasks have processing time <em>t</em> and compete for a single resource, we have an Inter-Distance constraint with <em>p</em> = <em>t</em> over all starting time variables. We present new propagators for the All-Different constraint, the GCC, and the Inter-Distance constraint i. e. , new filtering algorithms that reduce the search space according to these constraints. For a given consistency, our propagators outperform previous propagators both in practice and in theory. The gains in performance are achieved through judicious use of advanced data structures combined with novel results on the structural properties of the constraints.en
dc.format.extent983035 bytes
dc.publisherUniversity of Waterlooen
dc.rightsCopyright: 2006, Quimper, Claude-Guy. All rights reserved.en
dc.subjectComputer Scienceen
dc.subjectConstraint Programmingen
dc.subjectGlobal Constraintsen
dc.subjectAll-Different constrainten
dc.subjectGlobal Cardinality Constrainten
dc.subjectInter-Distance Constrainten
dc.titleEfficient Propagators for Global Constraintsen
dc.typeDoctoral Thesisen
dc.pendingfalseen of Computer Scienceen
uws-etd.degreeDoctor of Philosophyen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages