Académique Documents
Professionnel Documents
Culture Documents
F. Clautiaux
francois.clautiaux@math.u-bordeaux1.fr
Université Bordeaux 1
Bât A33 - Bur 265
Forme matricielle Dualité Théorèmes
Sommaire
Dualité
Notations matricielles
En forme standard :
max cx
s.c. Ax =b
x ≥ 0n+m
avec
c = ( cB cN )
A = ( B N )
x = ( xB xN )
(on notera que B est une matrice carrée)
Forme matricielle Dualité Théorèmes
Solutions de base
Solution de base : xB = B −1 b
z = cB B −1 b
Condition de réalisabilité : B −1 b ≥ 0
Condition d’optimalité : cN − cB B −1 N ≤ 0
Forme matricielle Dualité Théorèmes
Sommaire
Dualité
Motivation
Primal / dual
Motivation
Remarque :
Toute combinaison linéaire de contraintes du programme linéaire
donne une contrainte valide (satisfaite par toutes les solutions
réalisables)
Forme matricielle Dualité Théorèmes
Exemple du yaourt
Exemple du yaourt
Deuxième exemple
Modélisation du problème
Modélisation du problème
Modélisation du problème
Modélisation du problème
Primal / Dual
Dual :
P
min Pi bi yi
s.c. i ai,j yi ≥ cj pour j = 1, . . . , n
yi ≥ 0 pour i = 1, . . . , m
max cx
s.c. Ax ≤b
x ≥ 0n
Dual :
min by
s.c. A> y ≥c
y ≥ 0m
Forme matricielle Dualité Théorèmes
z ∗ = j cj xj∗ b y∗
P P
=
P ∗
Pi i i ∗
j ai,j xj ≤ bi et i ai,j yi ≥ cj
Forme matricielle Dualité Théorèmes
z ∗ = j cj xj∗ b y∗
P P
=
P ∗
Pi i i ∗
j ai,j xj ≤ bi et i ai,j yi ≥ cj
Théorème
Si le problème
P
max cx
P j j j
P s.c. j i,j xj
a ≤ bi i = 1, . . . , m
≥ 0
xj j = 1, . . . , n
admet une solution de base optimale non dégénérée de valeur z ∗ ,
alors ∃ > 0 tel que si |ti | ≤ pour i = 1, . . . , m, le problème
P
max P j cj xj
P0 s.c. j ai,j xj ≤ bi + ti i = 1, . . . , m
xj ≥ 0
j = 1, . . . , n
admet une solution optimale dont la valeur est
z∗ + m ∗
P
i=1 ti yi
max5x + 3y
3x + y ≥ 3
x ≤5
x, y ≥ 0
Forme matricielle Dualité Théorèmes
DUAL
optimal irréalisable non-borné
optimal possible impossible impossible
PRIMAL irréalisable impossible possible possible
non-borné impossible possible impossible
Tableau de passage :
max5x − 3y + 5z
x +y =2
2y + 3z ≤ 10
x + 5z ≥ 5
x ≤0
y, z ≥ 0
Sommaire
Dualité
Dualité faible
Théorème
Dualité faible : Pour toute solution réalisable x du problème
primal et toute solution réalisable y du problème dual, on a
n
X m
X
cj xj ≤ bi yi .
j=1 i=1
Preuve :
On sait que Pm
P
i=1 aij yi ≥ cj , ∀j.
On sait que nj=1 aij xi ≤ bi , ∀i.
Pn Pn Pm
j=1 cj xj ≤ j=1 ( i=1 ai,j yi )xj
Pm Pn= Pm
i=1 ( j=1 ai,j xj )yi ≤ i=1 bi yi
Forme matricielle Dualité Théorèmes
Dualité faible
Corollaire
Si x̄ est une solution réalisable du problème primal et ȳ une
solution réalisable du problème dual tel que
Pn Pm
j=1 cj x̄j = i=1 bj ȳj ,
Dualité faible
Preuve :
Supposons au contraire que x̄ n’est pas une solution optimale du
primal. Il existe donc une solution x ∗ telle que
Pn Pn ∗
j=1 cj x̄j < j=1 cj xj .
On a alors
Pm Pn ∗
i=1 bj ȳj < j=1 cj xj
Dualité forte
Théorème
Dualité forte : Si le primal a une solution optimale
x ∗ = (x1∗ , . . . , xn∗ ), alors le dual a une solution optimale
y ∗ = (y1∗ , . . . , ym∗ ) telle que
n
X m
X
cj xj∗ = bi yi∗ .
j=1 i=1
Dualité forte
Théorème
Dualité forte : Si le primal a une solution optimale
x ∗ = (x1∗ , . . . , xn∗ ), alors le dual a une solution optimale
y ∗ = (y1∗ , . . . , ym∗ ) telle que
n
X m
X
cj xj∗ = bi yi∗ .
j=1 i=1