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.
https://hal-enpc.archives-ouvertes.fr/hal-01077462 Contributeur : Bertrand NeveuConnectez-vous pour contacter le contributeur Soumis le : vendredi 24 octobre 2014 - 17:15:04 Dernière modification le : samedi 15 janvier 2022 - 03:57:32 Archivage à long terme le : : dimanche 25 janvier 2015 - 10:50:51
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⟩