Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint

We firstpresen ta generic pruning technique which aggregates several constraints sharing some variables. The method is derived from an idea called sweep which is extensively used in computational geometry. A first benefit of this technique comes from the fact that it can be applied to several families of global constraints. A second advantage is that it does not lead to any memory consumption problem since it only requires temporary memory which can be reclaimed after each invocation of the method.We then specialize this technique to the non-overlapping rectangles constraint, describe several optimizations, and give an empirical evaluation based on six sets of test instances with different characteristics.

[1]  Nicolas Beldiceanu,et al.  Introducing global constraints in CHIP , 1994 .

[2]  Prof. Dr. Kurt Mehlhorn,et al.  Data Structures and Algorithms 1 , 1984, EATCS.

[3]  Nicolas Beldiceanu,et al.  Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.

[4]  Hanan Samet,et al.  Hierarchical Spatial Data Structures , 1989, SSD.

[5]  Ian Gambini A Method for Cutting Squares into Distinct Squares , 1999, Discret. Appl. Math..

[6]  Mats Carlsson,et al.  An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.

[7]  Kurt Mehlhorn,et al.  Data Structures and Algorithms 1: Sorting and Searching , 2011, EATCS Monographs on Theoretical Computer Science.

[8]  Kurt Mehlhorn,et al.  Sorting and Searching (Eatcs Monographs on Theoretical Computer Science) , 1984 .

[9]  David B. Shmoys,et al.  A New Approach to Computing Optimal Schedules for the Job-Shop Scheduling Problem , 1996, IPCO.

[10]  Nicolas Beldiceanu,et al.  Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type , 2000, CP.

[11]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[12]  Hanan Samet,et al.  The Design and Analysis of Spatial Data Structures , 1989 .

[13]  Franck Rochon du Verdier Résolution de problèmes d'aménagement spatial fondée sur la satisfaction de contraintes : validation sur l'implantation d'équipements électroniques hyperfréquences , 1992 .

[14]  Krzysztof Kuchcinski Synthesis of distributed embedded systems , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[15]  Pascal Van Hentenryck,et al.  Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.