Programmation linéaire et Recherche opérationnelle Licence d’Econométrie Professeur Michel de Rougemont

Programmation linéaire et Recherche opérationnelle Introduction Contraintes linéaires en Economie Optimisation Complexité, Approximation, Stabilité Programmation linéaire Simplex Simplex à deux phases Dualité Simplex révisé et dual Recherche Opérationnelle Problèmes de flots et de réseaux NP-complétude et approximation Jeux et Equilibres Programmation linéaire complémentaire

Contraintes linéaires en Economie Exemples de contraintes linéaires. Maximisation et Minimisation de fonctions. Incertitude. Complexité. Approximation. Bases de l’algèbre linéaire.

Introduction au Simplex Résolution d’un système linéaire de maximisation: Introduction de variables d’écart Solution initiale Itération pour augmenter la valeur de la solution. Terminaison

Exemple d’itération

Itérations possibles Augmentons Les contraintes sont : Nouvelle solution:

Nouveau système Substituons

Itération 2 Augmentons Les contraintes sont: Nouveau système: La valeur z ne peut plus être augmentée: optimum.

Méthode générale Mise sous forme normale. Itération: Choix d’un pivot qui augmente la solution. Détection de l’optimum ou d’infaisabilité Problèmes possibles: Solution non bornée Infaisabilité Cycles Solution initiale

Difficultés du Simplex Initialisation : peut-on toujours trouver une solution initiale? Itération : peut-on toujours itérer? Terminaison : les itérations terminent- elles toujours?

Systèmes et Tableaux Dictionnaire: Forme équivalente:

Tableaux /21/2 005/ /21/2-3/2011/2 0-7/21/2-5/200-25/2

Itération de Tableaux Colonne du pivot : Max cj Ligne pivot : Min s/r Pivot =2 Diviser ligne pivot par le pivot 13/21/2 005/

Itération de Tableaux Soustraire à chaque ligne un multiple de la ligne pivot (0 apparaît sur la colonne Pivot) 13/21/2 005/ Ligne 2 – 4.ligne 1

Tableau 2 13/21/2 005/ /21/2-3/2011/2 0-7/21/2-5/200-25/2 13/21/2 005/ /21/2-3/2011/2 0-7/21/2-5/200-25/2

Itération 13/21/2 005/ /21/2-5/200-25/ Faire apparaître 0 dans la colonne du pivot: Optimum atteint.

Interprétation géométrique Contrainte sur n variables : hyperplan de dimension n Dimension 2 : droites Dimension 3 : plans

Interprétation géométrique X1 rentre X5 sort

Interprétation géométrique X2 rentre X3 sort

Interprétation géométrique X5 rentre X4 sort

Interprétation géométrique Optimum

Difficultés d’itération Itération : peut-on toujours itérer? Solution non bornée Itération dégénérée Cycle Solution non bornée: entre dans la base : seule borne est Solution z arbitraire !

Itération dégénérée entre dans la base. Seule contrainte est: sort de la base (au choix). On obtient:

Itération dégénérée Solution dégénérée car Equation 2 impose:

Itération dégénérée Solution identique à la précédente! L’itération est dégénérée. Remarque: l’itération suivante est aussi dégénérée et la suivante est optimale.

Cycles

Chaque itération est dégénérée.

Initialisation Solution faisable, Dictionnaire faisable? Problème auxiliaire:

Initialisation Infaisable: Pivot : Faisable:

Initialisation Pivot : Optimum : Dictionnaire d’origine:

Initialisation générale Etape 1 : Etape générale : simplex Terminaison:

Interprétation géométrique de l’initialisation Le point (0,0,…0) n’est pas dans le polytope. Trouver un autre point en ajoutant -x0 pour être sur de trouver une solution.

Interprétation géométrique de l’initialisation Contraintes sont:

Interprétation géométrique de l’initialisation Ecrire les contraintes avec x0

Interprétation géométrique de l’initialisation Ecrire les contraintes avec x0

Interprétation géométrique de l’initialisation Dictionnaire infaisable: x0 entre et x4 sort (b minimum)

Interprétation géométrique de l’initialisation Dictionnaire : x1 rentre et x0 sort Optimum X0=0 donc faisable

Interprétation géométrique de l’initialisation Dictionnaire global

Simplex à deux phases Phase 1 : résolution du problème auxiliaire. Phase 2 : résolution du problème original. Théorème fondamental. Pour chaque problème LP: Soit le problème est infaisable Soit le problème n’est pas borné Soit le problème a une solution optimale

Simplex révisé Représentation compacte d’un dictionnaire. Forme Matricielle:

Dualité Estimation de z > a z>5 avec (0,0,1,0) z>22 avec (3,0,2,0) …. Estimation de z <b ? Quel est le témoin?

Dualité Montrons que z <275/3 2nd contrainte. 5/3 Donc z <275/3

Dualité 2nd contrainte +3ème contrainte Donc z <58 Méthode systématique.

Dualité Conditions pour que le membre gauche >

Dualité On obtient donc: