Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences

Résumé : Quand une fonction f est monotone par rapport à une variable sur un domaine donné, il est bien connu que l'extension aux intervalles par monotonie de f calcule une image plus étroite que l'extension naturelle. Cet article présente une nouvelle extension aux intervalles d'une fonction f appelée regroupement d'occurrences et noté [f ]og . Quand f n'est pas monotone par rapport à une variable x sur un domaine donné [B], nous essayons de transformer f en une nouvelle fonction f og qui est monotone sur deux variables xa et xb , qui regroupent des occurrences de x de telle sorte que f og soit croissante par rapport à xa et décroissante par rapport à xb . [f ]og est l'extension aux intervalles par monotonie de f og et produit une image plus étroite que l'extension naturelle. Pour trouver un bon regroupement d'occurrences, nous proposons un programme liné́aire et un algorithme qui minimisent une surestimation du diamètre de l'image de [f ]og basé sur une forme de Taylor de f . Finalement, des expé́rimentations montrent les avantages de cette nouvelle extension lors de la résolution de systèmes d'é́quations.
Type de document :
Communication dans un congrès
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.13-22, 2010
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00520373
Contributeur : Christophe Lecoutre <>
Soumis le : jeudi 23 septembre 2010 - 09:22:11
Dernière modification le : jeudi 11 janvier 2018 - 16:38:55
Document(s) archivé(s) le : jeudi 25 octobre 2012 - 11:22:28

Fichier

neveu.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : inria-00520373, version 1

Citation

Ignacio Araya, Bertrand Neveu, Gilles Trombettoni. Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.13-22, 2010. 〈inria-00520373〉

Partager

Métriques

Consultations de la notice

255

Téléchargements de fichiers

147