Abstract
We show that from well-known MDDs like the one modeling a sum, and operations between MDDs we can define efficient propagators of some complex constraints, like a weighted sum whose values satisfy a normal law. In this way, we avoid defining ad-hoc filtering algorithms. We apply this idea to different dispersion constraints and on a new statistical constraint we introduce: the Probability Mass Function constraint. We experiment out approach on a real world application. The conjunction of MDDs clearly outperforms all previous methods.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Problem 30 of CSPLIB. www.csplib.org
Andersen, H.R., Hadzic, T., Hooker, J.N., Tiedemann, P.: A constraint store based on multivalued decision diagrams. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 118–132. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74970-7_11
Beldiceanu, N., Carlsson, M., Demassey, S., Petit, T.: Global constraint catalog: past, present and future. Constraints 12(1), 21–62 (2007)
Bergman, D., Hoeve, W.-J., Hooker, J.N.: Manipulating MDD relaxations for combinatorial optimization. In: Achterberg, T., Beck, J.C. (eds.) CPAIOR 2011. LNCS, vol. 6697, pp. 20–35. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21311-3_5
Bessiere, C., Hebrard, E., Katsirelos, G., Kiziltan, Z., Picard-Cantin, É., Quimper, C.-G., Walsh, T.: The balance constraint family. In: O’Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 174–189. Springer, Cham (2014). doi:10.1007/978-3-319-10428-7_15
Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. C 35(8), 677–691 (1986)
Cheng, K., Yap, R.: An mdd-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints 15, 265–304 (2010)
Demassey, S., Pesant, G., Rousseau, L.-M.: A cost-regular based hybrid column generation approach. Constraints 11(4), 315–333 (2006)
Gange, G., Stuckey, P., Szymanek, R.: MDD propagators with explanation. Constraints 16, 407–429 (2011)
Hadzic, T., Hooker, J.N., O’Sullivan, B., Tiedemann, P.: Approximate compilation of constraints into multivalued decision diagrams. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 448–462. Springer, Heidelberg (2008). doi:10.1007/978-3-540-85958-1_30
Hoda, S., Hoeve, W.-J., Hooker, J.N.: A systematic approach to MDD-based constraint programming. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 266–280. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15396-9_23
Pennington, W.D.: Reservoir Geophys. 66(1), 25–30 (2001)
Perez, G., Régin, J.-C.: Improving GAC-4 for table and MDD constraints. In: O’Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 606–621. Springer, Cham (2014). doi:10.1007/978-3-319-10428-7_44
Perez, G., Régin, J-C.: Efficient operations on MDDs for building constraint programming models. In: International Joint Conference on Artificial Intelligence, IJCAI 2015, Argentina, pp. 374–380 (2015)
Perez, G., Régin, J.-C.: Soft and cost MDD propagators. In: Proceedings of the AAAI 2017 (2017)
Pesant, G., Régin, J.-C.: SPREAD: a balancing constraint based on statistics. In: Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 460–474. Springer, Heidelberg (2005). doi:10.1007/11564751_35
Pesant, G.: Achieving domain consistency and counting solutions for dispersion constraints. INFORMS J. Comput. 27(4), 690–703 (2015)
Régin, J.-C.: Generalized arc consistency for global cardinality constraint. In: Proceedings of the AAAI 1996, Portland, Oregon, pp. 209–215 (1996)
Rossi, R., Prestwich, S.D., Armagan Tarim, S.: Statistical constraints. In: ECAI 2014–21st European Conference on Artificial Intelligence, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 18–22 August 2014, pp. 777–782 (2014)
Roy, P., Perez, G., Régin, J.-C., Papadopoulos, A., Pachet, F., Marchini, M.: Enforcing structure on temporal sequences: the allen constraint. In: Rueher, M. (ed.) CP 2016. LNCS, vol. 9892, pp. 786–801. Springer, Cham (2016). doi:10.1007/978-3-319-44953-1_49
Schaus, P., Deville, Y., Dupont, P., Régin, J.-C.: The deviation constraint. In: Hentenryck, P., Wolsey, L. (eds.) CPAIOR 2007. LNCS, vol. 4510, pp. 260–274. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72397-4_19
Schaus, P., Deville, Y., Dupont, P., Régin, J.-C.: Simplification and extension of the SPREAD constraint. In: Future and Trends of Constraint Programming, pp. 95–99. ISTE (2007)
Schaus, P., Régin, J.-C.: Bound-consistent spread constraint 2(3) (2014)
Schaus, P., Deville, Y., Dupont, P.: Bound-consistent deviation constraint. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 620–634. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74970-7_44
Trick, M.: A dynamic programming approach for consistency and propagation for knapsack constraints. In CPAIOR 2001 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Perez, G., Régin, JC. (2017). MDDs are Efficient Modeling Tools: An Application to Some Statistical Constraints. In: Salvagnin, D., Lombardi, M. (eds) Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2017. Lecture Notes in Computer Science(), vol 10335. Springer, Cham. https://doi.org/10.1007/978-3-319-59776-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-59776-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59775-1
Online ISBN: 978-3-319-59776-8
eBook Packages: Computer ScienceComputer Science (R0)