1

Programao Linear Inteira e Inteira Mista

Problenas com variveis inteiras

1. Gerao de portaflios de investimento

2 Localizao de instalaes (fbricas, armazns, postos de
atendimento, etc)
3. Problemas de cobertura
4. Problemas de partio
5. Problemas de alocao
6. Problemas de seqenciamento
7. Problemas de roteamento

Definio 1

Seja o problema de programao linear inteira mista (PPLIM)

apresentado na forma abaixo:

Max cT x
s.a: xM

{ }
onde M = x R n | Ax = b, 0 x u , x j =1,..., K I .
Definio 2

Seja o problema de programao linear inteira mista relaxado

(PPLIMR), obtido a partir de , na forma:

Max cT x
s.a: xM

{ }
onde M = x R n | Ax = b, 0 x u . Note-se que M M .

PESQUISA OPERACIONAL UFSC / CTC / EPS

 2

Proposio 1

i) Se no tem soluo, ento tambm no ter soluo;

ii) Se x * a soluo tima de e x *j I , j = 1,..., K , ento x *
a soluo tima de .

Proposio 2

Seja x * a soluo tima de , com x *j I pelo menos para algum

j = 1,..., K . Sejam os conjuntos:

{
M ( I ) = x R n | Ax = b,0 x u, x j x *j }
M ( II ) = {x R n
| Ax = b,0 x u , x j x }
*
j

onde v o maior inteiro menor que v , e v o menor inteiro

maior que v .

i) Se admite soluo tima x * , ento x * M ( I ) M ( II ) ;

ii) Se x(*I ) M ( I ) e x(*II ) M ( II ) so solues que maximizam cT x ,
sobre os conjuntos M ( I ) e M ( II ) , respectivamente, se
cT x(*I ) c T x(*II ) e se x(*I ) satisfaz as condies de integridade
definidas para , ento x(*I ) a soluo tima de .

PESQUISA OPERACIONAL UFSC / CTC / EPS

 3

Algoritmo branch and bound

Passo 1 Gere uma lista de PPL's inicialmente vazia. Resolva o

PPLIM desconsiderando as restries de integridade. Se
este problema no tem soluo vivel, ento PARE. O
PPLIM tambm no ter soluo vivel. Em caso
contrrio, inclua este PPL na lista de problemas a
resolver.

Passo 2 Escolha, entre os PPL's da lista a resolver, aquele cujo

valor da soluo tima seja o mximo. Se mais de um
problema atender esta condio, desempate de
qualquer forma, mas sempre a favor de solues que
satisfaas as condies de integridade do PPLIM.

Passo 3 Retire o problema escolhido da lista de problemas a

resolver e, se a sua soluo satisfizer as condies de
integridade, PARE. A soluo tima do PPLIM foi
encontrada. Em caso contrrio, tome uma varivel
inteira que no satisfaz a condio de integridade, isto
x *j I , e gere dois novos PPL's, pela agregao das
seguintes restries adicionais:

Problema 1 x j x *j

Problema 2 x j x *j

Resolva cada PPL gerado, e aqueles que tiverem

soluo tima, inclua na lista de problemas a resolver.

Passo 4 Se a lista estiver vazia, ento PARE, pois o PPLIM no

tem soluo vivel. Em caso contrrio volte ao Passo 2.

PESQUISA OPERACIONAL UFSC / CTC / EPS

 4

Observaes:

1. Na prtica costuma-se descartar os PPL's cujo valor da funo

objetivo so menores que (1 + ) z * , onde z* o valor da
funo objetivo da melhor soluo inteira conhecida at um
determinado estgio da busca;

2. A soluo dos PPL's descendentes podero ser obtidas com a

aplicao de tcnicas de anlise de ps-otimalidade. Em geral,
uma iterao dual suficiente para encontrar a soluo destes
novos problemas, partindo-se da soluo do PPL que lhes
deram origem.

PESQUISA OPERACIONAL UFSC / CTC / EPS

 5

Exemplo

Max 3x1 + 3x2 + 13x3

s.a: 3x1 + 6 x2 + 7 x3 8
6 x1 3x2 + 7 x3 8
0 x1 , x2 , x3 5
x1 , x2 , x3 I

PPL 1

X1<=2 Z=16,00 X1>=3

X1=2,67
X2=2,67
X3=0,00
PPL 2 PPL 3
X3<=0 Z=15,71 X3>=1
X1=2,00
Invivel
X2=2,00
X3=0,29
PPL 4 PPL 5
Z=13,00 X1<=0 Z=15,00 X1>=1
X1=2,00 X1=0,33
X2=2,33 X2=0,33
X3=0,00 X3=1,00
PPL 6 PPL 7
X3<=1 Z=14,86 X3>=2
X1=0,00
Invivel
X2=0,00
X3=1,14
PPL 8 PPL 9
X2<=0 Z=13,50 X2>=1
X1=0,00
Invivel
X2=0,17
X3=1,00
PPL 10 PPL 11
Z=13,00
X1=0,00
Invivel
X2=0,00
X3=1,00

PESQUISA OPERACIONAL UFSC / CTC / EPS