ACID : Disjonction constructive adaptative sur intervalles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

ACID : Disjonction constructive adaptative sur intervalles

(1, 2) , (3)
1
2
3

Résumé

Un opérateur de filtrage nommé CID et une variante efficace 3BCID ont eté proposés en 2007. Ces opérateurs calculent pour des CSP numériques traités avec des méthodes à intervalles une consistance partielle équivalente à Partition-1-AC pour les CSP à domaines finis. Les deux paramètres principaux de CID sont le nombre d'appels à la procédure principale et le nombre maximum de sous-intervalles traités par cette procédure. Cet opérateur 3BCID est efficace pour la résolution de CSP numériques, mais l'est moins en optimisation globale sous contraintes. Cet article propose une variante adaptative de 3BCID. Le nombre de variables traitées est calculé automatiquement durant la recherche, les autres paramètres étant fixés de manìère robuste. Sur un échantillon représentatif d'instances, ACID apparaît comme la meilleure approche en résolution et en optimisation. Elle a été choisie comme méthode de contraction par défaut du résolveur par intervalles Ibex.
Fichier principal
Vignette du fichier
acidjfpc1.pdf (363.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01077462 , version 1 (24-10-2014)

Identifiants

  • HAL Id : hal-01077462 , version 1

Citer

Bertrand Neveu, Gilles Trombettoni. ACID : Disjonction constructive adaptative sur intervalles. 10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France. ⟨hal-01077462⟩
233 Consultations
185 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More