Abstract
Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box consistency. Its main procedure BoxNarrow handles one function f corresponding to the revised constraint, and one variable x, replacing the other variables of f by their current intervals. This paper proposes an improved BoxNarrow procedure for narrowing the domain of x when f respects certain conditions. In particular, these conditions are fulfilled when f is polynomial. f is first symbolically rewritten into a new form g. A narrowing step is then run on the non-interval extremal functions that enclose the interval function g. The corresponding algorithm is described and validated on several numerical constraint 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
Araya, I., Trombettoni, G., Neveu, B.: Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. In: Proc. CP 2010. LNCS. Springer, Hidelberg (2010)
Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, Conf. on Logic Programming, pp. 230–244 (1999)
Chabert, G.: Ibex – An Interval Based EXplorer (2010), http://www.ibex-lib.org
Collavizza, H., Delobel, F., Rueher, M.: Extending Consistent Domains of Numeric CSP. In: Proc. IJCAI, pp. 406–413 (1999)
Goldsztejn, A., Goualard, F.: Box Consistency through Adaptive Shaving. In: Proc. ACM SAC, pp. 2049–2054 (2010)
Jaulin, L.: Interval Constraint Propagation with Application to Bounded-error Estimation. Automatica 36, 1547–1552 (2000)
Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)
Kreinovich, V., Lakeyev, A.V., Rohn, J., Kahl, P.T.: Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer, Dordrecht (1997)
Merlet, J.-P.: Interval Analysis and Robotics. In: Symp. of Robotics Research (2007)
Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
Rueher, M., Goldsztejn, A., Lebbah, Y., Michel, C.: Capabilities of Constraint Programming in Rigorous Global Optimization. In: NOLTA (2008)
Tucker, W.: A Rigorous ODE Solver and Smale’s 14th Problem. Found. Comput. Math. 2, 53–117 (2002)
Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM J. on Num. Analysis 34(2) (1997)
Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge (1997)
Wolfram, S.: Mathematica, 4th edn. Cambridge University Press, Cambridge (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Trombettoni, G., Papegay, Y., Chabert, G., Pourtallier, O. (2010). A Box-Consistency Contractor Based on Extremal Functions. In: Cohen, D. (eds) Principles and Practice of Constraint Programming – CP 2010. CP 2010. Lecture Notes in Computer Science, vol 6308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15396-9_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-15396-9_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15395-2
Online ISBN: 978-3-642-15396-9
eBook Packages: Computer ScienceComputer Science (R0)