The Weighted Average Constraint

Weighted average expressions frequently appear in the context of allocation problems with balancing based constraints. In combinatorial optimization they are typically avoided by exploiting problems specificities or by operating on the search process. This approach fails to apply when the weights are decision variables and when the average value is part of a more complex expression. In this paper, we introduce a novel average constraint to provide a convenient model and efficient propagation for weighted average expressions appearing in a combinatorial model. This result is especially useful for Empirical Models extracted via Machine Learning (see [2]), which frequently count average expressions among their inputs. We provide basic and incremental filtering algorithms. The approach is tested on classical benchmarks from the OR literature and on a workload dispatching problem featuring an Empirical Model. In our experimentation the novel constraint, in particular with incremental filtering, proved to be even more efficient than traditional techniques to tackle weighted average expressions.

[1]  Laurence A. Wolsey,et al.  Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings , 2007, CPAIOR.

[2]  Laurent Perron,et al.  Operations Research and Constraint Programming at Google , 2011, CP.

[3]  Timothy Mattson,et al.  A 48-Core IA-32 message-passing processor with DVFS in 45nm CMOS , 2010, 2010 IEEE International Solid-State Circuits Conference - (ISSCC).

[4]  Jean-Charles Régin,et al.  Global Constraints: A Survey , 2011 .

[5]  R. Sridharan The capacitated plant location problem , 1995 .

[6]  Gilles Pesant,et al.  SPREAD: A Balancing Constraint Based on Statistics , 2005, CP.

[7]  Christian Bessière Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.

[8]  John E. Beasley,et al.  OR-Library: Distributing Test Problems by Electronic Mail , 1990 .

[9]  Peter van Beek,et al.  Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.

[10]  Yves Deville,et al.  Simplification and extension of the SPREAD Constraint , 2006 .

[11]  Warwick Harvey,et al.  Bounds Consistency Techniques For Long Linear Constraints , 2002 .

[12]  Luca Benini,et al.  Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching , 2012, AAAI.

[13]  Yves Deville,et al.  Bound-Consistent Deviation Constraint , 2007, CP.

[14]  Yves Deville,et al.  The Deviation Constraint , 2007, CPAIOR.

[15]  Luca Benini,et al.  Neuron Constraints to Model Complex Real-World Problems , 2011, CP.