Vous êtes sur la page 1sur 6

Programao Linear

Prof. Moretti
Aula 19 - Uma aplicao de anlise de sensibilidade em Programao
Linear Inteira

Ax = b ( PLI )
x 0

x inteiro

Min z = c t x
sa

Para resolvermos um PLI , primeiro resolvemos o problema relaxado, isto ,


o problema sem a restrio de integralidade:

( PR )
Ax = b
x 0

Min z = c t x
sa

Seja x * a soluo tima de ( PR ). Se x * tem todos os components inteiros,


ento x * tambm soluo tima do ( PLI ). Caso contrrio, adicione uma
restrio que corte o ponto timo no-inteiro sem cortar as outras solues
inteiras factveis.
Portanto, considere a soluo tima de ( PR ) no-inteira, e seja br nointeiro.
Vamos assumir, sem perda de generalidade, que
variveis bsicas. A equao bsica associada com br :

xr +

Sejam:

j = m +1

rj

x j = br

(1 )

x1 , x 2 , ..., x m

so

Irj = maior inteiro y rj


Ir = maior inteiro br
Frj = a parte fracionria de y rj , ou seja , Frj = y rj Irj
Fr = a parte fracionria de br , ou seja , Fr = br Ir
Consequentemente: 0 Frj < 1

0 < Fr < 1 .

Substituindo estes resultados em ( 1 ), temos:


xr +

(I

j = m +1

rj

+ Frj ) x j = Ir + Fr

que pode ser reescrito como :


xr +

Irj x j Ir = Fr

j = m +1

j = m +1

rj

xj

(2)

Da equao ( 2 ) podemos tirar algumas concluses:


1) O lado esquerdo de ( 2 ) inteiro para todo x j inteiro.
2) O lado direito de ( 2 ) tambm inteiro, pois ele igual ao lado
esquerdo, que inteiro.
3) Fr

j = m +1

rj

x j 0 , pois Fr < 1 e o lado direito inteiro.

4) A soluo atual x * = ( x1* , x *2 , ..., x *m , 0 , ..., 0 ) no satisfaz a inequao


Fr

j = m +1

rj

x j 0 , pois Fr > 0 .

Portanto, a inequao

Fr

j = m +1

rj

x j 0 corta

mas no corta nenhum ponto inteiro factvel.

x * do resto do politopo,

Agora, adicione a restrio Fr

j = m +1

rj

x j 0 ao problema e appliqu o

Mtodo Dual Simplex para restaurar a factibilidade primal.


Este procedimento chamado de Plano Cortante de Gomory.
Exemplo:

Min z = 3x 1 + 4x 2
sa
3x 1 + x 2 4
x 1 + 2x 2 4
x1, x 2 0

A soluo tima do problema relaxado dada por:


z =

44
2
9
+
x3 + x4
5
5
5

x1 =

4
2
1
+
x3 x4
5
5
5

x2 =

8
1
3

x3 + x4
5
5
5

A soluo no inteira, selecione a varivel x 2 :

x2 +

1
3
8
x3
x4 =
5
5
5

Portanto, temos que:


I23 = 0
1
F23 =
5

I24 = 1
2
F24 =
5

I2 = 1
3
F2 =
5

E a nova restrio a ser adicionada :


F2

j I ( N )

F2 j x j 0

2
3
1

x3 x4 0
5
5
5

Que pode ser reescrita como:


1
2
3
x3 + x4
5
5
5
Adicionando este corte s equaes bsicas:
z =

44
2
9
+
x3 + x4
5
5
5

x1 =

4
2
1
+
x3 x4
5
5
5

x2 =

8
1
3

x3 + x4
5
5
5

x5 =

3
1
2
+
x3 + x4
5
5
5

Restaurando a factibilidade primal com o MDS obtemos:


z = 10 + x 4 + 2x 5
x1 = 2 x 4 + 2x 5
Soluo inteira tima
x2 = 1 + x4 x5
x 3 = 3 2x 4 + 5 x 5

Escrevendo as variveis
x 3 e x 4 em termos de
x1 e x 2 , podemos
observar qual foi o efeito do corte proposto na regio factvel:
x 3 = 3 x1 + x 2 4

Equaes originais
x 4 = x1 + 2x 2 4

E, geometricamente:

Exerccio: Resolva o PLI abaixo usando o Mtodo de Gomory.

Max z = 2x 1 3x 2
sa
x1 + x 2 3
3x 1 + x 2 6
x 1 , x 2 0 e inteiros