Octogones entiers pour le problème RCPSP - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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é.
Fichier principal
Vignette du fichier
jfpc2019.pdf (499.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02157804 , version 1 (17-06-2019)

Identifiants

  • HAL Id : hal-02157804 , version 1

Citer

Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Octogones entiers pour le problème RCPSP. JFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10. ⟨hal-02157804⟩
86 Consultations
89 Téléchargements

Partager

Gmail Facebook X LinkedIn More