D:\874018081.doc 22/06/17 Métodos de Otimização I – Socorro Rangel SISTEMAS CANÔNICOS Considere o seguinte problema de otimização linear na forma padrão: max Z cx s.a Ax b (1) x0 onde: c, x R n , A R mxn , b R m e A possui posto igual a m. Uma solução básica do sistema (1) pode ser obtida selecionando um conjunto de m colunas L.I. de A para formar uma sub-matriz básica B. Considerando, sem perda de generalidade, que B é composta pelas m-primeiras colunas de A o sistema em (1) pode ser rescrito como: Ax b [B : N ] x b fazendo a partição adequada no vetor x, para permitir a multiplicação matricial, temos: x [B : N ] B b xN Bx B Nx N b (2) Como B é uma matriz inversível o sistema pode ser reescrito como: B 1 Bx B B 1 NxN B 1b Ix B B 1 NxN B 1b (3) Fazendo: A B 1 N , b B 1b (3) pode ser reescrito como: IxB AxN b (4) O sistema (4) é chamado de sistema canônico relativo a base B associado ao sistema (1), pois considerando: x B x1 , x2 ,, xm x N xm1 , xm 2 ,, xn e a variável básica xi , i 1,, m possui coeficiente igual a i na i-ésima equação e coeficiente igual a zero nas demais equações. A solução básica associada ao sistema canônico é: x B b e x N 0 , isto é: x1 b1 , x2 b 2 ,, xm b m ; xm1 xm2 xn 0 Efetuando as multiplicações, o sistema (4) pode ser escrito como: 1 D:\874018081.doc 22/06/17 a 1,m 1 x m 1 a 1 j x j a 1n x n b1 x1 a 2,m 1 x m 1 a 2 j x j a 2 n x n b 2 x2 (5) x m a m ,m 1 x m 1 a m, j x j a mn x n bm onde a ij , b i são constantes. Isolando o valor das variáveis básicas em (5) temos: x1 b1 a1m1 xm1 a1 j x j a1n xn x2 b 2 a 2 m1 xm1 a 2 j x j a 2 n xn (6) xm b m a m m1 xm1 a mj x j a mn xn O valor da função objetivo associado à base B pode ser obtido facilmente através do sistema canônico (5). Seja Z c T x c1 x1 c2 x2 cm xm cm1 xm1 c j x j cn xn Usando as expressões obtidas em (6) temos: c b Z c1 b1 a1m1 xm1 a ij x j a1n xn 2 2 a 2 m1 xm1 a 2 j x j a 2 n xn cm b m a m m1 xm1 a mj x j a mn xn cm1 xm1 c j x j cn xn Efetuando os produtos e agrupando os termos semelhantes temos: Z c1 b1 c2 b 2 cm b m c c m 1 j c j a1 j c2 a 2 j cm a mj x j c n c1 a1m1 c2 a 2 m1 cm a m m1 xm1 c1 a1n c2 a 2 n cm a mn xn Fazendo: Z 0 c1 b1 c2 b 2 cm b m e c j c j c1 a1 j c2 a 2 j cm a mj temos que: Z Z 0 c m1 xm1 c j x j c n xn 2 p/ j m 1, m 2,, n D:\874018081.doc 22/06/17 Como xm1 x j xn 0 o valor de Z relativo à base B é Z = Z0 Observação: Multiplicar o sistema (2) por B 1 é equivalente a efetuar uma série de pivoteamentos na matriz A, aumentada pelo vetor b, isto é [ Ab] [ B : N b] para transformá-la em: [ I : B 1 N B 1b] = [ I : Ab] Os passos principais da operação de pivoteamento são: Considerando como elemento pivô o termo a rs x s , onde ars 0 1 - Susbstitua a r-ésima equação pela r-ésima equação multiplicada por 1 / a rs ; 2 - Para cada i 1,, m, i r substitua a i-ésima equação pela soma da i-ésima equação e a résima equação obtida em 1 multiplicada por (-ais) Exemplo: Considere o problema max Z x1 2 x 2 s.a x1 x 2 x3 2 2 x1 x 2 x 4 6 (7 ) x1 , x 2 , x3 , x 4 0 O sistema: x1 x2 x3 2 2 x1 x2 x4 6 já é um sistema canônico relativo à base formada pelas variáveis x3 e x4. Por que? Como encontrar o sistema canônico associado ao sistema (7) relativo à base formada pelas variáveis x1 e x2? Vamos efetuar as operações de pivoteamento, escolhendo como elemento pivot o termo a11x1 de (7) Passo 1 – Multiplicar a 1a equação por (-1). A equação resultante é: x1 x2 x3 2 3 D:\874018081.doc 22/06/17 Passo 2 – Substituir a 2a equação pela soma da 2a equação e a 1a equação obtida em 1 multiplicada por (-2). Temos então: multiplicar a 1a equação por (-2): 2 x1 2 x2 2 x3 4 e somar com a 2a equação: 2 x1 x2 2 x1 2 x2 2 x3 x4 6 4 3x2 2 x3 x4 10 O sistema obtido após esta 1a operação de pivoteamento é: x1 x 2 x3 2 (8) 3x 2 2 x3 x 4 10 que ainda não é um sistema canônico reativo à base formada por x1 e x2. (Por que não?) Vamos então fazer uma segunda operação de pivotemento. Considerando como elemento pivot o termo a22 x2 de (8) temos: Passo 1- Multiplicar a 2a equação por : (1/3): x2 2 3 x3 13 x4 10 3 (9) Passo 2 - Multiplicar a equação (9) por (1): somar com a 1a equação: x1 x2 x3 2 x2 2 3 x3 13 x4 10 3 x1 1 3 x3 13 x4 4 3 O sistema obtido após esta 2a operação de pivoteamento é: x1 13 x3 13 x4 4 3 x2 2 3 x3 13 x4 10 3 que é um sistema canônico relativo à base formada por x1, x2, pois cada variável básica possui coeficiente diferente de zero em apenas uma equação. Fazendo: x N ( x3 , x 4 ) 0 , temos x B ( x1 , x2 ) ( 4 3 , 10 3 ) Qual é o sistema canônico relativo à base formada por x1 e x4 e qual a solução básica associada? 4 D:\874018081.doc 22/06/17 Exercícios: 1) Resolva pelo método simplex: Max x1 Sujeito a: x1 x2 1 x1 6 x2 3 3x1 4 x2 12 x1 4 x1 , x2 0 2) Considere o seguinte problema de programação linear: min z 4 x1 9 x3 12 x4 3x5 7 x6 s. a. x1 x1 2 x2 x3 x4 2 x5 2 x6 3 x2 x3 2 x4 x5 2 x6 6 2 x3 2 x4 2 x5 x6 5 x j 0, j 1,...,6 A solução ótima para este problema é composta pelas seguintes variáveis básicas: x1 , x2 , x3 . Encontre o valor das variáveis na solução ótima e valor da função objetivo associado. 5