Télécharger la présentation
Publié parQuinton Bourdin Modifié depuis plus de 10 années
1
Coupes efficaces pour la relaxation lagrangienne
Cours d’optimisation combinatoire Mr Gérard Plateau Jean-Michel Dubois 2002
2
Coupes efficaces Notations Condition nécéssaire Un exemple de coupe
Conclusion
3
Coupes efficaces : notations
Problème (P) valeur optimale V(P) solution optimale OS(P) domaine : FS(P)
4
Coupes efficaces : notations
Définitions : _ une coupe est valide pour la relaxation (R) du problème (P) si le problème (R’) est encore une relaxation du problème (P). R’ est le problème R avec la nouvelle coupe. _ on dit qu’une coupe est fortement valide si de plus
5
Coupes efficaces : notations
6
Coupes efficaces : notations
Dualisation de la contrainte : Avec u (Geoffrion, 1974)
7
Coupes efficaces : notations
Dual lagrangien : Enveloppe convexe de A (Geoffrion, 1974)
8
Coupes efficaces Notations Condition nécéssaire Un exemple de coupe
Conclusion
9
Coupes efficaces : condition nécéssaire
Objectif : obtenir une meilleure valeur (i.e. une meilleure borne supérieure) de la relaxation Moyen : ajouter des coupes de la forme
10
Coupes efficaces : condition nécéssaire
Définition : Ceci est équivalent à dualiser la coupe !
11
Coupes efficaces : condition nécéssaire
On trouve une meilleure borne supérieure pour la relaxation si : et
12
Coupes efficaces : condition nécéssaire
OS(LR’) OS(LR) OS(LP) f C L x OS(P) A C’
13
Coupes efficaces : condition nécéssaire
Pour qu’une coupe soit fortement valide tout en améliorant la borne de la relaxation lagrangienne, il faut que : Soit la coupe est fortement valide pour Soit la coupe est fortement valide pour (P)
14
Coupes efficaces Notations Condition nécéssaire Un exemple de coupe
Conclusion
15
Un exemple de coupe Exemple préliminaire : TSP asymétrique
Définition du tour : C’est un graphe partiel à une composante connexe Chaque nœud à un degré intérieur égal à 1 Chaque nœud a un degré extérieur égal à 1 Le tour obtenu doit être de poids minimal !
16
Un exemple de coupe La troisième contrainte peut s’écrire :
(*) V ensemble des sommets E ensemble des arcs Considérons la relaxation lagrangienne où on dualise ces contraintes : une solution de cette relaxation peut violer une des contraintes (*).
17
Un exemple de coupe Notons l’ensemble de nœuds qui ont différents degré intérieurs/extérieurs. Considérons maintenant les coupes : V ensemble des noeuds E ensemble des arcs Ces coupes n’améliorent pas la borne supérieure de la relaxation lagrangienne ! Ce sont des coupes valides mais pas fortement valides
18
Coupes efficaces : un exemple de coupe
Sac à dos à choix multiples « on doit choisir un objet par classe » « contrainte de type sac à dos »
19
Coupes efficaces : un exemple de coupe
Deux relaxations lagrangiennes possibles La deuxième est plus simple pour la résolution : un seul multiplicateur lagrangien. Mais ceci équivaut à la relaxation en continu
20
Coupes efficaces : un exemple de coupe
Problème : la solution de la relaxation lagrangienne risque de ‘violer’ la contrainte de type sac à dos Solution : ajouter une coupe qui dit : de toutes les variables qui sont actuellement à 1 dans la solution courante, au moins une doit valoir zéro.
21
Coupes efficaces : un exemple de coupe
Exemple avec 4 classes Supposons que valent 1 dans la solution courante On peut choisir la coupe Cette coupe va améliorer la borne !! Mais en la dualisant on a un autre multiplicateur de Lagrange…
22
Coupes efficaces Notations Condition nécéssaire Un exemple de coupe
Conclusion
23
Conclusion Les coupes sont aussi utilisées pour les résolutions exactes, comme dans l’algorithme du simplexe (en nombres entiers) : on ajoute des coupes de Gomory « à la volée »
24
Conclusion L’ajout de coupes lors de relaxations lagrangiennes contribuent à l’amélioration de la borne supérieure La « taille » du problème augmente à chaque ajout de coupe
25
Conclusion Pour des problèmes données, il arrive que les coupes n’améliorent pas la borne supérieure de la relaxation lagrangienne : exemple du problème du voyageur de commerce
Présentations similaires
© 2024 SlidePlayer.fr Inc.
All rights reserved.