Académique Documents
Professionnel Documents
Culture Documents
>
>
=
0. b
0 X
b AX
Forma padro de modelo de PL
Pesquisa Operacional - UNESP / Campus de Guaratinguet
54
Reduo de um modelo geral para a forma padro
O Mtodo Simplex exige que o modelo esteja na forma padro.
Tratando com restries na forma de inequaes:
Estas restries so transformadas em equaes atravs da
introduo de novas variveis (no-negativas), chamadas de
variveis de folga.
Forma padro de modelo de PL
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma padro de modelo de PL
55
Exemplo:
Considere o problema de dimensionamento de equipes de
inspeo:
X
1
s 8 X
1
+ X
3
= 8, X
3
> 0 uma varivel de folga.
X
2
s 10 X
2
+ X
4
= 10, X
4
> 0 uma varivel de folga.
5 X
1
+ 3 X
2
> 45 5 X
1
+ 3 X
2
X
5
= 45, X
5
> 0 uma varivel
de folga.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma padro de modelo de PL
56
Interpretao das variveis de folga no exemplo:
X
3
= nmero de inspetores do nvel 1 no utilizados.
X
4
= nmero de inspetores do nvel 2 no utilizados.
X
5
= nmero (extra) de peas inspecionadas por dia, acima da
quantidade mnima (1800) especificada pela empresa
Variveis de folga fornecem informaes teis sobre o problema.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma padro de modelo de PL
57
Tratando com variveis livres (irrestritas em sinal):
Em algumas situaes exige-se o uso de variveis que podem
assumir tanto valores positivos, nulos, e negativos. Estas variveis
so chamadas de livres (free) ou irrestritas em sinal.
Exemplo: Modelo de Planejamento Macroeconmico
Uma das Variveis de Deciso a Taxa de Inflao que pode
assumir qualquer valor positivo, nulo ou negativo (neste caso
conhecida como Deflao).
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Tratando com variveis livres (irrestritas em sinal):
58
Estas variveis devem ser eliminadas do modelo na forma padro. H,
pelo menos, duas maneiras de se fazer isto:
1. Por substituio utilizando uma das restries do modelo,
j na forma padro (igualdade), procura-se expressar a varivel livre
como funo das demais variveis (no negativas) do modelo. A seguir
eliminar a varivel livre do modelo substituindo-a pela funo
escolhida na etapa anterior. A equao utilizada para expressar a
varivel livre como funo das demais variveis tambm ser
eliminada do modelo.
2. Por transformao Suponha que a varivel livre S. Basta
substituir em todas as restries, e na funo objetivo, a varivel S por
S = S S, com S > 0 e S > 0 sendo duas novas variveis
(auxiliares) no modelo.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma padro de modelo de PL
59
Tratando com variveis no-positivas:
Suponha que num determinado modelo h uma varivel X
1
s 0.
Basta substitu-la no modelo por uma nova varivel no-negativa
X
1
> 0, dada por X
1
= X
1
.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma padro de modelo de PL
( )
( )
( )
s >
>
s
livre X 0, X 0, X
3 5 = 2X X 3X
2 2 X + X X
1 7 X + X + X
3 2 1
3 2 1
3 2 1
3 2 1
Exemplo Completo
Obtenha a forma padro do modelo abaixo:
Maximizar Z = X
1
2X
2
+ 3X
3
Sujeito a:
60
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma padro de modelo de PL
61
1. Introduzir variveis de folga nas restries (1) e (2):
X
1
+ X
2
+ X
3
+ X
4
= 7 (1) com X
4
> 0.
X
1
X
2
+ X
3
X
5
= 2 (2) com X
5
> 0.
2. Multiplicar a restrio (3) por ( 1) para eliminar b
3
= 5 < 0:
3X
1
+ X
2
+ 2X
3
= 5 (3)
3. Substituir X
2
s 0 por X
2
> 0 atravs de X
2
= X
2
:
Max Z = X
1
+ 2 X
2
+ 3 X
3
Sujeito a:
( )
( )
( )
s. a: s. a:
Usando
De (1): X
3
= 7 X
1
+ X
2
X
4
ou X
3
= X
3
X
3
>
+
0 X , X , ' X , X
9 = 2X + ' X 5X
5 = X + X ' 2X
5 4 2 1
4 2 1
5 4 2
>
+
0 X , X , ' ' X , ' X , ' X , X
5 = ' ' 2X ' '+2X X 3X
2 = X ' ' X ' X '+ X + X
7 = X ' ' X ' X '+ X X
5 4 3 3 2 1
3 3 2 1
5 3 3 2 1
4 3 3 2 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Definies e Teoremas em PL
63
Ponto central na resoluo de modelos de PL a soluo de sistemas
de equaes lineares.
Apresenta-se a seguir o Mtodo de Eliminao de Gauss Jordan.
Considere o sistema de equaes abaixo:
(S
1
)
(n variveis >> n equaes)
( )
( )
=
= + +
2 4 X X 3 X X X
1 2 X 2 X 4 X X 2 X
5 4 3 2 1
5 4 3 2 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Definies e Teoremas em PL
64
Conjunto soluo de (S
1
) a coleo de todos os valores de (X
1
,
X
2
, X
3
, X
4
, X
5
) que satisfazem as equaes (1) e (2)
conjuntamente.
Dois sistemas so equivalentes se possuem o mesmo conjunto
soluo.
Sistemas equivalentes podem ser obtidos por meio de operaes
elementares sobre as linhas do sistema:
1. Multiplicar (dividir) qualquer equao por um n.
2. Adicionar qualquer equao uma Combinao Linear das
demais equaes.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma Cannica
65
Um sistema (S
2
) equivalente a (S
1
) pode ser obtido
multiplicando-se a equao (1) por 1 e adicionando-se o
resultado equao (2):
(S
2
)
Um sistema (S
3
) equivalente a (S
1
) pode ser obtido
multiplicando-se equao (4) por 2 e adicionando-se o resultado
equao (3):
(S
3
)
(S
3
) denominado uma forma cannica do sistema original (S
1
).
=
= + +
(4) 2 3X X + 2X X
(3) 2 X 2 X 4 X X 2 X
5 4 3 2
5 4 3 2 1
(6) 2 = 3X X + 2X X
(5) 6 = 4X 2X 3X X
5 4 3 2
5 4 3 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Forma Cannica
66
Considere uma forma cannica de um sistema de equaes lineares:
(como (S
3
) anteriormente obtido)
Uma varivel dita ser varivel bsica para uma dada equao do
sistema se ela possuir coeficiente 1 nesta equao e coeficientes
nulos nas demais equaes do sistema.
Exemplo: em (S
3
) X
1
e X
2
so variveis bsicas
Variveis que no satisfazem a condio acima so chamadas de
variveis no-bsicas.
Exemplo: em (S
3
) X
3
, X
4
, X
5
so variveis no-bsicas.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Soluo Bsica
67
|
|
.
|
\
|
M
N
|
|
.
|
\
|
2
5
A soluo de um sistema na forma cannica, obtida fazendo-se as
variveis no-bsicas iguais a zero, chamada de uma soluo
bsica (SB).
N mximo de solues bsicas =
Exemplo:
Em (S
3
) fazendo-se X
3
= X
4
= X
5
= 0 X
1
= 6 e X
2
= 2 formam
uma soluo bsica.
N de solues bsicas = = 10
Uma Soluo Bsica Vivel (SBV) de um sistema uma soluo
bsica onde todas as variveis assumem valores no-negativos.
Exemplo: a soluo bsica do exemplo anterior uma SBV.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Pivoteamento
68
Operaes de Pivoteamento so as operaes elementares
aplicadas um sistema para transformar uma dada varivel em
varivel bsica. So usadas pelo mtodo de eliminao de
Gauss Jordan. Deve-se identificar o elemento Piv que deve
ser transformado em 1 e os demais elementos da sua coluna
que devem ser transformados em 0.
Para obter uma forma cannica de um sistema basta aplicar uma
sequncia de operaes de pivoteamento (mtodo de Gauss
Jordan) de modo se conseguir uma varivel bsica associada
com cada equao.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo de Eliminao de Gauss Jordan
69
Artifcio para a realizao de operaes de pivoteamento:
Considere o sistema (S) abaixo:
(S)
Achar (S) uma forma cannica de (S) de modo que X
1
seja a
varivel bsica associada com a equao (1), e X
3
seja a varivel
bsica associada com a equao (2).
(2) 2 = X 4X + X
(1) 4 = X 6 + X 2 X 2
3 2 1
3 2 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo de Eliminao de Gauss Jordan
70
VB X
1
X
2
X
3
b Operaes Elementares Feitas
X
1
2 -2 6 4 (1) - Piv em azul
X
3
-1 4 -1 2 (2)
(S)
Soluo bsica (no vivel): X1 = 4 (Varivel bsica)
X
3
= 2 (Varivel bsica) X2 = 0 (Varivel no bsica)
( )
( )
2 = X + X 3/2
4 = X 2 / 11 X
3 2
2 1
X
1
1 -11/2 0 -4 (1) = (1) - 3*(2)
X
3
0 3/2 1 2 (2) = (2)/2 Equao do Piv
X
1
1 -1 3 2 (1) = (1)/2 - Equao do Piv
X
3
0 3 2 4 (2) = (2) + (1) Piv em Azul
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Teoremas em PL
71
Teorema 1
Dado um modelo j na forma padro, as solues bsicas viveis do
sistema de equaes, correspondente s restries do modelo, esto
associadas a pontos extremos do conjunto de solues viveis do
modelo original.
Teorema 2
Se um modelo de Programao Linear possui Soluo tima ento
pelo menos um ponto extremo, do conjunto de solues viveis do
modelo original, corresponde a uma Soluo tima.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Comentrios Gerais
72
Procedimento simplista para resolver um modelo de PL
Gerar todas as possveis solues bsicas viveis.
Determinar qual das solues bsicas viveis corresponde ao
melhor valor da funo-objetivo.
Problemas:
1. N de solues bsicas viveis pode ser excessivo.
2. Modelo pode apresentar soluo ilimitada ou ainda ser invivel.
Observe que problemas de mdio porte, que aparecem na prtica,
costumam envolver centenas de variveis (valor de n) e milhares
de restries (valor de m).
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Comentrios Gerais
73
Linhas de Pesquisa
Algoritmos de pontos interiores e suas derivaes.
Implementaes de algoritmos para processamento em paralelo.
Linguagens de modelagem: ajudar no desenvolvimento e aplicao de
modelos de Pesquisa Operacional.
Exemplos:
AMPL - Modeling Language for Mathematical Programming - R. Fourer, D.
M. Gay, and B. W. Kerningham, 1993.
GAMS - General Algebraic Modeling System - J. Bisschop and A. Meeraus,
1982.
Whats best - The ABC of Optimization - S. L. Savage, 1992.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
74
Procedimento iterativo que resolve qualquer modelo de PL num nmero
finito de iteraes. Indica a ocorrncia de mltiplas Solues timas,
soluo ilimitada, e problema invivel.
Etapas de aplicao do Mtodo Simplex
Considere um modelo de PL que esteja na forma padro, e uma Soluo
Bsica Vivel inicial.
O Mtodo Simplex consiste basicamente da aplicao sucessiva de duas
etapas:
Etapa A: Identificao de uma Soluo tima.
Etapa B: Melhoria de uma Soluo Bsica Vivel.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
75
Etapa A: Identificao de uma Soluo tima.
Verificar se a Soluo Bsica Vivel atual satisfaz o critrio de
otimalidade do algoritmo:
Se o critrio for satisfeito termina a aplicao do mtodo;
Caso contrrio deve-se aplicar a etapa B.
Etapa B: Melhoria de uma Soluo Bsica Vivel.
Procurar obter uma Soluo Bsica Vivel melhor que a atual:
Determinao da varivel no-bsica que deve entrar;
Determinao da varivel bsica que ser substituda;
Obteno da nova Soluo Bsica Vivel - atravs de operaes
de pivoteamento.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
76
Desenvolvimento do Mtodo Simplex
Seja um modelo de PL (minimizao) colocado na forma
padro:
Min Z = C
1
X
1
+ C
2
X
2
+ ... + C
n
X
n
s. a:
1) + (m 0 = X C + ... + X C + X C + Z -
(m) b = X A + ... + X A + X A
... ... ... ... ...
... ... ... ... ...
(2) b = X A + ... + X A + X A
(1) b = X A + ... + X A + X A
n n 2 2 1 1
m n mn 2 m2 1 m1
2 n 2n 2 22 1 21
1 n 1n 2 12 1 11
Mtodo Simplex - Minimizao
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
78
(I) Z = X C + .... + X C + Z
b = X A + ... + X A + X
.......
b = X A + ... + X A + X
b = X A + ... + X A + X
o n n 1 + m 1 + m
m n n m, 1 + m 1 + m m, m
2 n n 2, 1 + m 1 + m 2, 2
1 n n 1, 1 + m 1 + m 1, 1
O sistema (S), que uma forma cannica de (S), foi obtido
pelas operaes de pivoteamento aplicadas s variveis X
1
, X
2
,
..., X
m
, e Z, dado por:
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
79
Em (S) :
(1) so respectivamente os novos coeficientes das variveis
nas equaes de (S), as novas constantes nestas mesmas equaes, e
os novos coeficientes das variveis na funo objetivo (expresso (I)),
obtidos pelas operaes de pivoteamento no sistema (S).
(2) Os coeficientes so denominados coeficientes de custo relativo
(ou reduzido) das variveis no-bsicas da soluo atual.
(3) H uma Soluo Bsica Vivel explcita em (S), onde:
Variveis bsicas:
Variveis no-bsicas:
Valor da funo objetivo:
; b X , ... , b X , b X m m 2 2 1 1 = = =
0 X ... X X n 2 m 1 m = = = = + +
n n 2 2 1 1 o b C ... b C b C Z + + + =
j j j , i C , b , A
j C
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
80
Visualizao da etapa A do Mtodo Simplex:
Teste de otimalidade da Soluo Bsica Vivel atual.
Min Z = 4X
1
+ X
2
+ X
3
s. a:
(S):
= >
= + +
= + +
1,3 i 0, X
3 X 3X 3X
4 2X X 2X
i
3 2 1
3 2 1
= + + + (3) 0 X X X 4 Z
(2) 3 = X + 3X + 3X
(1) 4 = 2X + X + 2X
3 2 1
3 2 1
3 2 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
81
+
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
84
Analisando (I) h duas possibilidades:
Se no h ento a soluo atual tima. No
haver a aplicao da etapa (B). Fim da aplicao do
Mtodo Simplex.
Se h a soluo atual no tima.
Uma varivel no-bsica X
S
, associada com um
coeficiente de custo relativo , deve ser transformada em
varivel bsica numa prxima soluo bsica vivel .
Esta nova Soluo Bsica Vivel ter um valor para a
funo objetivo melhor (no caso do modelo de minimizao,
menor) que o valor da funo objetivo atual Z
0
.
Aplicar a etapa (B).
C 0 j (
C 0 j (
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
85
Visualizao da etapa B do Mtodo Simplex (PL de Minimizao):
Seja uma Soluo Bsica Vivel disponvel dada por,
X
1
= 5, X
2
= 6, X
3
= X
4
= 0, Z = 4,
Associada ao sistema (S) abaixo:
(S):
(3) 4 = 5X + 4X Z
(2) 6 = 2X 2X + X
(1) 5 = 3X + 2X + X
4 3
4 3 2
4 3 1
Aplicando a etapa (A) tem-se:
Como
Desta maneira X
3
deve Entrar e seu valor dever aumentar. Observe-se
que X
4
no deve Entrar pois piorar o valor da F. O.
. de valor X de valor o se 0 < 4 - = 3 3 + | Z o C
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex (minimizao)
86
Problema:
At quanto aumentar o valor de X
3
?
Anlise: como X
4
= 0 (permanece varivel no-bsica), tem-se:
De (1): X
1
= 5 2X
3
ou seja se
De (2): X
2
= 6 2X
3
ou seja se
Sabe-se que X
1
> 0 X
3
s 5/2
Sabe-se que X
2
> 0 X
3
s 6/2
Portanto X
3
substituir X
1
no conjunto das variveis bsicas da
nova Soluo Bsica Vivel dada por:
X
3
= 5/2, X
2
= 1, X
1
= X
4
= 0, Z = 4 - 4X
3
= -6
{ } 5/2 = 6/2 5/2, Min = X3
+ | X X 1 3
+ | X X 2 3
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
87
Etapa (B) do Mtodo Simplex
Hiptese:
H um coeficiente de custo relativo deve-se achar uma
nova Soluo Bsica Vivel onde X
S
seja varivel bsica.
Problema:
Qual das atuais variveis bsicas ser substituda por X
S
na
prxima Soluo Bsica Vivel?
C < 0 S
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
88
Soluo:
Sejam
i,s
os coeficientes de X
S
nas equaes do sistema de
restries, onde i = 1, ..., m.
Procurar a equao r do sistema de restries onde ocorra:
A varivel bsica da Soluo Bsica Vivel atual associada
com a equao r acima ser substituda por X
S
.
A
)
`
s i,
i
s i, , A
b
0 > A
Min
=
s r
r
A
b
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
89
Artifcio para aplicar as etapas (A) e (B) do Mtodo Simplex.
Considere o exemplo de minimizao usado na visualizao da
etapa (B), j colocado numa forma cannica:
(3) 4 = 5X + 4X Z
(2) 6 = 2X 2X + X
(1) 5 = 3X + 2X + X
4 3
4 3 2
4 3 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Minimizao
90
VB X
1
X
2
X
3
X
4
b
X
1
1 0 2 3 5
X
2
0 1 2 -2 6
No h , assim a
soluo atual tima.
|
|
|
|
|
.
|
\
|
|
|
|
|
|
.
|
\
|
=
0
5/2
1
0
=
*
*
*
*
*
4
3
2
1
X
X
X
X
X
Z* = - 6
-Z 0 0 -4 5 -4
X
3
1/2 0 1 3/2 5/2
X
2
-1 1 0 -5 1
-Z 2 0 0 11 6
0 < Cj
Operacionalizao da aplicao das etapas (A) e (B):
+
+
(5/2) menor quociente X
1
sai
(6/2)
| X
3
entra
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex - Maximizao
91
Modelo de Programao Linear com funo objetivo de
maximizao.
Etapa (A):
Soluo bsica vivel atual ser tima
Etapa (B):
A varivel X
S
que entra ter > 0, para possibilitar uma
melhoria (aumento) no valor da funo objetivo associado com a
Soluo Bsica Vivel atual.
Importante: as operaes de pivoteamento no se alteram.
/ - C > 0. j
CS
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex (maximizao)
92
Exemplo de modelo de maximizao resolvido pelo Mtodo
Simplex.
Modelo original Modelo na forma padro
Max Z = 3X
1
+ 5X
2
Max Z = 3X
1
+ 5X
2
s. a: s. a:
> >
s
s
s
0 X 0, X
18 2X + 3X
6 X
4 X
2 1
2 1
2
1
> 1,5 = i 0, X
18 = X + 2X + X 3
6 = X + X
4 = X + X
i
5 2 1
4 2
3 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
93
VB X
1
X
2
X
3
X
4
X
5
b
X
3
1 0 1 0 0 4
X
4
0 1 0 1 0 6
X
5
3 2 0 0 1 18
-Z 3 5 0 0 0 0
X
3
1 0 1 0 0 4
X
2
0 1 0 1 0 6
X
5
3 0 0 -2 1 6
-Z 3 0 0 -5 0 -30
X
3
* 0 0 1 2/3 -1/3 2
X
2
* 0 1 0 1 0 6
X
1
* 1 0 0 -2/3 1/3 2
-Z* 0 0 0 -3 -1 -36
Soluo tima
X*
1
= 2, X*
2
= 6,
X*
3
= 2, X*
4
= X*
5
= 0,
Z* = 36
Entra X
2
, Sai X
4
Entra X
1
, Sai X
5
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
94
Comentrios Gerais
Considere um modelo de Programao Linear na forma padro que
seja de minimizao.
(1) Ocorrncia de Empate na Entrada:
Escolher para entrar a varivel no-bsica X
s
associada ao
menor valor de coeficiente de custo relativo < 0.
(Regra de entrada de Dantzig)
CS
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
95
(2) Identificao de Soluo Ilimitada:
Pode ser feita a identificao de soluo ilimitada durante a
aplicao da etapa (B).
Se houver alguma varivel no-bsica X
s
para entrar que tenha
coeficientes s 0, em todas as equaes i (= 1,..., m) do
sistema de restries.
s i A ,
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
96
Exemplo de Modelo com Soluo Ilimitada:
Seja a Soluo Bsica Vivel abaixo, associada a forma cannica (S):
X
1
= 5, X
2
= 6, X
3
= X
4
= 0, Z = 4
(S):
(3) 4 = 5X + 4X Z
(2) 6 = 2X 2X X
(1) 5 = 3X + 2X X
4 3
4 3 2
4 3 1
Observar que = 4 < 0 X
3
deve entrar. Quem vai sair?
De (1): X
1
= 5 + 2X
3
quando X
3
| X
1
| , X
2
| e Z+
De (2): X
2
= 6 + 2X
3
Assim o modelo apresenta soluo ilimitada com Z .
C3
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
97
(3) Interpretao geomtrica do Mtodo Simplex:
Em cada iterao do Mtodo Simplex (Etapa (A) + Etapa
(B)) h um deslocamento de uma Soluo Bsica Vivel para
outra que apresenta um valor para a funo objetivo melhor.
Em termos da resoluo grfica: numa iterao h a
locomoo de um ponto extremo para outro ponto extremo
adjacente na regio vivel do modelo em questo.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
98
Exemplo:
Modelo original
Min Z = 3X
1
5X
2
s. a:
>
s
s
s
2 1, = i 0, X
18 2X + 3X
6 X
4 X
i
2 1
2
1
X
2
Regio
vivel
X
1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
99
>
s
s
s
2 1, = i 0, X
18 2X + 3X
6 X
4 X
i
2 1
2
1
> 5 1, = i 0, X
18 = X + 2X + 3X
6 = X + X
4 = X + X
i
5 2 1
4 2
3 1
s. a:
s. a:
Exemplo:
Modelo original Modelo na forma padro
Min Z = 3X
1
5X
2
Min Z = 3X
1
5X
2
X
2
Regio
vivel
X
1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
100
VB X
1
X
2
X
3
X
4
X
5
b
X
3
1 0 1 0 0 4
X
4
0 1 0 1 0 6
X
5
3 2 0 0 1 18
-Z -3 -5 0 0 0 0
X
3
1 0 1 0 0 4
X
2
0 1 0 1 0 6
X
5
3 0 0 -2 1 6
-Z -3 0 0 5 0 30
X
3
* 0 0 1 2/3 -1/3 2
X
2
* 0 1 0 1 0 6
X
1
* 1 0 0 -2/3 1/3 2
-Z* 0 0 0 3 1 36
Soluo bsica vivel tima: X
1
* = 2, X
2
* = 6, X
3
* = 2, X
4
* = X
5
* = 0, Z* = 36
Resoluo do exemplo para interpretao geomtrica do Mtodo Simplex:
Quadro 1: Entra X
2
Sai X
4
Quadro 2: Entra X
1
Sai X
5
Quadro 3 (timo)
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
101
Quadro 2:
X
1
= X
4
= 0,
Z = -30,
X
2
= 6, X
3
= 4, X
5
= 6.
Quadro 3:
X
4
*= X
5
* = 0,
Z* = -36, X
1
* = 2,
X
2
* = 6, X
3
* = 2.
Quadro 1:
X
1
= X
2
= 0,
Z = 0, X
3
= 4, X
4
= 6,
X
5
= 18.
X
2
Regio
vivel
X
1
Visualizao das iteraes
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
102
(4) Identificao de Solues timas Mltiplas:
Considere que h uma Soluo Bsica Vivel tima para um
modelo de minimizao, ou seja, tem-se Z* = Z* e todos > 0 para toda
varivel no-bsica X
s
.
A identificao da ocorrncia de Solues timas mltiplas feita,
no Quadro timo, quando h alguma varivel no-bsica X
j
com = 0.
Assim ao se escolher X
j
para entrar no conjunto das variveis
bsicas, no se alterar o valor timo Z* da funo objetivo.
Desta maneira, pode-se obter uma nova Soluo Bsica Vivel
tima na qual X
j
ser uma varivel bsica.
Fica caracterizada assim a existncia de mltiplas Solues timas.
j C
S C
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
103
Exemplo:
Modelo original Modelo na forma padro
Min Z = X
1
2X
2
Min Z = X
1
2X
2
S. a: S. a:
>
s
s
s
2 1, = i 0, X
9 2X + X
4 X
3 X
i
2 1
2
1
> 5 1, = i 0, X
9 = X + 2X + X
4 = X + X
3 = X + X
i
5 2 1
4 2
3 1
A seguir apresenta-se:
A resoluo grfica do modelo original.
A resoluo do modelo na forma padro pelo Mtodo Simplex.
Uma visualizao das iteraes desenvolvidas pelo Mtodo
Simplex sobre a regio vivel do modelo original.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
104
Resoluo grfica do exemplo com mltiplas Solues timas
Observao: X
A
* , X
B
* so solues bsicas viveis timas, Z* = 9
o valor timo da funo objetivo, a expresso geral da Soluo tima :
X* = o X
A
* + (1 o) X
B
* com 0 s o s 1.
(3,0) X
1
1
4
Z = - 6
Z* = - 9
3
3
X*
(0,4)
X
2
= X
A
*
= X
B
*
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
105
VB X
1
X
2
X
3
X
4
X
5
b
X
3
1 0 1 0 0 3
X
4
0 1 0 1 0 4
X
5
1 2 0 0 1 9
-Z -1 -2 0 0 0 0
Soluo tima geral:
X* = o X
A
* + (1 - o) X
B
*
,
com 0 s o s 1, e Z* = - 9
X
3
1 0 1 0 0 3
X
2
0 1 0 1 0 4
X
5
1 0 0 -2 1 1
-Z -1 0 0 2 0 8
X
3
* 0 0 1 2 -1 2
X
2
* 0 1 0 1 0 4
X
1
* 1 2 0 -2 1 1
-Z* 0 0 0 0 0 9
X
4
* 0 0 1/2 1 -1/2 1
X
2
* 0 1 -1/2 0 1/2 3
X
1
* 1 0 1 0 0 3
Z* 0 0 0 0 1 9
Resoluo do modelo na forma padro
Quadro 1: Entra X
2
e Sai X
4
Quadro 2: Entra X
1
e Sai X
5
Quadro 3: timo (X
A
*)
Quadro 4
timo
(X
B
*)
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
106
Visualizao das iteraes do Mtodo Simplex
Quadro 2:
X
1
= X
4
= 0,
X
2
= 4, X
3
= 3,
X
5
= 1, Z = -8
Quadro 3:
X
4
* = X
5
* = 0,
X
1
* = 1, X
2
* = 4,
X
3
* = 2, Z* = -9
Quadro 4:
X
3
* = X
5
* = 0,
X
1
* = 3, X
2
* = 3,
X
4
* = 1, Z* = -9
Quadro 1:
X
1
= X
2
= 0, X
3
= 3,
X
4
= 4, X
5
= 9,
Z = 0
X
A
X
B
X*
X
1
X
2
(0,0)
X* = o X
A
* + (1 -o) X
B
*,
onde 0 s o s 1
o caso, em termos
de resoluo grfica,
de um segmento de
reta timo.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Mtodo Simplex
107
Observao importante:
Se no Quadro 3, na coluna da varivel X
4
no houvesse algum
coeficiente , no se poderia efetuar o pivoteamento;
Ento este o caso, em termos da resoluo grfica, que a Soluo
tima uma semi-reta, da forma X* = oX
A
* com o > 1 .
0 > A 4 , i
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Pesquisa Operacional - UNESP / Campus de Guaratinguet
109
Considere um modelo de Programao Linear que esteja na forma
padro
Se todas as restries do modelo original (ainda no colocado na forma
padro) forem desigualdades do tipo s , tem-se uma forma cannica
inicial (ou seja, uma Soluo Bsica Vivel inicial) evidente, onde as
variveis bsicas sero as variveis de folga introduzidas para a reduo das
desigualdades para equaes equivalentes.
Se alguma restrio do modelo original for uma igualdade =, ou ainda
desigualdade do tipo > , a condio acima no ocorrer e no haver
uma Soluo Bsica Vivel inicial explcita.
Quando no h uma Soluo Bsica Vivel inicial deve-se utilizar algum
procedimento de inicializao para o Mtodo Simplex.
Procedimentos de inicializao para o Mtodo
Simplex
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
110
(1) Mtodo das Duas Fases.
Fase 1:
(a) Construo e resoluo de um modelo artificial
(b) Anlise da Soluo tima do modelo artificial
Fase 2:
Resoluo do modelo original utilizando como soluo inicial a Soluo
tima do modelo artificial.
(2) Mtodo do Big M.
Introduz variveis artificiais, nas equaes do sistema de restries
(exatamente como o mtodo das duas fases), e na funo objetivo original com
coeficientes penalizantes adequados, isto , M >>0 para minimizao e M <<0
para maximizao.
A seguir apresenta-se as bases do Mtodo das Duas Fases para inicializao do
Mtodo Simplex.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
111
Desenvolvimento do Mtodo das Duas Fases
Considere que o modelo de Programao Linear na forma padro
abaixo no apresenta uma Soluo Bsica Vivel inicial, isto , no h
uma forma cannica evidente.
Modelo original (na forma padro)
Min Z = C
1
X
1
+ C
2
X
2
+ ... + C
n
X
n
s.a:
> n 1, = i 0, X
b X A + ... + X A
.......... .......... .......... ..........
.......... .......... .......... ..........
b = X A + .... + X A
i
m = n mn 1 m1
1 n 1n 1 11
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
112
Fase 1: Construo e resoluo de um modelo artificial
O modelo artificial, a partir das equaes do sistema de restries
do modelo original ser:
com Y
1
, Y
2
, ..., Y
m
sendo as variveis artificiais no negativas.
Min W = Y
1
+ Y
2
+ .... + Y
m
s. a:
> > m 1, = j 0, Y ; n 1, = i 0,
b = Y + X A + ... + X A
.. .......... .......... .......... .......... .......... .......... ..........
b = Y + X A + ... + X A
b = Y + X A + ... + X A
j
m m n mn 1 m1
2 2 n 2n 1 21
1 1 n 1n 1 11
i X
A F. O. artificial sempre ser de Minimizao, qualquer que seja o Modelo Original.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
113
Observe que o modelo artificial est na forma padro com Soluo Bsica
Vivel inicial:
X
1
= X
2
= ... = X
n
= 0 (variveis no-bsicas)
Y
1
= b
1
, Y
2
= b
2
, ..., Y
m
= b
m
(variveis bsicas)
W = b
1
+ b
2
+ ... + b
m
.
Analisando o valor timo da funo objetivo W* do modelo artificial
pode-se concluir:
Caso 1: Se W* = 0 h pelo menos uma varivel bsica artificial Y
j
com
valor = 0.
Nesta situao conclui-se que o sistema de restries do modelo original
depende destas variveis artificiais no nulas para ser satisfeito. Assim o
Modelo Original invivel. No h a fase 2.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
114
Caso 2: se W* = 0 Y
1
* = Y
2
* = ... = Y
m
* = 0.
Conclui-se que o sistema de restries do Modelo Original
pode ser satisfeito apenas com as variveis X
i
.
Desta forma o Modelo Original vivel.
Subcaso 2.1: se todas as variveis artificiais so no-
bsicas na Soluo tima do modelo artificial.
Basta eliminar todas as variveis artificiais, substituir a
funo objetivo artificial pela original, e iniciar a fase 2.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
115
Subcaso 2.2: se alguma varivel artificial permanece como varivel bsica
na Soluo tima do modelo artificial. Observe que estas variveis devem
ser nulas, pois W* = 0.
Deve-se, atravs de operaes de pivoteamento, substituir estas variveis
artificiais bsicas por variveis originais, eliminar todas as variveis
artificiais no bsicas, substituir a funo objetivo artificial pela original, e
iniciar a fase 2.
Se no possvel substituir alguma varivel artificial bsica por uma
varivel original (pela inexistncia de elemento pivot), basta eliminar a
equao associada com a varivel artificial em questo (a equao uma
combinao linear das demais equaes do modelo original).
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
116
Exemplo de aplicao do Mtodo das Duas Fases
Modelo Modelo na forma padro
Min Z = -3X
1
- 5X
2
Min Z = -3X
1
- 5X
2
s. a: s. a:
>
>
s
s
1,2 = i 0, X
18 2X + 3X
6 X
4 X
i
2 1
2
1
> 5 1, = i 0, X
18 = X - 2X + 3X
6 = X + X
4 = X + X
i
5 2 1
4 2
3 1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Procedimentos de inicializao para o Mtodo
Simplex
117
Fase 1: construo do Modelo Artificial
Min W = Y
1
s. a: X
1
+ X
3
= 4
X
2
+X
4
= 6
3X
1
+ 2X
2
X
5
+ Y
1
= 18
X
i
0, i = 1,5; Y
i
0
Soluo bsica vivel inicial para o Modelo Artificial:
X
1
= X
2
= X
5
= 0 (variveis no-bsicas)
X
3
= 4, X
4
= 6, Y
1
= 18 (variveis bsicas)
W = 18
Pesquisa Operacional - UNESP / Campus de Guaratinguet
118
Exemplo de aplicao do Mtodo das Duas Fases
VB X
1
X
2
X
3
X
4
X
5
Y
1
b
X
3
1 0 1 0 0 0 4 Adequar a
X
4
0 1 0 1 0 0 6 funo
Y
1
3 2 0 0 -1 1 18 objetivo
-W 0 0 0 0 0 1 0
Fase 1: Anlise da Soluo
tima do Modelo Artificial
W* = 0
Caso 2.1: Modelo Original
vivel. No h variveis
bsicas artificiais. Eliminar
variveis artificiais,
substituir funo objetivo
artificial pela original.
Iniciar fase 2.
X
3
1 0 1 0 0 0 4
X
4
0 1 0 1 0 0 6 Quadro 1
Y
1
3 2 0 0 -1 1 18
-W -3 -2 0 0 1 0 18
Fase 1: Resoluo do Modelo Artificial
X
1
1 0 1 0 0 0 4
X
4
0 1 0 1 0 0 6 Quadro 2
Y
1
0 2 -3 0 -1 1 6
-W 0 -2 3 0 0 1 0
X
1
1 0 1 0 0 0 4
X
4
0 0 3/2 1 1/2 -1/2 3 Quadro 3
X
2
0 1 -3/2 0 -1/2 1/2 3
-W* 0 0 0 0 0 1 0
Transformar em
Zeros os coeficientes
das variveis
artificiais na F. O.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
119
VB X
1
X
2
X
3
X
4
X
5
b
X
1
1 0 1 0 0 4 Adequar a
X
4
0 0 3/2 1 1/2 3 funo
X
2
0 1 -3/2 0 -1/2 3 objetivo
-Z -3 -5 0 0 0 0
Exemplo de aplicao do Mtodo das Duas Fases
Soluo tima
(nica) do Modelo
Original:
X
1
* = 4, X
2
* = 6,
X
5
* = 6,
X
3
* = X
4
* = 0,
Z* = -42
Fase 2: Resoluo do Modelo Original
X
1
1 0 1 0 0 4
X
4
0 0 3/2 1 1/2 3 Quadro 3
X
2
0 1 -3/2 0 -1/2 3
-Z 0 0 -9/2 0 -5/2 27
X
1
* 1 0 0 0 0 4
X
5
* 0 0 3 2 1 6 Quadro 4
X
2
* 0 1 0 1 0 6 (timo)
-Z* 0 0 3 5 0 42
Coeficientes de
variveis
bsicas na F. O.
devem ser Zero
Pesquisa Operacional - UNESP / Campus de Guaratinguet
120
Visualizao das iteraes
Modelo
Min Z = -3X
1
- 5X
2
s. a:
Exemplo de aplicao do Mtodo das Duas Fases
>
>
s
s
(4) 1,2 = i 0, X
(3) 18 2X + 3X
(2) 6 X
(1) 4 X
i
2 1
2
1
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Visualizao da Iteraes do Mtodo das Duas Fases
121
Quadro 1:
W = 18,
Z = 0
(4, 0)
Quadro 2:
W = 6,
Z = -12
X
1
(4, 3)
Quadro 4: timo,
Z* = -42
Regio
Vivel
X
2
(2, 6)
(4, 6)
Quadro 3=
Quadro 3:
W = 0,
Z = -27
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Exerccios: Resolver graficamente e pelo
Simplex
123
1. Min Z = X
1
+ 2 X
2
X
1
+ X
2
3
s. a: 2X
1
+ X
2
2
X
1
, X
2
0 (R: Invivel)
2. Max Z = 6X
1
+ 10 X
2
3X
1
+ 5X
2
15
s. a: 5X
1
+ 2X
2
10
X
1
, X
2
0 R: h mais de uma soluo tima
(Segmento de reta timo)
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Exerccios
124
3. Max Z = 2X
1
+ 2X
2
X
1
- X
2
-1
s. a: - X
1
+ X
2
2
X
1
, X
2
0 (R: Soluo ilimitada)
4. Max Z = X
1
+ X
2
X
1
+ 4X
2
4
s. a: 3X
1
+ X
2
= 1
X
1
, X
2
0 Comentrio: Fica a Varivel Artificial na soluo tima do
Problema Artificial como Varivel Bsica, ela sai por
pivoteamento.
Pesquisa Operacional - UNESP / Campus de Guaratinguet
Exerccios
125
5. Max Z = X
1
+ X
2
2X
1
+ 3X
2
= 5
s. a: - 6X
1
- 9X
2
= - 15
X
1
X
2
0 Comentrio: 1a. equao
X
1
, X
2
0 combinao linear das demais.
6. Max Z = - 4X
1
+ X
2
3X
1
+ X
2
3
s. a: X
1
- X
2
- 1
4X1 X2 - 4
X
1
, X
2
0 R: H mais de uma soluo
tima (Semi-reta tima)