Académique Documents
Professionnel Documents
Culture Documents
Mohamed HACHIMI
http://hachimicours.uiz.ac.ma
3
M. Hachimi Recherche opérationnelle Semestre 5 1 / 30
3
Algorithme du simplexe : Méthode algébrique
Sommaire
1 Algorithme du simplexe
Bases
Max z = cx
Ax = b
x>0
Définition :
On appelle base toute sous-matrice B extraite de A qui est
carrée et régulière d’ordre m.
Exemple
La matrice A vaut :
x1 x2 x3 x4 x5
1 2 1 0 0
A= 1 1 0 1 0
9 4 0 0 1
Bases
— Soit B une base. Alors en permutant les colonne de A, on
peut écrire A sous la forme : A = [B, H]
où H est la sous-matrice formée par les colonnes de A qui
ne sont pas dans la base. De même on peut écrire :
x = [xB , xH ] et c = [cB , cH ].
• Les composantes de xB sont appelées variables de
base
• Les composantes de xH sont appelées variables hors
base
— Le système Ax = b peut alors s’écrire :
x
[B, H] B = b ou BxB + HxH = b
xH
Partitionnement de A, x et c
B H
(base) (colonnes hors base) = b
Solutions de base
Définition :
La solution du système Ax = b obtenue en posant xH = 0
est appelée solution de base associée à la base B.
Exemple
— Si la base est B1 :
B1 H
z }| { z }| {
x1 x2 x3 x4 x5
1 2 1 0 0
A= 1 1 0 1 0
9 4 0 0 1
— Le système à résoudre est B1 xB = b, soit :
x1 + 2x2 + x3 = 8
x1 + x2 = 5
9x1 + 4x2 = 36
Exemple
— Si la base est B2 :
B2 H
z }| { z }| {
x2 x3 x5 x1 x4
2 1 0 1 0
A= 1 0 0 1 1
4 0 1 9 0
— Le système à résoudre est B2 xB = b, soit :
2x2 + x3 = 8
x2 = 5
4x2 + x5 = 36
Exemple
— Si la base est B3 :
B3 H
z }| { z }| {
x3 x4 x5 x1 x2
1 0 0 1 2
A= 0 1 0 1 1
0 0 1 9 4
— Le système à résoudre est B3 xB = b, soit :
x3 = 8
x4 = 5
x5 = 36
Définition :
— Une solution de base est dite réalisable si xB > 0, au-
trement dit : B−1 b > 0
— Une base correspondant à une solution de base réali-
sable est appelée base réalisable.
— Une solution de base est dite dégénérée lorsqu’au
moins une variable de base est nulle.
Définition :
— Une solution de base est dite réalisable si xB > 0, au-
trement dit : B−1 b > 0
— Une base correspondant à une solution de base réali-
sable est appelée base réalisable.
— Une solution de base est dite dégénérée lorsqu’au
moins une variable de base est nulle.
— La solution de base
est réalisable
Définition :
— Une solution de base est dite réalisable si xB > 0, au-
trement dit : B−1 b > 0
— Une base correspondant à une solution de base réali-
sable est appelée base réalisable.
— Une solution de base est dite dégénérée lorsqu’au
moins une variable de base est nulle.
— La solution de base
x2 = 5, x3 = −2, x5 = 16
Définition :
— Une solution de base est dite réalisable si xB > 0, au-
trement dit : B−1 b > 0
— Une base correspondant à une solution de base réali-
sable est appelée base réalisable.
— Une solution de base est dite dégénérée lorsqu’au
moins une variable de base est nulle.
— La solution de base
x3 = 8, x4 = 5, x5 = 36
est réalisable
Théorème :
Chaque point extrême (sommet) du polyèdre P
P = {x ∈ Rn | Ax = b, x > 0}
Corollaire :
Tout point d’un polyèdre convexe P est combinaison
convexe des points extrêmes de P.
11
10
9
8
7
(0, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
(2, 3,
(0,0,0)0, 6)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
(2, 3,
(0,0,0)0, 6)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20 , 18
7(2, (0,
73, − 376), 0)
, 0,0)0,
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20 , 18
7(2, (0,
73, − 376), 0)
, 0,0)0,
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8, , 18
7(2,
0, (0,
, −3,
70,
3, 3
−−36)
0,0)0, 76)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8, , 18
7(2,
0, (0,
, −3,
70,
3, 3
−−36)
0,0)0, 76)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8,
(0,, 18
7(2,
0,4,(0,
70,
3, −3,
,0,
0,0)
1,
0, 3
−36)
−20)
76)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8,
(0,, 18
7(2,
0,4,(0,
70,
3, −3,
,0,
0,0)
1,
0, 3
−36)
−20)
76)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8, 16 189 6
((0,
7(2,
0, (0,
5, ,4,
70,
3, ,−3,
5,0,
0,50)
1,
,0, 3
−36)
−0,20)
76)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8, 16 189 6
((0,
7(2,
0, (0,
5, ,4,
70,
3, ,−3,
5,0,
0,50)
1,
,0, 3
−36)
−0,20)
76)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8, 16 189 6
(5,
((0,
7(2,
0,
5, 0,(0,
,4,
70,
3, ,−3,
5,3,
0,
0,50)
0,
1,
,0, 3
−9)
−36)
−0,
20)
76)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7
( 20
(8, 16 189 6
(5,
((0,
7(2,
0,
5, 0,(0,
,4,
70,
3, ,−3,
5,3,
0,
0,50)
0,
1,
,0, 3
−9)
−36)
−0,
20)
76)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(5,
((0,
7(2,
0,
5,5,
0,(0,
,4,5−2,
70,
3, ,−3,
,3,
0,
0,50)
0,
1,−−9)
,0,
0,−36)
20)
0,76)
16)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(5,
((0,
7(2,
0,
5,5,
0,(0,
,4,5−2,
70,
3, ,−3,
,3,
0,
0,50)
0,
1,−−9)
,0,
0,−36)
20)
0,76)
16)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(5,
((0,
7(4,
(2,
0,
5,5,
0,(0,
,4,5−2,
70,
3, ,−3,
,3,
0,
0,50)
4, 0,
1,−−9)
,1,
0,
0,−36)
20)
0,70)
6)
16)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(5,
((0,
7(4,
(2,
0,
5,5,
0,(0,
,4,5−2,
70,
3, ,−3,
,3,
0,
0,50)
4, 0,
1,−−9)
,1,
0,
0,−36)
20)
0,70)
6)
16)
0)
, 0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(0,
(5,
((0,
7(4,
(2,
0,
5,9,
5,
0,(0,
−1,
,4,5−2,
70,
3, ,−3,
,3,
0,
0,50)
4, 0,
1,−4,
−−9)
,1,
0,
0,−36)
20)
0,70)
6)
16)
, 0)
0)0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(0,
(5,
((0,
7(4,
(2,
0,
5,9,
5,
0,(0,
−1,
,4,5−2,
70,
3, ,−3,
,3,
0,
0,50)
4, 0,
1,−4,
−−9)
,1,
0,
0,−36)
20)
0,70)
6)
16)
, 0)
0)0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
11
10
9
8
7 2016 189 6 3
(8,
((0,
(0,
(5,
((0,
7(4,
(2,
0,
5,9,
5,
0,(0,
−1,
,0,
4,5−2,
70,
3, ,−3,
,3,
0,
8,
0,50)
4, 0,
1,
5,−4,
−−9)
,1,
0,
0,−36)
20)
36)
0,70)
6)
16)
, 0)
0)0)
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10 11
Théorème :
— L’optimum de z, fonction linéaire, sur P ⊂ Rn , polyèdre
convexe, est atteint en au moins un point extrême.
— S’il est atteint en plusieurs points extrêmes, il est at-
teint en tout point, combinaison convexe de ces points
extrêmes.
Théorème :
Une condition nécessaire et suffisante pour que B soit une
base réalisable optimale est que :
cH = cH − cB B−1 H 6 0
Corollaire :
Soit B une base réalisable quelconque, x0 la solution de
base correspondante, et cH = cH − πH. S’il existe une
variable hors base xs telle que cs > 0, alors :
Corollaire :
Soit B une base réalisable quelconque, x0 la solution de
base correspondante, et cH = cH − πH. S’il existe une
variable hors base xs telle que cs > 0, alors :
Corollaire :
Soit B une base réalisable quelconque, x0 la solution de
base correspondante, et cH = cH − πH. S’il existe une
variable hors base xs telle que cs > 0, alors :
Modélisation du problème
Formulation équivalente
Solution initiale
Cette formulation permet d’exprimer facilement les variables
d’écart x5 , x6 , x7 comme fonctions affines des variables de
décision x1 , x2 , x3 , x4 :
x5 = 42 - 2x1 - 4x2 - 5x3 - 7x4
x6 = 17 - x1 - x2 - 2x3 - 2x4 Dic 1
x7 = 24 - x1 - 2x2 - 3x3 - 3x4
z = 0 + 7x1 + 9x2 + 18x3 + 17x4
Solution initiale
Cette formulation permet d’exprimer facilement les variables
d’écart x5 , x6 , x7 comme fonctions affines des variables de
décision x1 , x2 , x3 , x4 :
x5 = 42 - 2x1 - 4x2 - 5x3 - 7x4
x6 = 17 - x1 - x2 - 2x3 - 2x4 Dic 1
x7 = 24 - x1 - 2x2 - 3x3 - 3x4
z = 0 + 7x1 + 9x2 + 18x3 + 17x4
Ici
Solution initiale
Cette formulation permet d’exprimer facilement les variables
d’écart x5 , x6 , x7 comme fonctions affines des variables de
décision x1 , x2 , x3 , x4 :
x5 = 42 - 2x1 - 4x2 - 5x3 - 7x4
x6 = 17 - x1 - x2 - 2x3 - 2x4 Dic 1
x7 = 24 - x1 - 2x2 - 3x3 - 3x4
z = 0 + 7x1 + 9x2 + 18x3 + 17x4
Ici
Solution initiale
Cette formulation permet d’exprimer facilement les variables
d’écart x5 , x6 , x7 comme fonctions affines des variables de
décision x1 , x2 , x3 , x4 :
x5 = 42 - 2x1 - 4x2 - 5x3 - 7x4
x6 = 17 - x1 - x2 - 2x3 - 2x4 Dic 1
x7 = 24 - x1 - 2x2 - 3x3 - 3x4
z = 0 + 7x1 + 9x2 + 18x3 + 17x4
Ici
Solution initiale
Cette formulation permet d’exprimer facilement les variables
d’écart x5 , x6 , x7 comme fonctions affines des variables de
décision x1 , x2 , x3 , x4 :
x5 = 42 - 2x1 - 4x2 - 5x3 - 7x4
x6 = 17 - x1 - x2 - 2x3 - 2x4 Dic 1
x7 = 24 - x1 - 2x2 - 3x3 - 3x4
z = 0 + 7x1 + 9x2 + 18x3 + 17x4
Ici
Solution initiale
Cette formulation permet d’exprimer facilement les variables
d’écart x5 , x6 , x7 comme fonctions affines des variables de
décision x1 , x2 , x3 , x4 :
x5 = 42 - 2x1 - 4x2 - 5x3 - 7x4
x6 = 17 - x1 - x2 - 2x3 - 2x4 Dic 1
x7 = 24 - x1 - 2x2 - 3x3 - 3x4
z = 0 + 7x1 + 9x2 + 18x3 + 17x4
Ici
Idée
— En partant de la solution basique S0 , on cherche à
améliorer le bénéfice.
Idée
— En partant de la solution basique S0 , on cherche à
améliorer le bénéfice.
— La fonction économique est actuellement nulle, mais nous
voyons qu’elle augmenterait
• de 7 par unité de x1 ;
• ou de 9 par unité de x2 ;
• ou de 18 par unité de x3 ;
• ou de 17 par unité de x4 .
Idée
— En partant de la solution basique S0 , on cherche à
améliorer le bénéfice.
— La fonction économique est actuellement nulle, mais nous
voyons qu’elle augmenterait
• de 7 par unité de x1 ;
• ou de 9 par unité de x2 ;
• ou de 18 par unité de x3 ;
• ou de 17 par unité de x4 .
Idée
— En partant de la solution basique S0 , on cherche à
améliorer le bénéfice.
— La fonction économique est actuellement nulle, mais nous
voyons qu’elle augmenterait
• de 7 par unité de x1 ;
• ou de 9 par unité de x2 ;
• ou de 18 par unité de x3 ;
• ou de 17 par unité de x4 .
Idée
Idée
Idée
Interprétation géométrique
Deuxième solution
Deuxième solution
Deuxième solution
Deuxième solution
Deuxième solution
24 1 2 1 3
x3 = − x1 − x2 − x7 − x4
3 3 3 3 3
Deuxième solution
1 2 1
x3 = 8 − x1 − x2 − x7 − x4 (∗)
3 3 3
Deuxième solution
1 2 1
x3 = 8 − x1 − x2 − x7 − x4 (∗)
3 3 3
Ensuite . . .
Nous éliminons les termes en x3 du système d’équations, en
dehors de la troisième équation du Dic 1, en utilisant
l’expression (∗).
Deuxième solution
On remplace ensuite x3 par cette expression dans les autres
équations du dictionnaire :
1 2 5
x5 = 2 - 3 x1 - 3 x2 + 3 x7 - 2x4
1 1 2
x6 = 1 - 3 x1 + 3 x2 + 3 x7 Dic 2
1 2 1
x3 = 8 - 3 x1 - 3 x2 - 3 x7 - x4
z = 144 + x1 - 3x2 - 6x7 - x4
Deuxième solution
On remplace ensuite x3 par cette expression dans les autres
équations du dictionnaire :
1 2 5
x5 = 2 - 3 x1 - 3 x2 + 3 x7 - 2x4
1 1 2
x6 = 1 - 3 x1 + 3 x2 + 3 x7 Dic 2
1 2 1
x3 = 8 - 3 x1 - 3 x2 - 3 x7 - x4
z = 144 + x1 - 3x2 - 6x7 - x4
Ici
Deuxième solution
On remplace ensuite x3 par cette expression dans les autres
équations du dictionnaire :
1 2 5
x5 = 2 - 3 x1 - 3 x2 + 3 x7 - 2x4
1 1 2
x6 = 1 - 3 x1 + 3 x2 + 3 x7 Dic 2
1 2 1
x3 = 8 - 3 x1 - 3 x2 - 3 x7 - x4
z = 144 + x1 - 3x2 - 6x7 - x4
Ici
Deuxième solution
On remplace ensuite x3 par cette expression dans les autres
équations du dictionnaire :
1 2 5
x5 = 2 - 3 x1 - 3 x2 + 3 x7 - 2x4
1 1 2
x6 = 1 - 3 x1 + 3 x2 + 3 x7 Dic 2
1 2 1
x3 = 8 - 3 x1 - 3 x2 - 3 x7 - x4
z = 144 + x1 - 3x2 - 6x7 - x4
Ici
Deuxième solution
On remplace ensuite x3 par cette expression dans les autres
équations du dictionnaire :
1 2 5
x5 = 2 - 3 x1 - 3 x2 + 3 x7 - 2x4
1 1 2
x6 = 1 - 3 x1 + 3 x2 + 3 x7 Dic 2
1 2 1
x3 = 8 - 3 x1 - 3 x2 - 3 x7 - x4
z = 144 + x1 - 3x2 - 6x7 - x4
Ici
Deuxième solution
On remplace ensuite x3 par cette expression dans les autres
équations du dictionnaire :
1 2 5
x5 = 2 - 3 x1 - 3 x2 + 3 x7 - 2x4
1 1 2
x6 = 1 - 3 x1 + 3 x2 + 3 x7 Dic 2
1 2 1
x3 = 8 - 3 x1 - 3 x2 - 3 x7 - x4
z = 144 + x1 - 3x2 - 6x7 - x4
Ici
Interprétation économique
x5 > 0 =⇒ 2 − 13 x1 > 0 =⇒ x1 6 6
x6 > 0 =⇒ 1 − 13 x1 > 0 =⇒ x1 6 3
x3 > 0 =⇒ 8 − 13 x1 > 0 =⇒ x1 6 24
x5 > 0 =⇒ 2 − 13 x1 > 0 =⇒ x1 6 6
➡ x6 > 0 =⇒ 1 − 13 x1 > 0 =⇒ x1 6 3
x3 > 0 =⇒ 8 − 13 x1 > 0 =⇒ x1 6 24
Troisième solution
x5 = 1 + x6 - x2 + x7 - 2x4
x1 = 3 - 3x6 + x2 + 2x7 Dic 3
x3 = 7 + x6 - x2 - x7 - x4
z = 147 - 3x6 - 2x2 - 4x7 - x4
Troisième solution
x5 = 1 + x6 - x2 + x7 - 2x4
x1 = 3 - 3x6 + x2 + 2x7 Dic 3
x3 = 7 + x6 - x2 - x7 - x4
z = 147 - 3x6 - 2x2 - 4x7 - x4
Ici
Troisième solution
x5 = 1 + x6 - x2 + x7 - 2x4
x1 = 3 - 3x6 + x2 + 2x7 Dic 3
x3 = 7 + x6 - x2 - x7 - x4
z = 147 - 3x6 - 2x2 - 4x7 - x4
Ici
Troisième solution
x5 = 1 + x6 - x2 + x7 - 2x4
x1 = 3 - 3x6 + x2 + 2x7 Dic 3
x3 = 7 + x6 - x2 - x7 - x4
z = 147 - 3x6 - 2x2 - 4x7 - x4
Ici
Troisième solution
x5 = 1 + x6 - x2 + x7 - 2x4
x1 = 3 - 3x6 + x2 + 2x7 Dic 3
x3 = 7 + x6 - x2 - x7 - x4
z = 147 - 3x6 - 2x2 - 4x7 - x4
Ici
Troisième solution
x5 = 1 + x6 - x2 + x7 - 2x4
x1 = 3 - 3x6 + x2 + 2x7 Dic 3
x3 = 7 + x6 - x2 - x7 - x4
z = 147 - 3x6 - 2x2 - 4x7 - x4
Ici
Interprétation économique