Octogones entiers pour le problème RCPSP
Résumé
En programmation par contraintes, l'efficacité des solveurs est principalement due aux contraintes globales qui encapsulent des algorithmes de résolution spécifiques.
Une conséquence est la prolifération de centaines de contraintes globales qui sont spécialisées pour des problèmes très particuliers.
Dans cet article, nous étudions une approche basée sur les domaines abstraits de l'analyse de programmes par interprétation abstraite.
Les domaines abstraits permettent de résoudre efficacement des conjonctions de contraintes primitives dans un langage fixé.
Essentiellement, nous utilisons une décomposition de la contrainte globale \texttt{cumulative} vers des conjonctions de contraintes primitives pouvant être prises en charge par les domaines abstraits.
Le premier avantage est que ces derniers sont moins nombreux car plus généralistes, et peuvent donc être réutilisés sur une gamme de problèmes plus large.
Le deuxième est que ces domaines abstraits peuvent échanger des contraintes grâce à la technique du produit réduit issue de l'interprétation abstraite.
La contribution principale est d'utiliser les contraintes réifiées afin de programmer cet échange d'information entre le domaine abstrait des intervalles et des octogones.
Nous explicitons cette approche sur le problème de gestion de projet à contraintes de ressources (RCPSP).
Les expérimentations préliminaires montrent que l'approche offre un bon compromis entre efficacité et expressivité.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...