Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
PL in forma standard
Min cx
Ax = b
x0
PL in forma standard
PL in forma standard
Min - cx
P2
Ax = b
x0
Max cx
P1
Ax = b
x0
Max cx Min - cx
3
Variabili di slack
n
a x
j=1
ij j
bi
a x
j=1
ij
+ xsi = bi
n
bi aijxj
j=1
3x1 - x2 + 2x3 8
3x1 - x2 + 2x3 + xs = 8
se x1 = 2, x2 = 1, x3 = 1
xs = 1
se x1 = 3, x2 = 4, x3 = 0.5
xs = 2
5
Variabile di surplus
n
a x
j=1
ij j
a x x
bi
j=1
ij j
si
=bi
n
a x -b 0
j=1
p Esempio
ij j
3x1 - x2 + 2x3 8
3x1 - x2 + 2x3 - xs = 8
se x1 = 3, x2 = 1, x3 = 1
xs = 2
7
Slack e Surplus
p Variabili
vincolo
p
p
10
Vertici adiacenti
Soluzioni di Soluzioni
Base
Adiacenti
(Vertici)
(0,0)
(0,6) ; (4,0)
(0,6)
(2,6) ; (0,0)
(2,6)
(4,3) ; (0,6)
(4,3)
(4,0) ; (2,6)
(4,0)
(0,0) ; (4,3)
(0,6)
(2,6)
(4,3)
(0,0)
11
(4,0)
Inizializzazione
Test di ottimalit
(0,0) non la soluzione ottimale. Esistono
soluzioni adiacenti migliori
12
(2,6)
(4,3)
(0,0)
(4,0)
14
Test di ottimalit
(0,6) non la soluzione ottimale. Esistono soluzioni
adiacenti migliori
Iterazione 2: spostarsi su (2,6) eseguendo i tre
passi seguenti
n
(0,6)
(2,6)
(4,3)
(0,0)
(4,0)
16
Test di ottimalit
(2,6) la soluzione ottimale.
Non esistono soluzioni adiacenti migliori
17
Procedura Algebrica
P1 max 3x1 + 5x 2
4
2 x2 12
3x1 + 2 x2 18
x1, x2 0
x1
+ x3
2x 2
3x1 + 2x 2
Forma aumentata
3 equazioni 5 incognite
x1, x 2 0
18
=4
+ x4
= 12
+ x 5 = 18
Procedura Algebrica
Una SOLUZIONE DI BASE una soluzione di P2 che giace
su di un vertice.
Es: La soluzione non ammissibile (4,6) di P1 ha come
soluzione di base corrispondente (4,6,0,0,-6).
Le soluzioni di base possono essere ammissibili o non ammissibili.
Una SOLUZIONE DI BASE AMMISSIBILE una soluzione di
base che giace su un vertice allinterno della regione
ammissibile
Es: La soluzione (0,6) di P1 ha come soluzione ammissibile di base per
P2 (0,6,4,0,6).
19
Procedura Algebrica
Si noti che P2 ha 5 variabili e 3 vincoli, lasciando 2 gradi di libert nella
risoluzione del sistema.
Quindi posso fissare il valore di 2 variabili e risolvere il sistema di tre
variabili e 3 equazioni.
Lalgoritmo del simplesso fissa a 0 il valore di queste due
variabili (VARIABILI NON DI BASE) e trova il valore delle
restanti 3 variabili (VARIABILI DI BASE).
20
p
p
p
Esempio
max 3 x1 + 5 x2
2 x2 + x3
2 x1 + 3x2
x1
= 12
+ x4
= 18
+ x5 = 4
x1 , x2 0
p
24
n 30
= = 155.117.520 soluzioni
m 15
Si osservi anche che ogni soluzione di base va costruita
operando uninversione di matrice B-1 !!
Ricerca Operativa A.A. 2006/07
25
26
27
Test ottimalit
Funzione Obiettivo Z = 3 x1 + 5 x2
Z=0
3x1 5x2
=0
2x 2 + x 3
3x1 + 2x 2
x1
= 12
+x 4
= 18
+ x5 = 4
(x1 = 0)
x3 = 12 2 x2
x4 = 18 2 x2
x5 = 4
x1, x 2 0
=0
2 x2 + x3
3x1 + 2 x2
x1
= 12
+ x4
= 18
+ x5 = 4
x1 = 0; x3 = 0; x2 = 6
x4 = 6; x5 = 4;
x1 , x2 0
p
p
+ x4
=0
= 12
= 18
+ x5 = 4
Z 3x1
+ (5 / 2) x3
= 30
x2 + (1 / 2) x3
3x1 +
x1
x3
=6
+ x4
+ x5
=6
=4
Test di ottimalit
Funzione Obiettivo
Z = 30 + 3x1 (5 / 2) x3
e x3 non sono di base.
Tasso di miglioramento di x1 : 3
Tasso di miglioramento di x3 : -5/2
Il tasso di miglioramento di x1 positivo quindi la
soluzione individuata non ottimale
32
= 30
(5 / 2) x3
x2 + (1 / 2) x3
3x1 +
x1
x3
=6
+ x4
+ x5
(x3 = 0)
=6
x 4 = 6 3x1
=4
x 5 = 4 x1
x1 = 2; x 2 = 6;x 3 = 0;x 4 = 0; x 5 = 2;
33
x 2 = (1/ 2)x3 + 6
+ (3 / 2) x3 +
Z 3x1
1 / 3x3
= 30
x2 + (1 / 2) x3
3x1 + x3
x4
=6
+ x4
+ x5
x1
x2 + (1 / 2) x3
x1
+ (5 / 2) x3
=6
=4
= 36
=6
+ 1 / 3x4
=2
(1 / 3) x3 (1 / 3) x4 + x5 = 2
35
Casi particolari
p Problemi
illimitati
p Soluzioni
ottime multiple
36
2/2
x1
x2
x3
x4
x5
-3
-5
12
18
1
37
0+ 5 *2
x1
x2
x3
x4
x5
-3
-5
1/2
18
3- 2 *2
0+ 5 *2
x1
x2
x3
x4
x5
-3
5/2
1/2
-1
3- 2 *2
39
3/3
x1
x2
x3
x4
x5
30
-3
5/2
1/2
-1
1
40
1 -3
x1
x2
x3
x4
x5
30
-3
5/2
1/2
-1/3
1/3
3/3
41
0 +3*3
1 -3
x1
x2
x3
x4
x5
30
-3
5/2
1/3
-1/3
1/2
-1/3
1/3
42
0 +3*3
x1
x2
x3
x4
x5
36
3/2
1/3
-1/3
1/2
-1/3
1/3
43
x2
x3
x4
x5
36
3/2
1/3
-1/3
1/2
-1/3
1/3
di massimo
i vincoli
p Vettore
delle risorse b0
max
3x1 + 5x 2
Z 3x1 5 x2
x1
+ x3
x1
2 x2
2 x2 12
3x1 + 2 x2
3x1 + 2 x2 = 18
x1, x2 0
METODO DEL BIG-M
Z ( 3M + 3) x1 (2M + 5) x2
= 18 M
+ x3
x1
3x1 + 2 x2
=4
+ x4
2 x2
46
Mx5 = 0
= 12
+ x5 = 18
=4
+ x4
= 12
+ x5 = 18
p Problema
p Vincoli
di massimo (irrilevante)
48
49
Pivot
50
(Riga 2)-2(Riga 1)
3/ 2
51
53
Simplesso Rivisitato
xT = ( x1, x2 ,..., xn )
xTs
c = (c1, c2 ,..., cn )
a 11
a
A = 21
a
m1
a 12
a 22
a m2
bT = (b1,b2 ,...,bm )
a1n
... a 2 n
... a mn
...
I VINCOLI diventano:
x
[A I ] = b
xs
x
x 0
s
Simplesso Rivisitato
Date m variabili di base e n non di base, la soluzione di
base corrispondente data dalla soluzione del sistema in
m equazioni:
x
[A I ] = b
xs
x variabili sono =0
Dove n delle
xs (var. non di base)
BxB = b
Simplesso Rivisitato
xTB = ( x1, x2 ,..., xn )
B11
B
B = 21
B m1
B12
B 22
B m2
... B1m
... Bm
... B mm
56
Simplesso Rivisitato
Il metodo del simplesso introduce soltanto variabili di base
per cui B non singolare per cui
x B = B 1b
Z = cB x B = cB B 1b
57
Simplesso Rivisitato
c = [3,5]
1 0 1 0 0
[A I ] = 0 2 0 1 0
3 2 0 0 1
xT = ( x1, x2 )
xTs = ( x3 , x4 , x5 )
Iterazione 0:
xTB
= ( x3 , x4 , x5 )
58
1 0 0
B = 0 1 0
0 0 1
bT = (4,12,18)
Simplesso Rivisitato
Iterazione 1:
Iterazione 2:
xTB
xTB
1 0 0
1 0 0
B = 0 2 0 B 1 = 0 1 / 2 0
0 2 1
0 1 1
= ( x3 , x2 , x5 )
1 0 1
= ( x3 , x2 , x1) B = 0 2 0
0 2 3
59
1 1 / 3 1 / 3
B 1 = 0 1 / 2
0
0 1 / 3 1 / 3
Forma Matriciale
Z
1 c 0 0
0 A I x = b
x
s
Z cB B 1b
x = 1
B B b
Z 1 cB B 1 0 cB B 1b
=
x =
1 b 1
B 0 B B b
60
Forma Matriciale
1 cB B 1 1 c 0 1 cB B 1 c cB B 1
=
1 0 A I
1
1
B
0 B
0 B A
Z
1
1 cB B c cB B cB B 1b
x =
1
1 1
B A
B
B b
0
xs
61
Forma Matriciale
1 cB B 1 1 c 0 1 cB B 1 A c cB B 1
=
1 0 A I
1
1
B A
B
0 B
0
Z
1 cB B A c cB B cB B 1b
x =
1
1 1
B A
B
B b
0
xs
1