Programao Linear

Prof. Moretti

Aula 16 - Teorema Fundamental da Dualidade

Teorema das Folgas Complementares

Teorema Fundamental da Dualidade:

Exatamente uma das alternativas abaixo verdadeira:
( 1 ) Os dois problemas possuem solues timas e c t x = b t w .
( 2 ) Um dos problemas tem z e o outro infactvel.
( 3 ) Os dois problemas so infactveis.

Condies de KKT
1. Ax b , x 0
2. A t w c , w 0
3. w Ax b = 0
ct Atw x = 0

Factibilidade Primal
Factibilidade Dual
Fo lg as Complementares

) (

Se x satisfaz KKT ento w Ax b + c t A t w x = 0

c t x = bt w

Alm do mais, a condio 3 nos diz:

w i a ti x b i = 0

(c

, i = 1, ... , m

w a j x j = 0 , j = 1, ..., n

Teorema das Folgas Complementares

Sejam x e w duas solues factveis quaisquer dos problemas primal e
dual, respectivamente. Ento elas so solues timas se e somente se

wi a it x bi = 0

(c

w a j x j = 0 , j = 1, ... , n

Exemplo:
Max z p = 3x1 + 3x 2 + 21x 3
6x1 + 9x 2 + 25 x 3 25

sa

3x1 + 2x 2 + 25 x 3 20
x1 , x 2 , x 3 0

a) D o dual.
O problema dual dado por:
Min z d = 25w1 + 20w 2
sa

6w1 + 3w 2 3
9w1 + 2w 2 3
25w1 + 25w 2 21
w1 , w 2 0

, i = 1, ... , m

b) Resolva o dual graficamente.

Soluo tima: w = ( 0.19 , 0.65 ) , formada pela interseco das restries

9w1 + 2w 2 3

25w1 + 25w 2 21

Valor das variveis de folgas:

w *4 = w 5* = 0
w *3 = 6w1* + 3w *2 3 0.09 > 0

Pelo Teorema das Folgas Complementares, temos:

x1* w *3 = 0

x1* = 0

x *2 w *4 = 0

Nada podemos afirmar

x *3 w 5* = 0

Nada podemos afirmar

w1* x *4 = 0

x *4 = 0

w *2 x 5* = 0

x 5* = 0

Para achar os valores de x *2 e x *3 , vamos resolver o sistema linear

9x *2 + 25 x *3 = 25
2x *2 + 25 x *3 = 20

cuja resposta x *2 =

5
7

x *3 =

130
.
175

Calculando as funes objetivo dos problemas primal e dual, temos:

621
35
621
z d = 25w1* + 20w *2 =
35

z *p = 3x1* + 3x *2 + 21x *3 =

Como os dois valores das funes objetivo so iguais, temos que x* e w*

so solues timas para os problemas primal e dual, respectivamente.