Académique Documents
Professionnel Documents
Culture Documents
Recherche Opérationnelle
• ALGORITHME DE SIMPLEXE
• CAS SPÉCIAUX DE PL
A.U: 2018/2019
PL: RÉSOLUTION GRAPHIQUE :: RAPPEL
P1 50 1000 4
P2 25 500 12
P3 75 1500 3
• Espace Solution:
– CNN (5,6 et 7) impliquent que l'ES est dans
le premier octant.
– Contraintes 1,2 et 3: Parallélépipède
OABCDEFG délimité par les plans:
• X1 = 1000
• X2 = 500
• X3 = 1500
– Contrainte 4: Dessiner le plan
3x1 + 6x2 + 2x3 = 6750; points spéciaux
A'(?, 0, 0), B'(0, ?, 0) et C' (0,0, ?)
– Intersection avec FG, DG et BG resp sur
P(?,?,?) , Q(?,?,?) et R(?,?,?).
• ES délimité par le
polyèdre OABCDEFPRQ
Cours : Introduction à la Recherche Opérationnelle 6
ALGORITHME DE SIMPLEXE: EXEMPLE 2
• Lancement ?
Chaque fois que c'est possible, l'initialisation de la méthode du
simplexe choisit l'origine (tous les variables de décision sont égales
à zéro).
– Souvent possible lors de l'existence de contraintes de non négativité.
– Cette solution est acceptable à moins qu'il soit impossible parce qu'elle
viole une ou plusieurs contraintes fonctionnelles.
– Sinon, il faut trouver la solution initiale (cf plus loin).
• Comparaison / Z
• f
• Soit
Max F = 4x + 12y + 3z
SC
x ≤ 1000
y ≤ 500
z ≤ 1500
3x + 6y + 2z ≤ 6750
x,y,z >= 0
I0 x y z e1 e2 e3 e4
e1 1 0 0 1 0 0 0 1000
e2 0 1 0 0 1 0 0 500
e3 0 0 1 0 0 1 0 1500
e4 3 6 2 0 0 0 1 6750
Δj 4 12 3 0 0 0 0 0
(0,0,0)
• Itération 0:
I0 x y z e1 e2 e3 e4
e1 1 0 0 1 0 0 0 1000
e2 0 1 0 0 1 0 0 500
e3 0 0 1 0 0 1 0 1500
e4 3 6 2 0 0 0 1 6750
Δj 4 12 3 0 0 0 0 0
(0,0,0)
• Itération 0:
Vecteur Entrant à la base: y (Δj = 12)
Vecteur sortant de la base e2 (plus petit xi / xij = 500)
D'après Le2 : y + e2 = 500
Donc la fonction objectif (de l'Itération I1) devient:
Max F1 = 4x + 3z – 12e2 + 6000
I1 x y z e1 e2 e3 e4
e1 1 0 0 1 0 0 0 1000
y 0 1 0 0 1 0 0 500
e3 0 0 1 0 0 1 0 1500
e4 3 0 2 0 -6 0 1 3750
Δj 4 0 3 0 -12 0 0 6000
(0,500,0)
• Itération 1:
I1 x y z e1 e2 e3 e4
e1 1 0 0 1 0 0 0 1000
y 0 1 0 0 1 0 0 500
e3 0 0 1 0 0 1 0 1500
e4 3 0 2 0 -6 0 1 3750
Δj 4 0 3 0 -12 0 0 6000
(0,500,0)
• Itération 1:
Vecteur Entrant à la base: x (Δj = 4)
Vecteur sortant de la base e1 (plus petit xi / xij = 1000)
D'après Le1 : x + e1 = 1000
Donc la fonction objectif (de l'Itération I2) devient:
Max F2 = 3z – 4e1 – 12e2 + 10000
• Itération 2:
Vecteur Entrant à la base: z (Δj = 3)
Vecteur sortant de la base e4 (plus petit xi / xij = 375)
Le4 2z -3e1 -6e2 + e4= 750
Donc la fonction objectif (de l'Itération I3) devient:
Max F3 = 1/2 e1 – 3e2 - 3/2 e4 + 11125
I3 x y z e1 e2 e3 e4
x 1 0 0 1 0 0 0 1000
y 0 1 0 0 1 0 0 500
e3 0 0 0 3/2 3 1 -1/2 1125
z 0 0 1 -3/2 -3 0 1/2 375
Δj 0 0 0 1/2 -3 0 -3/2 11125
(1000,500,750)
• Itération 3:
Vecteur Entrant à la base: e1 (Δj = 1/2)
Vecteur sortant de la base e3 (plus petit xi / xij = 750)
Le3 3/2 e1 + 3e2 + e3 -1/2 e4 = 1125
Donc la fonction objectif (de l'Itération I4) devient:
Max F4 = – 4e2 – 1/3 e3 - 4/3 e4 + 11500
I4 x y z e1 e2 e3 e4
x 1 0 0 0 -2 -2/3 1/3 250
y 0 1 0 0 1 0 0 500
e1 0 0 0 1 2 2/3 -1/3 750
z 0 0 1 0 0 1 0 1500
Δj 0 0 0 0 -4 -1/3 -4/3 11500
(250,500,1500)
• Itération 4:
Vecteur Entrant à la base: inexistant, car tous les Δj des
variables hors base sont < 0.
Arrêt,
valeur optimale: 11500 / (x, y, z) = (250,500,1500)
CAS SPÉCIAUX
CAS SPÉCIAUX (1)
• Remarque ?
La 2ème contrainte est parallèle à la fonction objectif.
• càd ?
Infinité de solutions
2 sommets (coins) qui représentent un optimum.
Simplexe ? Interprétation graphique
Dégénérescence de 1ère espèce: une contrainte est parallèle à la
fonction objectif.
Cours : Introduction à la Recherche Opérationnelle 36
CAS SPÉCIAUX (2)
• Remarque ?
Plus de 2 contraintes (droites) passent par un point appartenant à
l'espace de solutions, en l'occurrence (2,5).
• Simplexe ? Interprétation graphique
Dégénérescence de 2ème espèce en 2D: Plus de 2 contraintes
(droites) passent par un point appartenant à l'espace de solutions.
Cours : Introduction à la Recherche Opérationnelle 37
CAS SPÉCIAUX (3)
• Dégénérescence de 2ème espèce: Cas général
un sommet appartient à plus de n hyperplans.
Conséquence: passage d'un sommet à lui même.
• Espace de solution non borné pour un problème de maximisation sous une
forme canonique.
Max z = 2X1 + X2
SC
X1 - X2 ≤ 10
2X1 ≤ 40
X1, X2 ≥ 0
• Solution infaisable
Max z = 3X1 + 2X2
SC
2X1 + X2 ≤ 2
3X1 + 4X2 ≥ 12
X1, X2 ≥ 0
Cours : Introduction à la Recherche Opérationnelle 38