Efficient Propagators for Global Constraints
Abstract
We 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> ≤ <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>| ≥ <em>p</em> for all <em>i</em> ≠ <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.
Collections
Cite this version of the work
Claude-Guy Quimper
(2006).
Efficient Propagators for Global Constraints. UWSpace.
http://hdl.handle.net/10012/2916
Other formats
Related items
Showing items related by title, author, creator and subject.
-
Constraint Programming Techniques for Optimal Instruction Scheduling
Malik, Abid (University of Waterloo, 2008-04-21)Modern processors have multiple pipelined functional units and can issue more than one instruction per clock cycle. This puts great pressure on the instruction scheduling phase in a compiler to expose maximum instruction ... -
Uranium and Molybdenum Isotope Constraints on Ocean Redox Conditions During Deposition of the Upper Devonian Kettle Point Formation, Ontario
Wang, Jieying (University of Waterloo, 2016-10-18)The Late Devonian extinction event was among the most severe Phanerozoic mass extinction events, which led to a decline in the abundance and diversity of marine and terrestrial ecosystems, particularly tropical shallow-marine ... -
Contrasting accessory mineral behavior in minimum-temperature melts: Empirical constraints from the Himalayan metamorphic core
Cottle, John M.; Larson, Kyle P.; Yakymchuk, Chris (Elsevier, 2018-07-01)Medium-grained leucogranite in the Tama Kosi region of the Nepalese Himalayan Metamorphic Core yields a relatively narrow range of monazite 208Pb/232Th dates with a dominant population at ~21.0 Ma inferred to represent ...