Extension des cohérences WCSP aux tuples - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Extension des cohérences WCSP aux tuples

Résumé

Dans cet article, nous présentons un nouveau type de propriétés pour les réseaux de contraintes pondérées (WCNs pour Weighted Constraint networks). Il s'agit de la cohérence de tuples (TC) dont l'établissement sur un WCN est effectué grâce à une nouvelle opération appelée TupleProject. Nous proposons également une version "optimale" de cette propriété, OTC, qui peut être perçue comme une généralisation de OSAC (Optimal Soft Arc Consistency). Le principe sous-jacent à OTC est d'appliquer de manière itérative l'opération TupleProject afin de factoriser un coût qui maximise la borne inférieure w;, sur la base de transferts de coûts entre tuples de différentes contraintes d'arité quelconque.
Fichier principal
Vignette du fichier
otcJFPC2013.pdf (310.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00869928 , version 1 (04-10-2013)

Identifiants

  • HAL Id : hal-00869928 , version 1

Citer

Djamel-Eddine Dehani, Christophe Lecoutre, Olivier Roussel. Extension des cohérences WCSP aux tuples. 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.105-113. ⟨hal-00869928⟩
77 Consultations
73 Téléchargements

Partager

Gmail Facebook X LinkedIn More