Captulo 3 Resoluo de problemas com variveis artificiais

3.1. Introduo
Vimos no captulo anterior que, a quarta regra da forma cannica sugere que qualquer restrio sob a forma de igualdade ou do tipo maior ou igual, ter que eventualmente incluir uma varivel artificial, de forma a garantir a existncia de uma soluo bsica inicial. Assim,
Sabemos que qualquer inequao do tipo maior ou igual passar a definir-

se por uma equao equivalente, atravs da subtraco de uma varivel excesso, qual em seguida se adiciona uma varivel artificial, que representar a varivel bsica inicial associada a essa restrio.
Se as restries forem de igualdade, como j so equaes no exigem a

introduo de qualquer varivel auxiliar. Contudo, estas restries requerem a introduo de uma varivel artificial sempre que no exista uma varivel que possa assumir o carcter de varivel bsica na soluo inicial. Tal como o prprio nome indica, a varivel artificial uma varivel auxiliar, introduzida apenas para permitir a formao de uma base artificial, necessria para a resoluo de qualquer problema de programao linear. As variveis artificiais no tm qualquer significado prtico real, pelo que no existe forma de as interpretar quando apresentam um valor positivo. Da que, aps a construo da base inicial, necessrio fazer sair da base tais variveis, para que a soluo ptima encontrada para o problema seja constituda apenas pelas variveis que apresentam significado prtico real as variveis de deciso e as variveis auxiliares. Existem dois mtodos de resoluo de problemas com variveis artificiais, ambos baseados no algoritmo do simplex, que vo permitir introduzir uma regra adicional que traduz a necessidade de anular esse tipo de variveis. Os dois mtodos so seguidamente apresentados.

28

3.2 O mtodo do grande M ou mtodo das penalidades

O mtodo do grande M utiliza uma forma de penalizao das variveis artificiais que as obriga a sair da base. As variveis artificiais so penalizadas pela atribuio de um coeficiente de valor muito elevado, cujo sinal depende do objectivo do problema em questo. Num problema de maximizao, subtraem-se funo objectivo, as variveis artificiais existentes, multiplicadas por um coeficiente M to grande quanto o desejado. Num problema de minimizao, somam-se funo objectivo, as variveis artificiais existentes, multiplicadas por um coeficiente M, igualmente de valor elevado. Geralmente, M concretizado por um valor da ordem dos milhares ou mesmo milhes, apenas quando se introduzem no computador os dados do problema a resolver. O seu valor portanto arbitrrio, desde que seja muito elevado. Nas resolues matemticas normais, por razes de ordem prtica, basta-nos manter M como se de um parmetro se tratasse. O mtodo do grande M, passa pelas seguintes fases de resoluo: Formulao do problema Transformao da funo objectivo Preparao da funo objectivo para a sua introduo no quadro do simplex Resoluo do problema pelo algoritmo do simplex Exemplo: Para o seguinte problema formulado, introduza-se a base de forma a ser possvel a sua resoluo:

Min Z x1 x2 suj a : x1 x2 2 x1 x2 1 x2 3 x1 , x2 0
Analisando o sistema de restries verificamos que para o transformar num sistema de equaes temos que introduzir duas variveis excesso (uma na 1 restrio e outra na 2 restrio) mais uma varivel de folga na 3 restrio. Proceda-se ento dessa forma: 29

Min Z x1 x2 0e1 0e2 0 s1 suj a : x1 x2 x1 x2 x2 x1 , x2 , e1 , e2 , s1 0

Aps a transformao do sistema de restries num sistema de equaes, vamos analisar este sistema para verificar se j existe uma sub-matriz identidade para formar a base inicial. No existe a base, mas existe um vector, o dos coeficientes associados varivel de folga, que sendo unitrio pode ser usado para ir formar base. Necessitamos ento de introduzir mais duas variveis, uma na 1 e outra na 2 restrio, de forma a formar a sub-matriz identidade. S podemos recorrer agora s variveis artificiais .

e1 e2

2 1 s1 3

Utilizando o mtodo das penalidades ou do grande M acima descrito, obteremos o seguinte problema que dizemos estar escrito na sua forma aumentada

Min Z x1 x2 0e1 0e2 0s1 Ma1 Ma2 suj a : x1 x2 e1 x1 x2 x2 e2 s1 a1 2 3 a2 1

x1 , x2 , e1 , e2 , s1 , a1 , a2 0
Obtemos agora uma base semi-artificial formada pelas variveis a1,a2 e s1. Estamos neste momento em condies de construir o 1 quadro de resoluo do problema. O primeiro objectivo eliminar as variveis artificiais da base formando assim uma base para o problema inicial, que no artificial. Quando isto acontecer, passmos resoluo do problema original. Neste mtodo, o quadro do simplex ligeiramente modificado no que diz respeito s duas ltimas linhas do quadro. A linha Zj deixa de existir e a linha Cj-Zj substituda pela linha (1) e linha (2). Na linha (1) inserem-se os valores independentes e na linha (2) os coeficientes associados a M. A linha (2) aquela que serve agora de linha de controlo da determinao da base para o problema inicial e tambm de entrada de variveis para a base. A base inicial est encontrada, tal como j foi referido, quando no existirem variveis artificiais na base.

30

Cj CB B Pj x0 M a1 2 M a2 1 0 s1 3 (1) 0 (2) 3

1 Quadro das penalidades 1 -1 0 0 0 x1 x2 e1 e2 s1 1 1 -1 0 0 -1 1 0 -1 0 0 1 0 0 1 1 -1 0 0 0 0 -2 1 1 0

M a1 1 0 0 0 0

M a2 0 1 0 0 0

Vejamos como calcular estes valores:

Z 0 2 M M 0 3M C1 Z 1 1 ( M M 0) 1 C 2 Z 2 1 ( M M 0) 1 2 M C 3 Z 3 0 ( M 0 0) 0 M C 4 Z 4 0 ( 0 M 0) 0 M C 5 Z 5 0 (0 0 0) 0 C 6 Z 6 M ( M 0 0) 0 C 7 Z 7 M (0 M 0) 0
Procede-se agora de forma idntica ao simplex apresentado anteriormente, aplicando a condensao de Gauss-Jordan. Neste problema, por ser de minimizao, entra para a base a varivel que na linha (2) tiver o valor mais negativo, neste caso a varivel x 2. Pelo critrio de sada (continua a ser o mesmo) esta varivel vai substituir a varivel a2.

Cj CB B Pj x0 M a1 1 -1 x2 1 0 s1 2 (1) -1 (2) 1

2 Quadro das penalidades 1 -1 0 0 0 x1 x2 e1 e2 s1 2 0 -1 1 0 1 1 0 -1 0 -1 0 0 1 1 0 0 0 -1 0 -2 0 1 -1 0

M a1 1 0 0 0 0

M a2 -1 1 -1 1 2

Calculam-se as linhas (1) e (2) como no quadro anterior e verifica-se que vai entrar x1 para a base e vai sair a1.

31

Cj CB B Pj 1 x1 -1 x2 0 s1 (1) (2)

x0 3/2 3/2 -1 0

3 Quadro das penalidades 1 -1 0 0 0 x1 x2 e1 e2 s1 1 0 -1/2 0 0 1 -1/2 -1/2 0 0 0 1/2 1/2 1 0 0 0 -1 0 0 0 0 0 0

M M a1 a2 -1/2 -1/2 -1/2 0 1 1 1

Calculadas novamente as linhas (1) e (2) para este 3 quadro, verifica-se que a linha (2) s contm valores nulos para as variveis do problema original e que no existem variveis artificiais na base. Isto significa que se identificou uma SBA para o problema original e que podemos passar a resolver esse problema atravs do simplex, partindo desta SBA: 1 Quadro Simplex Cj 1 -1 0 0 CB B Pj x0 x1 x2 e1 e2 1 x1 1 0 -1/2 -1 x2 3/2 0 1 -1/2 -1/2 0 s1 3/2 0 0 1/2 1/2 Zj -1 1 -1 -1 1 Cj-Zj 0 0 1 -1

0 s1 0 0 1 0 0

A partir deste momento utiliza-se a metodologia simplex para atingir a soluo ptima para o problema.

3.3 O mtodo das duas fases

O mtodo das duas fases um mtodo alternativo ao do grande M para a resoluo de problemas de P.L. que recorrem tcnica da base artificial. Tal como o nome indica, este processo de resoluo de problemas que incluem variveis artificiais apresenta duas fases distintas. 1 Fase Na primeira fase, o objectivo que se pretende atingir no mais do que a anulao das variveis artificiais. Com efeito, esta fase traduz-se na minimizao de uma funo objectivo auxiliar Z (independentemente do tipo de problema original) que representa o somatrio de todas as variveis artificias do problema

32

j representado na forma cannica, e no a funo que define o critrio de deciso do problema formulado. A primeira fase estar concluda quando se atinge uma das trs situaes seguintes possveis: Z=0 com todas as variveis artificiais nulas e no bsicas Neste caso, quando Z anulada, estamos finalmente perante uma soluo corrente e admissvel para o problema real, formulado inicialmente. Em termos grficos, corresponde ao primeiro vrtice estudado que j pertence fronteira da regio de possibilidades. Em termos reais, corresponde a uma situao que se pode finalmente considerar real e interpretvel ou que se pode por em prtica. Quando chegamos a esta realidade, atingiu-se o objectivo da primeira fase, pelo que se pode ento passar segunda fase. Z=0 com pelo menos uma varivel artificial bsica nula (soluo degenerada em relao a uma varivel artificial) Neste caso, embora se tenha atingido o objectivo da primeira fase anular todas as variveis artificiais do problema existe contudo, pelo menos uma varivel artificial na base. Sempre que esta situao se verificar, h que fazer entrar para a base uma varivel no bsica, que no seja artificial. Este procedimento ser uma forma de permitir que a varivel artificial saia da base, caso no se esteja perante um problema ilimitado, ou no se possa considerar essa varivel como candidata a sair da base. Aps a mudana de base podemos ento passar segunda fase deste processo, para encontrar a soluo ptima da situao real que se pretende optimizar. Z> 0 com pelo menos uma varivel artificial bsica positiva Quando atingimos uma soluo que no pode diminuir mais Z chegmos ao ponto ptimo ou soluo final da primeira fase sem atingir o

33

verdadeiro objectivo de tal procedimento, ou seja, sem conseguir anular todas as variveis artificiais. Quando nos deparamos com uma situao destas, somos obrigados a concluir que o problema inicial no tem soluo possvel, visto no ser vivel encontrar uma situao ptima em que todas as variveis e dados do problema tm uma explicao e um significado real prprios. Em termos grficos, estamos perante um problema que apresenta uma regio de possibilidades representada por um conjunto vazio. Assim, nunca conseguimos atingir uma soluo que verifique simultaneamente todas as restries. As restries violadas ou no verificadas so as que correspondem s variveis artificiais que no foi possvel anular. Estamos perante um problema impossvel.

2 Fase A segunda fase do mtodo consiste na excluso da funo objectivo Z, que j cumpriu a sua funo, e continuao da resoluo do problema, utilizando como funo objectivo o critrio de deciso definido inicialmente. Exemplo:

Min Z x1 x2 suj a : x1 x2 2 x1 x2 1 x2 3 x1 , x2 0
Transformao das restries em equaes:

Min Z x1 x2 0e1 0e2 0 s1 suj a : x1 x2 x1 x2 x2 x1 , x2 , e1 , e2 , s1 0 e1 e2 2 1 s1 3

34

Verificada a no existncia da soluo bsica admissvel, passamos escrita do problema auxiliar introduzindo as variveis artificiais necessrias para formar a base inicial:

Min Z ' a1 a2 suj a : x1 x2 x1 x2 x2 x1 , x2 , e1 , e2 , s1 , a1 , a2 0 e1 e2 a1 a2 2 1 s1 3

O 1 quadro da 1 fase do simplex, para resolver o problema auxiliar, o seguinte: Cj CB B Pj x0 1 a1 2 1 a2 1 0 s1 3 Zj 3 Cj-Zj 1 quadro da 1 fase 0 0 0 x2 e1 e2 1 -1 0 1 0 -1 1 0 0 2 -1 -1 -2 1 1

0 x1 1 -1 0 0 0

0 s1 0 0 1 0 0

1 a1 1 0 0 1 0

1 a2 0 1 0 1 0

Tal como se verificou no mtodo das penalidades, a varivel a entrar para a base x 2 e a que sai a2. Efectuadas as operaes de condensao de Gauss-Jordan, chega-se ao 2 quadro da 1 fase: Cj CB B Pj x0 1 a1 1 0 x2 1 0 s1 2 Zj 1 Cj-Zj 2 quadro da 1 fase 0 0 0 0 x1 x2 e1 e2 2 0 -1 1 -1 1 0 -1 1 0 0 1 2 0 -1 1 -2 0 1 -1 0 s1 0 0 1 0 0 1 a1 1 0 0 1 0 1 a2 -1 1 -1 -1 2

Ainda continua a existir uma varivel artificial na base. Analisando o quadro, verificamos que a varivel x1 pode entrar para a base. Pelo critrio de sada, vai substituir a varivel artificial a1. Obtm-se assim o 3 quadro da 1 fase:

35

Cj CB B Pj 0 x1 0 x2 0 s1 Zj Cj-Zj

x0 1/2 3/2 3/2 0

3 quadro da 1 fase 0 0 0 0 x1 x2 e1 e2 1 0 -1/2 1/2 0 1 -1/2 -1/2 0 0 -1/2 3/2 0 0 0 0 0 0 0 0

0 s1 0 0 1 0 0

1 a1 1/2 1/2 1/2 0 1

1 a2 -1/2 1/2 -3/2 0 1

Foi conseguido o primeiro objectivo na resoluo do problema. As variveis artificiais foram eliminadas da base, tendo-se encontrado uma base inicial para o problema original. Passa-se 2 fase do mtodo, na qual, aproveitando a base encontrada (e que se encontra a negrito dentro do quadro) se vai resolver o problema original. Construa-se o 1 quadro da 2 fase (pode-se retirar as colunas das variveis artificiais, embora com a chamada de ateno de que estes vectores coluna podem ser necessrios no captulo seguinte da matria) 1 quadro da 2 fase Cj 1 -1 0 0 P CB B j x0 x1 x2 e1 e2 1 x1 1/2 1 0 -1/2 1/2 -1 x2 3/2 0 1 -1/2 -1/2 0 s1 3/2 0 0 -1/2 3/2 Zj -1 1 -1 0 1 Cj-Zj 0 0 0 -1 0 s1 0 0 1 0 0

Analisando a linha Cj-Zj verificamos que esta soluo bsica admissvel ainda no ptima ( um problema de minimizao). Aplicando a condensao de Gauss-Jordan, prossegue-se at o conceito de ptimo de problemas de minimizao estar atingido

(C j Z j 0, j ) . Pelo critrio de entrada, varivel e2 entra para a base. H empate no

critrio de sada entre a varivel x1 e s1. Vamos fazer sair s1 da base. Cj CB 1 -1 0 2 quadro da 2 fase 1 -1 0 P j x0 x1 x2 e1 B x1 0 1 0 -1/3 x2 2 0 1 -2/3 e2 1 0 0 -1/3 Zj -2 1 -1 1/3 Cj-Zj 0 0 -1/3 0 e2 0 0 1 0 0 0 s1 -1/3 1/3 2/3 -2/3 2/3

36

Analisando novamente a linha Cj-Zj, verificamos que a condio de ptimo ainda no foi atingida. Entra a varivel e1 para a base. Como os coeficientes associados a esta varivel so todos negativos, no se pode aplicar o critrio de sada, pelo que a soluo deste problema ilimitada (uma das solues particulares de problemas de programao linear enunciadas anteriormente)

37