Une nouvelle technique de filtrage basée sur la décomposition de sous-réseaux de contraintes

Résumé : Dans ce papier, nous introduisons une nouvelle technique de filtrage pour les réseaux de contraintes. Elle est basée sur une propriété appelée cohérence structurelle. Il s'agit d'une cohérence paramétrable que nous noterons w-SC. Cette cohérence est basée sur une approche significativement différente de celles en usage. Alors que les cohérences classiques s'appuient généralement sur des propriétés locales étendues à l'ensemble du réseau, cette cohérence partielle considère à l'opposé la cohérence globale sur des sous-problèmes. Ces sous-problèmes sont définis par des graphes de contraintes partiels dont la largeur arborescente est bornée par une constante w, qui correspond au paramètre associé à la cohérence. Nous introduisons un algorithme de filtrage qui réalise un filtrage permettant d'obtenir la w-SC cohérence. Cette cohérence est ensuite analysée pour la positionner par rapport aux cohérences classiquement utilisées dans les CSP. Cette étude montre que cette nouvelle cohérence est généralement incomparable avec celles figurant dans la littérature. Enfin, nous présentons des résultats expérimentaux préliminaires pour évaluer l'utilité de cette approche.
Type de document :
Communication dans un congrès
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.157-166, 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00520299
Contributeur : Christophe Lecoutre <>
Soumis le : mercredi 22 septembre 2010 - 18:52:25
Dernière modification le : jeudi 15 mars 2018 - 16:56:06
Document(s) archivé(s) le : jeudi 25 octobre 2012 - 11:21:28

Fichier

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

Identifiants

  • HAL Id : inria-00520299, version 1

Collections

Citation

Philippe Jégou, Cyril Terrioux. Une nouvelle technique de filtrage basée sur la décomposition de sous-réseaux de contraintes. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.157-166, 2010. 〈inria-00520299〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

132