INTERPRETAO

GEOMTRICA E
RESOLUO GRAFICA
Francisco A. M. Gomes

2 sem/2009 MT503 Programao linear

Representao grfica.

Problemas de programao linear com duas ou trs variveis

podem ser facilmente representados e resolvidos
graficamente.

A representao grfica tambm permite a fixao de alguns

conceitos importantes, como as definies de hiperplano,
semiespao fechado, soluo factvel e soluo bsica.
Exemplo.

x2
max 31 +2 Soluo 3

suj. a 1 +2 1 bsica
factvel
21 2 2 Curvas de nvel
31 +22 6 2 da f. objetivo
(z(x)=cte)
1 22 1
1 , 2 0 Soluo
bsica 1 Regio
infactvel factvel
Soluo
z(x) tima
Soluo tima:
1 1 2 3 x1
x1 = 7/4, x2 = 3/8 Hiperplano
z* = 45/8 Soluo
1
factvel
Definies.
HIPERPLANO.
Um hiperplano em n o conjunto de pontos x = [x1, x2, ..., xn] n que
satisfazem a a1x1 + a2x2 + ... + anxn = b, onde ao menos um ai 0.
Em 2, o hiperplano uma reta. Em 3, um plano.
SEMIESPAO FECHADO.
Todo hiperplano definido por aTx = b divide n em dois semiespaos
fechados: aTx b e aTx b.
SOLUO FACTVEL.
Dado o conjunto de restries Ax = b, x 0, dizemos que x uma soluo
factvel se satisfaz a todas essas restries.
SOLUO BSICA.
Uma soluo bsica em n o ponto de interseo de n hiperplanos
linearmente independentes.
Mais definies.
REGIO FACTVEL.
A regio factvel o conjunto de todas as solues factveis.
A regio factvel a interseo de hiperplanos e semiespaos fechados.

SOLUO BSICA FACTVEL.

Uma soluo que bsica e factvel um vrtice da regio factvel.

DIREO DE CRESCIMENTO MXIMO DA FUNO OBJETIVO.

Se z(x) = cTx, a direo em que z(x) cresce mais rpido em um ponto x
dada por z(x) = c.

DIREO DE DECRESCIMENTO MXIMO DA FUNO OBJETIVO.

Se z(x) = cTx, a direo em que z(x) decresce mais rpido em um ponto x
dada porz(x) = c.
Resultados possveis.

Um problema de programao linear pode:

Ter soluo tima nica (a soluo um vrtice).
Ter infinitas solues timas (a soluo um segmento de
reta ou uma semirreta).
Ter soluo tima ilimitada.
Ser infactvel.
Outro problema com soluo nica.

x2
min 31 +2 3

suj. a 1 +2 1
Curvas de nvel
21 2 2 da f. objetivo
31 +22 6 2 (z(x)=cte)
1 22 1
1 , 2 0
1 Regio
Soluo factvel
tima
Soluo tima:
1 1 2 3 x1
x1 = 0, x2 = 1 z(x)
z* = 1
1
Infinitas solues timas.

max 31 +22 x2
suj. a 1 +2 1
3

21 2 2
31 +22 6 Solues
1 22 1
2
timas
1 , 2 0

Curvas de nvel 1

da f. objetivo
z(x)
1 1 2 3 x1

1
Soluo ilimitada.

max 31 +22 3 x2
suj. a 1 +2 1
21 2 2 Direo de
1 22 1 2 melhoria da f.o.
1 , 2 0

1
Curvas de nvel
da f. objetivo
z(x)
1 1 2 3 x1

Soluo
factvel
1
Problema infactvel.

max 31 +22 x2
suj. a 1 +2 1
3

21 2 2
31 +22 6
2
1 22 1
21 +22 1
1 , 2 0
1

1 1 2 3 x1