Bound Consistency for Binary Length-Lex Set Constraints - Université de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Bound Consistency for Binary Length-Lex Set Constraints

Pascal van Hentenryck
  • Fonction : Auteur
Justin Yip
  • Fonction : Auteur
Grégoire Dooms
  • Fonction : Auteur
  • PersonId : 840386

Résumé

The length-lex representation has been recently proposed for representing sets in Constraint Satisfaction Problems. The length-lex representation directly captures cardinality information , provides a total ordering for sets, and allows bound consistency on unary constraints to be enforced in time˜Otime˜ time˜O(c), where c is the cardinality of the set. However, no algorithms were given to enforce bound consistency on binary constraints. This paper addresses this open issue. It presents algorithms to enforce bound consistency on disjointness and cardinality constraints in time O(c 3). Moreover, it presents a generic bound-consistency algorithm for any binary constraint S which requires˜Orequires˜ requires˜O(c 2) calls to a feasibility subrou-tine for S.
Fichier principal
Vignette du fichier
aaai08.pdf (182.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01742388 , version 1 (24-03-2018)

Identifiants

  • HAL Id : hal-01742388 , version 1

Citer

Pascal van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms. Bound Consistency for Binary Length-Lex Set Constraints. AAAI, 2008, Chicago, United States. ⟨hal-01742388⟩
132 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More