Académique Documents
Professionnel Documents
Culture Documents
2013-2014
V. Gabrel
Outline
V. Gabrel
Outline
V. Gabrel
V. Gabrel
V. Gabrel
V. Gabrel
V. Gabrel
V. Gabrel
Outline
V. Gabrel
Outline
V. Gabrel
min f (x)
s.t gi (x) bi i = 1, . . . , m
(P)
x X
Pn
j=1 cj xj ,
Programmation quadratique
Programmation convexe
V. Gabrel
P4
P4
P4
min
400
xn
+
450
xe
+
20
j
j
j=1
j=1
j=1 sj
s.t s0 = 10
(P)
xnj 40 j = 1, . . . , 4
xnj , xej , sj 0
V. Gabrel
Avantages
Bcp de pbs concrets peuvent tre reprsents par un PL.
Existence de modeleurs et solveurs trs puissants.
Format gnral non restrictif.
Limites
Hypothse de proportionnalit
Hypothse dadditivit
V. Gabrel
V. Gabrel
Outline
V. Gabrel
V. Gabrel
Variable ngative
Soit xj < 0, on dfinit xj 0 telle que xj = xj
Variable non contrainte en signe
Soit xj non contrainte en signe, on dfinit xj , xj 0 telle que
xj = xj xj
V. Gabrel
De lentier au binaire
Soit une variable xj dont le domaine de dfinition est un
q
ensemble discrt numrable Vj = {vj1 , . . . , vj j }.
xj =
qj
X
vji yji
i=1
yji = 1
i=1
V. Gabrel
Produit de variables
Remplacer les termes du type xj yj o xj est une variable non
ngative borne suprieurement par une constante M et yj une
variable binaire. On pose
tj = xj yj
Et on crit les contraintes logiques:
tj
tj
Myj
tj
xj
tj
xj M(1 yj )
V. Gabrel
Outline
V. Gabrel
V. Gabrel
Proprits lmentaires
V. Gabrel
V. Gabrel
P4
P4
P4
min
max{400
xn
+
450
xe
+
20
j
j
j=1
j=1
j=1 sj ;
P
P
P
4
4
4
xe
+
40
xn
+
420
390
j
j
j=1 sj ;
j=1
j=1
P
P
P
xnj 40 j = 1, . . . , 4
xnj , xej , sj 0
V. Gabrel
Fonction minmax
Soit le programme suivant :
Pn
q
(maxk =1 j=1 cjk xj )
min P
n
(P)
s.t
j=1 aij xj bi i = 1, . . . , m
x 0
min z
s.t Pn c k x z 0 k = 1, . . . , q
Pnj=1 j j
(P)
j=1 aij xj bi i = 1, . . . , m
x 0
V. Gabrel
min z
P4
P4
P4
s.t
z
400
xn
+
450
xe
+
20
j
j
j=1
j=1
j=1 sj
P
P
P
4
4
4
xe
+
40
xn
+
420
z
390
j
j
j=1 sj
j=1
Pj=1
P
P
4
4
4
z
410
xn
+
460
xe
+
10
j
j
j=1
j=1
j=1 sj
(P)
s0 = 10
xnj 40 j = 1, . . . , 4
xnj , xej , sj 0
V. Gabrel
Ratio
Soit le programme suivant :
n
X
c
xj
j=1
min(ou
max)
cj2 xj
(P)
j=1
aij xj bi i = 1, . . . , m
s.t
j=1
x 0
V. Gabrel
Ratio
Il peut tre transform en PL en utilisant les changements de
variable suivants:
1
n
X
cj2 xj
j=1
wj
= txj
V. Gabrel
Ratio
On obtient alors (si t > 0):
n
X
wj
c
min(ou
max)
j=1
cj2 wj = 1
s.t
(P)
j=1
aij wj bi t 0 i = 1, . . . , m
j=1
wj 0
Cette
P 2 transformation nest possible que si le dnominateur
j cj xj est toujours du mme signe et diffrent de 0.
V. Gabrel
300xt
si 0 xt 30
400xt 3000 si 31 xt 40
yt =
450xt 5000 si 41 xt 50
V. Gabrel
Reprsentation graphique
V. Gabrel
V. Gabrel
Conclusion
Fonction convexe linaire par morceaux minimiser PL
V. Gabrel
400xt
si 0 xt 30
350xt + 1500 si 31 xt 40
yt =
300xt + 3500 si 41 xt 50
V. Gabrel
V. Gabrel
Linarisation
On dfinit des variables binaires associes aux intervalles : vt1
pour [0, 30], vt2 pour [30, 40] et vt3 pour [40, 50] avec
vt1 + vt2 + vt3 = 1
On introduit pt0 , pt1 , pt2 et pt3 les coefficients de la
combinaison linaire convexe des valeurs 0, 30, 40 et 50.
xt = 0pt0 + 30pt1 + 40pt2 + 50pt3
pt0 + pt1 + pt2 + pt3 = 1
V. Gabrel
Linarisation
Seule une variable vti vaut 0 ou 1.
vt1 = 1 pt0 + pt1 = 1
vt2 = 1 pt1 + pt2 = 1
vt3 = 1 pt2 + pt3 = 1
On crit alors
pt0 + pt1 vt1
pt1 + pt2 vt2
pt2 + pt3 vt3
Concernant les cots :
C(yt ) = C(0)pt0 + C(30)pt1 + C(40)pt2 + C(50)pt3
V. Gabrel
Conclusion
Fonction convexe
Fonction convexe linaire par morceaux minimiser PL
Fonction convexe linaire par morceaux maximiser PL
mixte
Fonction concave
Fonction concave linaire par morceaux minimiser PL
mixte
Fonction concave linaire par morceaux maximiser PL
V. Gabrel
Outline
V. Gabrel
n
X
aij xj bi
j=1
vi = k
i=1
V. Gabrel
ou
n
X
aij xj <= bi + (1 vi )M
j=1
V. Gabrel
La contrainte 6=
y x + 1 My (1 z)
avec x [0, Mx ] et y [0, My ]
V. Gabrel
n
X
aij xj | bi
j=1
Pn
aij xj bi
Pnj=1
j=1 aij xj bi
P
Pn
aij xj bi
si nj=1 aij xj 0
Pn
Pnj=1
si j=1 aij xj 0
j=1 aij xj bi
V. Gabrel
Pn
j=1 aij xj |
bi
Pn
aij xj bi
Pnj=1
j=1 aij xj bi
P
si nj=1 aij xj 0
Pn
si j=1 aij xj 0
V. Gabrel
PK
PK
PK
PK
p
v
min
z
=
|
p
v
p
v
|
+
|
i
i2
i
i1
i
i2
i=A pi vi3 |
i=A
i=A P
i=A
PK
+|
pi vi3 i=A pi vi4 |
v +i=A
vBj + vCj 1
j =
Aj
P
4
i =
j=1 vij = 1
P
P
vij {0, 1}
i =
V. Gabrel
Outline
V. Gabrel
Dfinitions
Proposition
Soit A une proposition qui peut prendre deux valeurs VRAI ou
FAUX. A peut tre reprsente par une variables xA {0, 1}
telle que : xA = 0 A vaut FAUX, xA = 1 A vaut VRAI
A est reprsent par 1 xA .
Expressions
Expression = propositions lies par les oprateurs logiques
, , ,
Disjonction = expression de la forme E1 E2 . . . o Ei est une
proposition ou une expression
Conjonction = expression de la forme E1 E2 . . .
V. Gabrel
Contraintes linaires
Disjonction
(A B)
xA + xB 1
Conjonction
(A B)
V. Gabrel
xA 1
xB 1
(A) = A
(A B) = A B
(A B) = A B
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A B = B A
A B = A B
V. Gabrel
Implication
A B se traduit par xB xA
Preuve :
A B = A B se traduit par 1 xA + xB 1
Si xA = 1 alors lingalit devient xB 1 et comme
xB {0, 1}, on a : xB = 1.
Si xA = 0, alors on a xB 0, et comme xB {0, 1},
lingalit sera toujours vrifie.
V. Gabrel
Exemples
Si (A et B) Alors C (= A B C)
(A B) C
A B C
1 xA + 1 xB + xC 1
xA + xB xC 1
Si (A ou B) Alors C (= A B C)
(A B) C
A B C
(A B) C
(A C) (B C)
1 xA + xC 1
1 xB + xC 1
V. Gabrel
Exemples
Si A Alors (B et C) (= A B C)
A (B C)
(A B) (A C
1 xA + xB 1
1 xA + xC 1
Si A Alors (B ou C) (= A B C)
A (B C)
1 xA + xB + xC 1
xB + xC xA
V. Gabrel
Si xA = 1 et xB = 0 et xC = 1 Alors xD = 0
A B C D
(A B C) D
(A B C) D
1 xA + xB + 1 xC 1 xD
xA xB + xC + xD 2
V. Gabrel
V. Gabrel