Sciweavers

Share
CP
2010
Springer

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints

9 years 10 months ago
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation that would be performed on every reachable subdomain of scope(c). Our propagators are stateless: they store no state between calls, and so incur no overhead in storing and backtracking state during search. The preprocessing step can take exponential time and the custom propagator is potentially exponential in size. However, for small constraints used repeatedly, in one problem or many, this technique can provide substantial practical gains. Our experimental results show that, compared with optimised implementations of the table constraint, this technique can lead to an order of magnitude speedup, while doing identical search on realistic problems. The technique can also be many times faster than a decomposition into primitive constraints in the Minion solver. Propagation is so fast that, for constraints availab...
Ian P. Gent, Christopher Jefferson, Ian Miguel, Pe
Added 24 Jan 2011
Updated 24 Jan 2011
Type Journal
Year 2010
Where CP
Authors Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Comments (0)
books