CASEAU.pps

Y. Caseau 21/04/2017 1
Challenge ROADEF: Combinaison
de Propagation de Contraintes et de
Méta-Heuristiques
Yves Caseau & all
Bouygues –e-lab
Francoro III

Y. Caseau 21/04/2017 2
Introduction
Objectif: Instancier un patron de conception
•Auto-adaptabilité, économie de développement
Application précédente: VRPTW
•CP’99, CP-AI-OR’01
•TSPTW + (LDS,LNS,Ejection)
PPC
heuristiques
Push
Pull
Méta-
heuristiques
Domain-dependent Domain-independent Learning Tool
LNS
LDS
E.Tree
Combinaison
De
Méta-
heuristiques Algorithme
Hybride

Y. Caseau 21/04/2017 3
Etat d’Avancement
Utilisation de la PPC pour trouver une solution
•Modèle tiré de l’ordonnancement
•Propagation de contraintes Ad Hoc
Application de trois méta-heuristiques
•« Shaving » (consistance forte)
•« Shuffling » = Large Neighborhood Search
•« Limited Discrepency Search » = Introduction controlée du
Branch&Bound.
Travail en cours sur l’auto-réglage
•Confirmation: le réglage représente 80% du travail
•Limites de temps sur l’apprentissage
•Besoin d’enrichir le modèle courant

Y. Caseau 21/04/2017 4
Modèle d’Ordonnancement
Le problème d’attribution de fréquence est considéré
comme un problème d’ordonnancement
•(chemin, fréquence) => (tache, date)
Possibilité de réutiliser différentes techniques
•Propagation (distance => contrainte classique disjonctive de
partage de ressource)
•Branchement (ordre chronologique)
La notion d’intervalles de taches se retrouve avec les
cliques de chemins
•Possibilité d’utiliser des techniques d’edge-finding (consistance,
propagation, branchement)
•Résultats décevants

Y. Caseau 21/04/2017 5
Règles de Propagation
Contraintes:
•Ordonnancement avec distance
•Contraintes d’égalité, de différence
•Sous-problème 2-SAT induit par la polarité
•La distance varie suivant la polarité:
couplage dynamique 2-SAT & ORDO
Modèle classique de PPC
•Fenêtre de temps + domaines exacts pour la polarité
•Ordonnancement des contraintes disjonctives
Propagation des contraintes
•Propagation classique (2SAT + Ordo)
•Couplage 2SAT/ Ordo
•Implémentation Ad Hoc vs. Choco