Extension des cohérences WCSP aux tuples - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Extension des cohérences WCSP aux tuples

(1) , (1) , (1)
1

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00869928 , version 1

Cite

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⟩
70 View
55 Download

Share

Gmail Facebook Twitter LinkedIn More