Abstract
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-constrained, interval Newton algorithms behave like a global constraint over the whole n ×n system. Also, filtering algorithms issued from constraint programming perform an AC3-like propagation loop, where the constraints are iteratively handled one by one by a revise procedure. Applying a revise procedure amounts in contracting a 1 ×1 subsystem.
This paper investigates the possibility of defining contracting well-constrained subsystems of size k (1 ≤ k ≤ n). We theoretically define the Box-k-consistency as a generalization of the state-of-the-art Box-consistency. Well-constrained subsystems act as global constraints that can bring additional filtering w.r.t. interval Newton and 1 ×1 standard subsystems. Also, the filtering performed inside a subsystem allows the solving process to learn interesting multi-dimensional branching points, i.e., to bisect several variable domains simultaneously. Experiments highlight gains in CPU time w.r.t. state-of-the-art algorithms on decomposed and structured systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ait-Aoudia, S., Jegou, R., Michelucci, D.: Reduction of Constraint Systems. In: Compugraphic (1993)
Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, pp. 230–244 (1999)
Chabert, G.: http://www.ibex-lib.org (2009)
Chabert, G., Jaulin, L.: Contractor Programming. Artificial Intelligence 173, 1079–1100 (2009)
Cruz, J., Barahona, P.: Global Hull Consistency with Local Search for Continuous Constraint Solving. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 349–362. Springer, Heidelberg (2001)
Debruyne, R., Bessière, C.: Some Practicable Filtering Techniques for the Constraint Satisfaction Problem. In: Proc. IJCAI, pp. 412–417 (1997)
Dulmage, A.L., Mendelsohn, N.S.: Covering of Bipartite Graphs. Canadian Journal of Mathematics 10, 517–534 (1958)
Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Heidelberg (2001)
Kearfott, R.B., Novoa III, M.: INTBIS, a portable interval Newton/Bisection package. ACM Trans. on Mathematical Software 16(2), 152–157 (1990)
Lebbah, Y., Michel, C., Rueher, M., Daney, D., Merlet, J.P.: Efficient and safe global constraints for handling numerical constraint systems. SIAM Journal on Numerical Analysis 42(5), 2076–2097 (2005)
Lhomme, O.: Consistency Tech. for Numeric CSPs. In: IJCAI, pp. 232–238 (1993)
Merlet, J.-P.: http://www-sop.inria.fr/coprin/logiciels/ALIAS/Benches/benches.html (2009)
Neumaier, A.: Int. Meth. for Systems of Equations. Cambridge Univ. Press, Cambridge (1990)
Neveu, B., Chabert, G., Trombettoni, G.: When Interval Analysis helps Interblock Backtracking. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 390–405. Springer, Heidelberg (2006)
Neveu, B., Jermann, C., Trombettoni, G.: Inter-Block Backtracking: Exploiting the Structure in Continuous CSPs. In: Jermann, C., Neumaier, A., Sam, D. (eds.) COCOS 2003. LNCS, vol. 3478, pp. 15–30. Springer, Heidelberg (2005)
Régin, J.-C.: A Filtering Algorithm for Constraints of Difference in CSPs. In: Proc. AAAI 1994, pp. 362–367 (1994)
Trombettoni, G., Chabert, G.: Constructive Interval Disjunction. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 635–650. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Araya, I., Trombettoni, G., Neveu, B. (2009). Filtering Numerical CSPs Using Well-Constrained Subsystems. In: Gent, I.P. (eds) Principles and Practice of Constraint Programming - CP 2009. CP 2009. Lecture Notes in Computer Science, vol 5732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04244-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-04244-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04243-0
Online ISBN: 978-3-642-04244-7
eBook Packages: Computer ScienceComputer Science (R0)