Filtrage de fonctions de coût globales décomposables

Résumé : Les auteurs de [18] ont montré que les problèmes de satisfaction de contraintes pondérées peuvent bénéficier de l’introduction des fonctions de coût globales, conduisant au nouveau paradigme de la programmation par fonctions de coûts. Dans cet article, nous explorons la possibilité de décomposer les fonctions de coût globales de sorte qu’appliquer une consistance locale souple sur la décomposition produit le même niveau de consistance que sur la fonction de coût initiale. Nous donnons des conditions pour lesquelles l’arc consistance directionelle et l’arc consistance virtuelle offrent de telles garanties. Nos expérimentations, menées sur des fonctions de coût décomposables, montrent que les décompositions peuvent être très utiles pour intégrer efficacement des fonctions de coût globales dans des solvers.