A Box-Consistency Contractor Based on Extremal Functions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A Box-Consistency Contractor Based on Extremal Functions

Résumé

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.
Fichier principal
Vignette du fichier
trombe_et_al_cp10.pdf (251.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01146875 , version 1 (29-04-2015)

Identifiants

Citer

Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier. A Box-Consistency Contractor Based on Extremal Functions. CP: Principles and Practice of Constraint Programming, Sep 2010, St Andrews, United Kingdom. pp.491-498, ⟨10.1007/978-3-642-15396-9_39⟩. ⟨hal-01146875⟩
559 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More