Filtrage de fonctions de coût globales décomposables
Résumé
As [18] have shown, weighted constraint satisfaction problems can bene t from the introduction of global cost functions, leading to a new Cost Function Programming paradigm. In this paper, we explore the possibility of decomposing global cost functions in such a way that enforcing soft local consistencies on the decomposition achieves the same level of consistency on the original global cost function. We give conditions under which directional arc consistency and virtual arc consistency o er such guarantees. We conclude by experiments on decomposable cost functions showing that decompositions may be very useful to easily integrate e cient global cost functions in solvers.
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.
Domaines
Intelligence artificielle [cs.AI]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...