Hull Consistency Under Monotonicity - Département STIC Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Hull Consistency Under Monotonicity

Luc Jaulin

Résumé

We prove that hull consistency for a system of equations or inequalities can be achieved in polynomial time providing that the underlying functions are monotone with respect to each variable. This result holds including when variables have multiple occurrences in the expressions of the functions, which is usually a pitfall for interval-based contractors. For a given constraint, an optimal contractor can thus be enforced quickly under monotonicity and the practical significance of this theoretical result is illustrated on a simple example.
Fichier principal
Vignette du fichier
mono.pdf (197.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00428970 , version 1 (30-10-2009)

Identifiants

  • HAL Id : hal-00428970 , version 1

Citer

Gilles Chabert, Luc Jaulin. Hull Consistency Under Monotonicity. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195. ⟨hal-00428970⟩
178 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More