Sunteți pe pagina 1din 5

Algoritmul simplex dual

Problemei de programare liniar:


(24)
( ) min f X C X
A X L
X
T

'

0
i se asociaz problema:
(25)
( ) max g Y L Y
A Y C
Y
T
T

'

0
unde Y
y
y
y
m

_
,

1
2

Problema (24) se va numi primal iar problema (25) duala problemei (24) i
reciproc.
Exemplul II.7.1
m i n
, , , ,
f x x x
x x x x
x x x x
x x x x
x i
i
+ +
+ +
+
+ +

'

1 2 3
1 2 3 4
1 2 3 4
1 2 3 4
2 2
2 1
2 2
1
0 1 2 3 4
Folosind tabelul:
Y
X
x x x x
1 2 3 4
L
y
y
y
1
2
3
1 2 1 1
2 1 1 1
1 1 1 1

1
2
1
1 2 2 0 C
gsim duala:

( )
m a x
, , ,
g Y y y y
y y y
y y y
y y y
y y y
y i
i
+ +
+ +
+
+
+

'

1 2 3
1 2 3
1 2 3
1 2 3
1 2 3
2
2 1
2 2
2
0
0 1 2 3
Teorema II.7.1. Fie X o soluie posibil pentru problema (24) i Y o soluie
posibil pentru problema (25). Atunci
( ) ( ) f X g Y
Demonstraie: Din
AX L ,
nmulind la stnga cu
Y
T
0
obinem:
( ) Y A X Y L L Y g Y
T T T

Pe de alt parte:
( ) A Y C X A Y X C C X f X
T T T T T

Dar cum ( ) Y A X A X Y X A Y
T
T
T T
ajungem la concluzia ( ) ( ) g Y f X
.
Teorema II.7.2. Dac (24) are optim finit atunci (25) are optim finit i avem
( ) ( )

X f Y g min max sau C
T
X

=L
T
Y

unde

X
este o soluie optim
pentru (24) iar

Y
o soluie optim pentru (25).
Demonstaie: Din teorema II.7.1. pentru orice pereche de programe duale X,Y,
avem
( ) ( ) X f Y g
. Deci are loc i
( ) ( ) X f Y g max
. Cum f este o funcie liniar, deci
continu, atunci
( ) X f min
exist i are loc
( ) ( ) max min g Y f X
.
Pe de alt parte folosind (13) i teorema II.4.1. avem
( ) ( ) L B C Z X f X f
T
p

1
min

. Se demonstreaz c
0
1


p
C B Y

este un
program optim pentru duala (25). Atunci:
( ) ( ) ( ) ( ). max min
1 1
Y g Y g Y L L Y L C B L B C X f
T T
T
p
T
p


Teorema II.7.3. (teorema ecarturilor complementare)
Fie X,Y soluii ale problemelor (24), respectiv (25). Atunci X,Y sunt soluii optime
dac i numai dac au loc relaiile:
( ) ( ) Y L AX X A Y C
T T T
0 0 ;
Demonstraie. Avem:
L Y Y L Y AX X A Y X C C X
T T T T T T T

Folosind teoremele II.7.2. i II.7.1. obinem c X,Y sunt programe optime dac i
numai dac
L Y C X
T T

ceea ce conduce la:
Y L Y A X X A Y X C
T T T T T

sau:
( )
( ) Y L AX X A Y C
T T T
0 0 ; .

Dualitatea se folosete cel mai frecvent n cazul n care problema primal necesit
calcule multe:
Exemplul II.7.2.
m i n
, ,
.
f x x
x x
x x
x x
x x
x i
i
+
+
+
+
+

'

3
2 1
1
3 2 3
2 3 1
0 1 2
1 2
1 2
1 2
1 2
1 2
Pentru a rezolva aceast problem cu algoritmul simplex trebuie introduse patru
variabile de egalizare, dar scriind problema dual:
m a x
,
g y y y y
y y y y
y y y y
y
i
+ + +
+ + +
+ + +

'

1 2 3 4
1 2 3 4
1 2 3 4
3
2 3 2 3
2 3 1
0 1 4

i
aceasta necesit numai dou variabile de egalizare. Obinem:
0 0 1 3 1 1
6 5 4 3 2 1
a a a a a a
0
0
6
5
a
a
2 1 3 2 1 0
1 1 3 0 1
1
3
-1 -1 -3 -1 0 0 0
0
3
3
5
a
a
1/2 -1/2 0 -5/2 1 -3/2
1/2 1/2 1 3/2 0 1/2
2 / 1
2 / 3
1/2 1/2 0 7/2 0 3/2 -3/2
deci
max / min . g f 3 2
Pentru a putea formula duala unei probleme de minim am vzut c restriciile
trebuie s aib forma (24). n acest caz, restriciile " " sunt numite concordante, iar cele

2
" " neconcordante. Pentru problema primal de maxim, restriciile " " sunt cele
concordante iar " " cele neconcordante.
n caz c nu au aceast form pot fi aduse la forma (24) dup urmtoarele reguli:
modelul dat modelul dual
numr de variabile numr de restricii
numr de restricii numr de variabile
minim maxim
maxim minim
termeni liberi ai
restriciilor
coeficienii funciei
obiectiv
coeficienii funciei
obiectiv
termenii liberi ai
restriciilor
coloanele matricii
restriciilor
liniile matricii restriciilor
restricie concordant variabil nenegativ
restricie neconcordant variabil nepozitiv
restricie egalitate variabil liber
variabil nenegativ restricie concordant
variabil nepozitiv restricie neconcordant
variabil liber restricie egalitate
Exemplul II.7.3.
m i n
, ,
/
f x x x x
x x x x
x x x x
x x x x
x x x R
+ + +
+ +
+ + +
+ +

'

3 2
2 5
2 2 1 0
2 1 0
0 0
1 2 3 4
1 2 3 4
1 2 3 4
1 2 3 4
1 2 3 4
Duala va fi:

m a x
, ,
g y y y
y y y
y y y
y y y
y y y
y y y R
+ +
+ +
+ +
+ +
+

'

5 1 0 1 0
2 3
2 2
2 1
2 1
0 0
1 2 3
1 2 3
1 2 3
1 2 3
1 2 3
1 2 3

S-ar putea să vă placă și