Escolar Documentos
Profissional Documentos
Cultura Documentos
Prof. Moretti
Aula 5: Teorema da Representao Geral
x=
d 1, d 2 ,..., d L , i.e.,
j x j + jd j
j =1
j = 1 com
j =1
j =1
Minimizar ct x
sujeito a
( P1)
Ax = b
x 0
Sejam x1 , x 2 ,...., x k os pontos extremos de (P1) e d 1, d 2 ,..., d L as direes extremas de (P1).
Pelo teorema da representao geral qualquer x P1 pode ser escrito como
x=
j x j + jd j
j =1
j =1
j = 1 com
j =1
L
t
j
Minimizar
(c x ) j +
(c t d j ) j
j =1
j =1
sujeito a
k
j = 1
j =1
j 0 para j = 1,2,..., k
j 0 para j = 1,2,..., L
bvio que o problema (P2) equivalente ao problema (P1), ou seja, resolvendo (P2) temos s
soluo para (P1) e vice-versa.
Se ct d j < 0 para algum j=1,2,...,L ento temos que j para o ndice j correspondente (
pois no h restrio no crescimento de j . Desta forma, temos soluo ilimitada.
Se ct d j 0 para todos j=1,2,...,L, ento todos os j s sero fixos em zero. Neste caso, o
problema (P2) fica resumido a:
k
Minimizar
(c t x j ) j
j =1
sujeito a
k
j = 1
j =1
j 0 para j = 1,2,..., k
A soluo do problema acima muito simples:
{ }
Isto quer dizer que o ponto de mnimo ocorre num ponto extremo.
Resumindo : Se a soluo de um PL finita ( i.e., ct d j 0 para todo j = 1,2,...,L) ento ela
ocorre em pelo menos um ponto extremo.
Exerccio 1: Considere o problema de PL dado abaixo:
Minimizar x1 3 x2
sujeito a
x1 + x2 2
x1 + 2 x2 6
x1, x2 0
(a) Resolva-o graficamente.
(b) Resolva-o usando o teorema da representao geral.
Minimizar 4 x1 x2
sujeito a
x1 + x2 2
x1 + 2 x2 6
x1, x2 0
x1 + x2 6
x2 3
x1, x2 0
Na forma padro:
x1 + x2 + x3
x2
=6
+ x4 = 3
x1, x2 , x3 , x4 0
1 1 1 0
4
= [a1, a2 , a3 , a4 ] . E, temos maneiras diferentes de se
Portanto, a matriz A =
0 1 0 1
2
combinar as colunas de A.
1 1
1 1
(1) B = [a1, a2 ] =
B 1 =
0 1
0 + 1
x
1 1 6 3
x B = 1 = B 1b =
=
0 + 1 3 3
x2
x 0
xN = 3 =
x 4 0
Corresponde ao ponto A na figura acima.
1 0
1 0
(2) B = [a1, a4 ] =
B 1 =
0 1
0 1
x
1 0 6 6
xB = 1 = B 1b =
=
0 1 3 3
x4
x 0
xN = 2 =
x3 0
Corresponde ao ponto B na figura acima.
1 1
0 + 1
B 1 =
(3) B = [a2 , a3 ] =
1 01
1 1
x
0 1 6 3
xB = 2 = B 1b =
=
1 1 3 3
x3
x 0
xN = 1 =
x4 0
Corresponde ao ponto C na figura acima.
0
+ 1 0
(4) B = [a2 , a4 ] =
B 1 =
1 1
1 1
x
xB = 2 = B 1b =
x4
+ 1 0 6 + 6
1 1 3 = 3 no um ponto factvel!
x 0
xN = 1 =
x3 0
Corresponde ao ponto D na figura acima.
1 0
1 0
(5) B = [a3 , a4 ] =
B 1 =
0 1
0 1
x
1 0 6 6
xB = 3 = B 1b =
=
0 1 3 3
x4
x 0
xN = 1 =
x2 0
Corresponde ao ponto E na figura acima.
Note que a combinao B = [a1, a3 ] no forma uma base, pois, a1 e a3 so linearmente
dependentes. O nmero mximo de solues bsica ( factveis ou no) menor ou igual
n
.
m
( )
Seja x um ponto extremo da regio factvel. Queremos mostrar que x uma soluo
bsica factvel do sistema Ax = b, x 0 .
Como x um ponto extremo, ento h n hiperplanos LI ativos em x :
Ax=b, nos d m hiperplanos ativos. Ento deve haver p = n-m hiperplanos adicionais que
vem das restries de no-negatividade. Chamando estes p hiperplanos de x N = 0 ( x N
um vetor de p componentes, onde N um conjunto de ndices que indica quais so estes
p componentes).
Ax = b BxB + Nx N = b
xB = B 1b e x N =0
onde N uma submatriz de A cujas colunas so as variveis x N . E, B uma submatriz
formada pelas colunas restantes de A. Portanto, o ponto extremo x = ( xB , x N ) 0 , pois,
x factvel.
()
Alguns resultados
Teorema 1 : A coleo de pontos extremos correspondem a coleo de solues bsicas
factveis e ambas so no-nulas desde que a regio factvel seja no-vazia.
Teorema 2 : Assuma que a regio factvel seja no-vazia. Ento uma soluo tima finita
existe se e somente se ct d j 0, j = 1,2,..., L onde d 1, d 2 ,..., d L so direes extremas da
regio factvel. Caso contrrio, o valor timo da funo objetivo tende a infinito.
Teorema 3 : Se uma soluo tima finita existe ento um ponto extremo timo existe.
Teorema 4 :