Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
onde um, e somente um, dos sinais , =, mantm-se para cada restrio, mas o sinal
podendo variar de uma restrio para outra. Alm disso, as variveis devem ser no
negativas, xi 0 , j = 1,2,...,r (as restries de no-negatividade) e devem maximizar
ou minimizar a forma linear
z = c1x1 + c 2 x2 + ... + c r x r
Supes-se que todas as aij, bi e cj so constantes conhecidas.
Vamos nos lembrar que qualquer grupo de xj que satisfaa o grupo de restries
chamado uma soluo. Qualquer soluo que satisfaa a restrio de nonegatividade denominada soluo vivel. Qualquer soluo vivel que maximize ou
minimize o valor da varivel z chamada de soluo vivel tima.
a11 a12
a21 a22
a11 a12
a21 a22
0 , ou
a11 a13
a
0 , ou 12
a21 a23
a22
a13
0
a23
+ a1n xn = b1
a21x1 + a22 x 2 +
+ a2n xn = b2
an1x1 + an 2 x 2 +
+ ann xn = bn
com
a11 a12
a21 a22
a1n
a2n
an1 an 2
ann
0.
Exemplo:
Ns demonstramos os resultados da discusso acima em um dos exemplos j vistos,
que por convenincia mostrado na Figura 1.
s.a.
1
1
x1 +
x2 = 1,0
40
60
1
1
x1 +
x2 = 1,0
50
50
x i 0,
i = 1,2
+ an xn
+ an xn
=b
Uma varivel xi com restrio de sinal xi 0 pode ser substituda por xi = -xi com
xi 0.
Finalmente, uma varivel irrestrita xi pode ser substituda por xi = xi xi, com xi,
xi 0.
(1)
x0
(2)
x, S 0
onde I a matriz identidade mm, e S = S1, S2 ,
, Sm
interessante notar que para cada restrio obrigatria do conjunto das m+n restries
da formulao original (1), uma das m+n variveis da formulao em forma padro
deve ser igual a zero. Especificamente, se a i-sima restrio tecnolgica obrigatria,
a varivel de folga correspondente Si ser igual a zero. De forma anloga, se uma das
restries de sinal for obrigatria, ento a varivel xj ser igual a zero.
Desde que um ponto extremo da regio vivel da formulao (1) requere n restries
obrigatrias para sua definio, implica que n das n+m variveis na soluo
correspondente da formulao na forma padro (2) dever ser igual a zero. Alm
Exemplo:
Retornando ao exemplo anterior, fcil ver que sua formulao na forma padro a
seguinte:
s.a.
1
1
x1 +
x 2 + S1 = 1,0
40
60
1
1
x1 +
x 2 + S2 = 1,0
50
50
x i , Si 0,
i = 1,2
(3)
1
1
x1 +
x2 = 1,0
40
60
1
1
x1 +
x2 = 1,0
50
50
os quais resultam das restries tecnolgicas na forma padro, a partir da eliminao
das variveis no-bsicas.
Por outro lado, consideremos o ponto B da regio vivel, o qual a soluo tima para
este exemplo. J foi mostrado que este ponto definido pela juno da segunda
restrio tecnolgica e a restrio de sinal imposta sobre a varivel x1. Por isto, neste
ponto S2 = x1 = 0, e a base correspondente formada pelas variveis x2 e S1. Para
calcularmos os valores destas variveis ns resolvemos o sistema de equaes:
1
x2 + S1 = 1,0
60
1
x 2 = 1,0
50
Finalmente, a soluo bsica definida pela base {x1, S1} implicar que x2 = S2 = 0, e
portanto, o ponto correspondente no plano (x1, x2), F, definido pela juno da
segunda restrio tecnolgica e a restrio de sinal da varivel x2. Resolvendo o
sistema de equaes:
1
x1 + S1 = 1,0
40
1
x1 = 1,0
50
ns obtemos x1 = 50 e S1 = - . Esta soluo bsica no vivel, j que o ponto F no
um ponto extremo da regio vivel.
No exemplo acima, os pontos extremos B e C so adjacentes, no sentido que eles
esto ligados por um lado da regio vivel. Isto se reflete na estrutura das bases
correspondentes pelo fato de que eles diferem somente em uma restrio obrigatria.
Esta observao pode ser generalizada para o caso n-dimensional: pontos extremos
conectados por bordas da regio vivel tm n1 restries obrigatrias comuns e,
portanto, suas bases correspondentes iro se diferenciar somente em uma varivel.
Por esta razo, ns temos a seguinte definio:
5. O algoritmo Simplex
Nas aulas anteriores ns estabelecemos os seguintes resultados importantes:
Se um problema de PL tem uma soluo tima limitada, ento existe um ponto extremo
da regio vivel que timo.
(4)
Por outro lado, a viabilidade da base acima, B0 = {S1,S2}, foi estabelecida pelo fato de
que os coeficientes do lado direito das restries em sua forma cannica em relao
base B0 so no-negativos. Vamos abordar o problema de como calcular uma SVB
inicial no caso mais geral onde uma no estar prontamente disponvel por inspeo,
mais frente.
1
1
x2 + S1 = 1,0 S1 = 1,0
x2
60
60
1
1
x2 + S1 = 1,0 S1 = 1,0
x2
50
50
Notar que medida que x2 cresce, tanto S1 e S2 decrescem. Obviamente, x2 no pode
crescer alm de um valor que faa qualquer um dos S1 e S2 tornarem-se negativos.
Ento, o aumento permitido mximo para x2 obtido pela resoluo do sistema de
inequaes:
10
S1 = 1,0
S1 = 1,0
1
x2 0
60
1
x2 0
50
(5)
Assim sendo,
1
1
x 2 min 60
1
1
50
(6)
bi
: aij > 0
aij
(7)
A varivel que est deixando a base qualquer uma daquelas que correspondem a
uma restrio tecnolgica com ndice i que minimizem a equao (7); de fato, fixando xj
ao valor mnimo leva estas variveis a zero. Assim sendo, em nosso caso, a varivel
que deixar a base S2, e a nova SVB B1 = {S1 , x 2 } . O novo valor objetivo
(melhorado) z = 40050 = 20.000.
Obtendo a forma cannica em relao nova SVB: Pivotando a varivel que est
entrando
Neste ponto, ns devemos trazer de volta a questo a respeito da condio de timo
da base B1. Notemos, entretanto, a forma que ns tratamos esta questo bem como
todas as outras questes com relao base B0 foram facilitadas pelo fato de que o
conjunto original de restries tecnolgicas na equao (4) estava na forma cannica
em relao a esta base. Para sermos capazes de tratar o mesmo conjunto de questes
em relao base B1, ns devemos transformar o conjunto original de restries para a
forma cannica em relao a esta nova base.
Para realizar esta transformao, em primeiro lugar, ns reescrevemos as equaes do
problema original na forma:
z 200 x1
1
x
40 1
1
50
x1
400 x 2
1
+ 60
x2
1
+ 50
x2
= 0 ,0
= 1,0
+ S1
+ S2
(8)
= 1,0
11
coluna da varivel objetivo z. Esta uma outra maneira de caracterizar o fato de que o
tableau acima est na forma cannica em relao s variveis S1, S2.
Conseqentemente, para obter o tableau correspondente base B1 = {S1 , x 2 } , ns
z 200 x1
1
40
400 x 2
+
x1
1
60
x2
+ S1
+ x2
x1
+ 50 S2
0 ,0
1,0
(9)
= 50 ,0
z 200 x1
1
120
400 x 2
+ S1
x1
+ x2
x1
56 S2
+ 50 S2
0 ,0
1
6
(10)
= 50 ,0
z 200 x1
1
120
20.000 S2
+ S1
x1
x1
+ x2
5
6
S2
+ 50S2
= 20.000 ,0
=
=
1
6
(11)
50 ,0
Este novo tableau est na forma cannica em relao base B1. Como era esperado,
a transformao forneceu tambm (automaticamente) os valores das novas variveis
bsicas e o valor da funo objetivo correspondente nova base B1 (ou seja, o lado
direito da Linha-0).
Considerando os sinais dos coeficientes da Linha-0 neste novo tableau, ns podemos
ver que aumentando o valor de qualquer varivel no-bsica a partir de zero ter um
efeito de diminuio no valor objetivo. Assim sendo, ns podemos concluir que B1
uma base tima para o nosso exemplo. Os valores timos para as variveis bsicas
so: S1 = 1 6 e x 2 = 50 ,0 , e o valor objetivo timo igual a z* = 20.000 ,0 .
No devemos nos esquecer que para esta verso bsica do Simplex funcionar, todas
as restries devem ser do tipo e todas as variveis de deciso, bem como os
coeficientes do lado direito devem ser no-negativos.