Hull Consistency Under Monotonicity

Abstract : 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.
Type de document :
Communication dans un congrès
Ian P. Gent. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. Springer Verlag, 5732, p. 188-195, 2009, LNCS (Lecture Notes in Computer Science)
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00428970
Contributeur : Gilles Chabert <>
Soumis le : vendredi 30 octobre 2009 - 11:01:50
Dernière modification le : lundi 15 février 2010 - 16:30:20
Document(s) archivé(s) le : jeudi 17 juin 2010 - 18:47:30

Fichier

mono.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00428970, version 1

Citation

Gilles Chabert, Luc Jaulin. Hull Consistency Under Monotonicity. Ian P. Gent. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. Springer Verlag, 5732, p. 188-195, 2009, LNCS (Lecture Notes in Computer Science). <hal-00428970>

Partager

Métriques

Consultations de
la notice

132

Téléchargements du document

74