Vous êtes sur la page 1sur 22

4.

Convergence
de
lalgorithme du simplexe
Convergence dans le cas non dgnr
Hypothse de non dgnrescence:
toutes les variables de base sont positives chaque itration
Thorme Considrons le problme de programmation linaire sous forme
standard
Sous lhypothse de non dgnrescence, lalgorithme du simplexe se
termine en un nombre fini ditrations.
T
min
Sujet
0
, ,
matrice
n m
z c x
Ax b
x
c x R b R
A m n
=
=

Preuve:
En supposant que la matrice A est de plein rang m, chaque solution de base
ralisable doit comporter m variables de base positives (hyp. non
dgnrescence).
Il y a un nombre fini de faons de choisir colonnes de parmi les
pour former des sous matrices :
!

! ( )!
m A n
m m
n
n
m
m n m

| |
=
|

\
Or les bases ralisables constituent un sous ensemble de ces-dernires.
!
Donc est une borne suprieure sur le nombre de
! ( )!
solutions de base ralisables.
n
n
m
m n m
| |
=
|

\
Considrons leffet de complter un pivot sur la valeur de la fonction
conomique lors dune itration du simplexe
Division de ligne r
par
rs
a
s
c
rs
r
a
b
Soustraire de
ence dgnresc non de hyp. par 0 et , 0 , 0 puisque
~
0 0
0
0
> > <
> =
r rs s
rs
r
s
b a c
z
a
b
c z z z
z
z
a
b
c z z z
rs
r
s
> =
~
Donc et ainsi la valeur de lobjectif dcrot strictement dune
itration lautre.
Par consquent une mme solution de base ralisable ne peut se rpter au
cours de lapplication de lalgorithme du simplexe.
Puisque le nombre de ces dernires est born (fini), il sensuit que
lalgorithme du simplexe doit tre complt en un nombre fini ditrations.
0
0
~
z z <
ence dgnresc non de hyp. par 0 et , 0 , 0 puisque
~
0 0
0
0
> > <
> =
r rs s
rs
r
s
b a c
z
a
b
c z z z z
a
b
c z z z
rs
r
s
> =
~
z z <
~
Problme o lalgo. du simplexe cycle
1 2 3 4 5 6 7
5
6
7
1 1
60 9 1 0 0 0 0
4 25
1 1
90 3 0 1 0 0 0
2 50
0 0 1 0 0 0 1 0 1
3 1
150 6 0 0 0 1 0
4 50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
6
7
4
1 240 36 4 0 0 0 0
25
3
0 30 15 2 1 0 0 0
50
0 0 1 0 0 0 1 0 1
7
0 30 33 3 0 0 1 0
50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
6
7
4
1 240 36 4 0 0 0 0
25
3
0 30 15 2 1 0 0 0
50
0 0 1 0 0 0 1 0 1
7
0 30 33 3 0 0 1 0
50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
2
7
8
1 0 84 12 8 0 0 0
25
1 1 1 1
0 1 0 0 0
500 2 15 30
0 0 1 0 0 0 1 0 1
2
0 0 18 1 1 0 1 0
25
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
2
7
8
1 0 84 12 8 0 0 0
25
1 1 1 1
0 1 0 0 0
500 2 15 30
0 0 1 0 0 0 1 0 1
2
0 0 18 1 1 0 1 0
25
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
3
2
7
25 525 75
0 1 25 0 0 0
8 2 2
1 1 1 1
1 0 0 0 0
160 40 120 60
25 525 75
0 0 25 1 0 1
8 2 2
1
0 0 3 2 3 0 1 0
4
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
2
7
25 525 75
0 1 25 0 0 0
8 2 2
1 1 1 1
1 0 0 0 0
160 40 120 60
25 525 75
0 0 25 1 0 1
8 2 2
1
0 0 3 2 3 0 1 0
4
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
4
7
125
10500 1 0 50 150 0 0 0
2
1 1 2
40 0 1 0 0 0
4 3 3
125
10500 0 0 50 150 1 0 1
2
1
120 0 0 1 1 0 1 0
2
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
4
7
125
10500 1 0 50 150 0 0 0
2
1 1 2
40 0 1 0 0 0
4 3 3
125
10500 0 0 50 150 1 0 1
2
1
120 0 0 1 1 0 1 0
2
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
5
4
7
5 1
210 0 1 3 0 0 0
4 50
1 1 1
30 1 0 0 0 0
6 150 3
0 0 1 0 0 0 1 0 1
7 1
330 0 0 2 0 1 0
4 50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
5
4
7
5 1
210 0 1 3 0 0 0
4 50
1 1 1
30 1 0 0 0 0
6 150 3
0 0 1 0 0 0 1 0 1
7 1
330 0 0 2 0 1 0
4 50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
5
6
7
1 1
60 9 1 0 0 0 0
4 25
1 1
90 3 0 1 0 0 0
2 50
0 0 1 0 0 0 1 0 1
3 1
150 6 0 0 0 1 0
4 50
x x x x x x x z
x
x
x
z




Illustration graphique de la dgnerescence
0 , , , , ,
10 2
2
3
26 2y Sujet
2 3 Min
0 ,
10 2
2
3
26 2y Sujet
2 3 Min
4 3 2 1
4
3
2
1

= +
= +
= + +
= + +



+
+

s s s s y x
s y x
s y x
s y x
s x
y x
y x
y x
y x
y x
x
y x
1
s
2
s
4
s
3
s
(
(
(
(
(

0
0
5
6
6
8
2
2 10
x y
x y
=
=
( )
}
2
8
2 10
6
x y
x
x y
y
=
=
=
=
1
s
2
s
4
s
3
s
0 , , , , , ,
18 5 6
10 2
2
3
26 2y Sujet
2 3 Min
0 ,
18 5 6
10 2
2
3
26 2y Sujet
2 3 Min
5 4 3 2 1
5
4
3
2
1

= +
= +
= +
= + +
= + +




+
+

s s s s s y x
s y x
s y x
s y x
s y x
s x
y x
y x
y x
y x
y x
y x
x
y x
5
s
(
(
(
(
(
(

0
0
0
5
6
6
8
Convergence dans le cas dgnr
1, ,
La variable d'entre est celle ayant le plus petit indice
parmi les variables hors ba
Critres d'entr
se ayant un cot
Critre
relatif
e et de
ngati
sor
f; i
d'e
.e.
tie
,
ntre:
de Bland:
Min :
s
j n
x
s j c
=
=

{ }
0 .
La variable de sortie ( dnotant la variable de base
dans la ligne du tableau) est celle ayant le plus petit indice parmi les
variables
Critre
candida
se sortie:
tes sortir de la bas
j
j j
r r
ime
x x
r
<
1, , 1, ,
e; i.e.,
Min : 0, Min : 0 .
l i
r l ls is
l m i m
ls is
b b
j j a a
a a
= =



= > = >
``


)
)

La variable de sortie ( dnotant la variable de base
dans la ligne du tableau) est celle ayant le plus petit indice parmi les
variables candidates sortir de la base;
Critre se sort :

ie
i
j j
r r
ime
x x
r
1, , 1, ,
1, ,
.e.,
Min : 0, Min : 0 .
Lorsqu
Note
e
Min : 0
est atteint pour plusieurs indices , alors la variable de
trs importante:
b
l i
r l ls is
l m i m
ls is
l i
is
i m
ls is
b b
j j a a
a a
b b
a
a a
l
= =
=



= > = >
``


)
)


= >
`

)

ase choisi selon


le critre prcdent pour devenir variable de sortie devient gale 0. Par
contre les autres variables o ce Min est atteint r
mais
estent dans la base
deviennent aussi gales
j
r
j
l
x
x
0.
1 2 3 4 5 6 7
5
6
7
1 1
60 9 1 0 0 0 0
4 25
1 1
90 3 0 1 0 0 0
2 50
0 0 1 0 0 0 1 0 1
3 1
150 6 0 0 0 1 0
4 50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
6
7
4
1 240 36 4 0 0 0 0
25
3
0 30 15 2 1 0 0 0
50
0 0 1 0 0 0 1 0 1
7
0 30 33 3 0 0 1 0
50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
6
7
4
1 240 36 4 0 0 0 0
25
3
0 30 15 2 1 0 0 0
50
0 0 1 0 0 0 1 0 1
7
0 30 33 3 0 0 1 0
50
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
2
7
8
1 0 84 12 8 0 0 0
25
1 1 1 1
0 1 0 0 0
500 2 15 30
0 0 1 0 0 0 1 0 1
2
0 0 18 1 1 0 1 0
25
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
1
2
7
8
1 0 84 12 8 0 0 0
25
1 1 1 1
0 1 0 0 0
500 2 15 30
0 0 1 0 0 0 1 0 1
2
0 0 18 1 1 0 1 0
25
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
3
2
7
25 525 75
0 1 25 0 0 0
8 2 2
1 1 1 1
1 0 0 0 0
160 40 120 60
25 525 75
0 0 25 1 0 1
8 2 2
1
0 0 3 2 3 0 1 0
4
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
2
7
25 525 75
0 1 25 0 0 0
8 2 2
1 1 1 1
1 0 0 0 0
160 40 120 60
25 525 75
0 0 25 1 0 1
8 2 2
1
0 0 3 2 3 0 1 0
4
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
4
7
125
10500 1 0 50 150 0 0 0
2
1 1 2
40 0 1 0 0 0
4 3 3
125
10500 0 0 50 150 1 0 1
2
1
120 0 0 1 1 0 1 0
2
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
4
7
125
10500 1 0 50 150 0 0 0
2
1 1 2
40 0 1 0 0 0
4 3 3
125
10500 0 0 50 150 1 0 1
2
1
120 0 0 1 1 0 1 0
2
x x x x x x x z
x
x
x
z





1 2 3 4 5 6 7
3
4
1
0 0 1 0 0 0 1 0 1
2 1 1 1
0 2 0 1 0
15 5 250 250
100 300 2 2
1 168 0 0 0
125 125 125 125
175 275 1 1
0 36 0 0 1
125 125 125 125
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
3
4
1
0 0 1 0 0 0 1 0 1
2 1 1 1
0 2 0 1 0
15 5 250 250
100 300 2 2
1 168 0 0 0
125 125 125 125
175 275 1 1
0 36 0 0 1
125 125 125 125
x x x x x x x z
x
x
x
z




1 2 3 4 5 6 7
3
5
1
0 0 1 0 0 0 1 0 1
15 3 3 3
0 15 0 1 0
2 2 100 100
150 5 5
1 180 0 6 0 0
125 125 125
21 1 1 1
0 15 0 0 1
2 10 20 20
x x x x x x x z
x
x
x
z