Cortes

Esta aula est fortemente baseada no Captulo

8 de Wolsey.
Relembrando...
Melhorando o Branch-and-bound: suponha que...

z = max{ cx: x S}
Limitante dual
Como melhorar o limitante dual? Ele
umaSoluo de uma Relaxao.

Ideia: apertaro modelo (a situao ideal

obter o envoltrio convexo)

Maneiras de obt-lo:
Outras relaxaes (novos mtodos de
soluo surgem)
Adicionar restries (cortes)
Limitante dual
Como melhorar o limitante dual? Ele
umaSoluo de uma Relaxao.

Adicionar restries (cortes)

Cortes
Objetivo dos cortes:

Aproximar o conjunto de solues do PL

X ={Ax b e x 0}

da envoltria convexa de PLI

Cortes
Exemplo: Restries (vermelho) de um
problema de otimizao linear.
Cortes
Exemplo: Envoltria convexa do problema
linear inteiro (vrtices A,B,C,D ...F) (em azul).

F E
A

B C
Cortes
Exemplo: Exemplo de um corte vlido (em
verde).

F E
A

B C
Envoltria Convexa
Para alguns problemas como: problema de
designao, temos uma representao explcita
da envoltria convexa.

Em geral, o nmero de desigualdades que

descrevem completamente o conv(X)
exponencial.
Nosso objetivo
Estudar caminhos eficientes para tentar se
aproximar da conv(X) para um dado
problema.

O conceito fundamental o de

desigualdades vlidas.
Observaes:
Cada corte representa uma restrio
adicionada ao PL original.

Um corte nunca dever excluir um ponto de X

e, portanto, nunca atravessa a envoltria
convexa.

Cada nova restrio reduz a regio de

factibilidade do PL original, aproximando-a da
envoltria convexa.
Observaes
Para resolver o PLI basta resolver o PL
restrito envoltria convexa.

Ao se relaxar as restries de integralidade do

PLI, o PL resultante fornece um valor de
funo objetivo que um limitante superior
para o PLI (problema de mximo).
Observaes
Se o PL resultante do PLI relaxado for
infactvel ento o PLI tambm infactvel.

Mas se o PL resultante do PLI relaxado tem

soluo isso no implica que o PLI tem
soluo.
Exemplo: PL factvel e PLI
infactvel
(1/2,1)
max x1 x2
s.a 4 x1 x2 1
4 x1 x2 3
x1 , x2 0 e inteiros 1/4 1/2 3/4
Objetivo
Em resumo, nosso objetivo adicionar
restries (cortes) a X e formar um
conjunto T:
T {x | Ax b, A x b , x 0},
X T ( A x b um corte )

Tal que max cx com x T, tem soluo tima

inteira x*, ento x* resolve PLI.
Exemplo

max 2 x1 x2
s.a x1 x2 5 (I)
x1 x2 0 (II) x1= x2 =5/2
x1=11/4,
6 x1 2 x2 21 (III) x2 = 9/4
x1 , x2 0 e inteiros
Exemplo
max 2x1 x2
s.a x1 x2 5 (I)
x1 x2 0 (II)
6x1 2x2 21 (III) x1=11/4,
x1 x2 4 (IV) x2 = 9/4
x1= 13/4,
x1, x2 0 e inteiros x2 =3/4
Exemplo

max 2x1 x2
s.a x1 x2 5 (I)
x1 x2 0 (II)
x1=11/4,
6x1 2x2 21 (III) x2 = 9/4
x1 x2 4 (IV) x1= 3,

x1 3 (V) x2 = 2

x1, x2 0 e inteiros
Desigualdade Vlida
Definio. Uma desigualdade x 0 uma
desigualdade vlida para X Rn se x 0
para todo x X.

Em palavras ...
um desigualdade vlida se o conjunto X
situa-se em um dos semi-espaos definidos
pelo hiperplano
x = 0.
Arenales et al. (2007).
Desigualdade Vlida - exemplo
Proposio 3.2. A desigualdade

x b

vlida para

X {x Z : x b}
1
Desigualdade Vlida - exemplo

Exemplo: 3 x 7
Para o exemplo, o corte
Desigualdade Vlida
Duas questes importantes:

I) quais so as desigualdade boas e

teis?

II) Se conhecemos um conjunto de

desigual-dades para um problema, como
podemos us-lo para tentar resolver
uma instncia em particular?
Desigualdades Vlidas
Podem ser:

I) Inseridas a priori pr-processamento

II) Ser inseridas ao longo do processo de

busca da soluo tima mtodo de
plano de cortes
Pr-processamento
Algumas desigualdades Vlidas
Ex1. Considere o seguinte problema da
mochila 0-1:

Se x2 = x4 = 0 temos que 3 x1 + 2 x3 + x5 0,
mas deveramos ter um valor -2, logo:
x2 + x4 1
uma desigualdade vlida.
Algumas desigualdades Vlidas

Ex2. Considere o seguinte problema inteiro

misto:

fcil ver que uma desigualdade vlida para

o problema
x 5y
Algumas desigualdades Vlidas
y

x 10y
0x5e0y1
Algumas desigualdades Vlidas
y

x 10y x 5y
0x5e0y1 0x5e0y1
Problema de Localizao
Capacitado
iM
xij bj y j
jN
xij ai
xij 0 y j {0,1}
Sabemos que para todas as solues factveis
temos:
xij b j y j xij ai
Logo, uma desigualdade vlida :
xij min{ai , b j } y j
Ex4. Arredondamento de
variveis inteiras.

Considere a regio inteira: X = P Z4, em

que
P ={x R+4 : 13 x1+20 x2 + 11 x3 + 6x4 72}

Dividindo a restrio por 11 temos:

13 20 6 72
x1 x2 x3 x4
11 11 11 11
Ex4. Arredondamento de
variveis inteiras.
Sabemos que:
13 20 6 72
2 x1 2 x2 x3 x4 x1 x2 x3 x4
11 11 11 11
Como xi inteiro e todos os coeficiente de 2 x1 2 x2 x3 x4
tambm, podemos arredondar 72/11 para o menor inteiro
maior que 72/11, ou seja,

2 x1 2 x2 x3 x4 7
Esta uma desigualdade vlida.
Incluso de Desigualdades
vlidas a priori

Fonte: Arenales et al., 2007

Incluso de Desigualdades
vlidas a priori

Exemplo:

2x1 3x2 2x3 2x4 9

0 x1 5 0 x1 4
1 x2 3
0 x3 2
1 x4 3
Incluso de Desigualdades
vlidas a priori

Fonte: Arenales et al., 2007

Incluso de Desigualdades
vlidas a priori

Fonte: Arenales et al., 2007

Incluso de Desigualdades
vlidas a priori

Fonte: Arenales et al., 2007

 Cortes:
Procedimento geral
Planos de Cortes
Um dos primeiros mtodos utilizados para
resolver problemas de programao
inteira.
Planos de Cortes
Considere o seguinte problema de
programao inteira:
T
( PLI ) max c x
s.a Ax b
n
x Z
Vamos definir:
Planos de Cortes
Esquema Bsico do Mtodo

1. Relaxar as restries de integralidade

de (PLI)
2. Resolver o PL correspondente
3. Se o PL infactvel ou se a soluo
tima do PL for inteira FIM. Seno v
ao Passo 4.
4. Adicione cortes (restries) ao PL e
volte para o Passo 2.
Desigualdade Vlida
procedimento geral

Dado o conjunto:

tal que A uma matriz m x n com colunas

[a1 , a2 ,..., an ]
e seja
u Rm
Desigualdade Vlida
procedimento geral
O procedimento geral (conhecido como
procedimento de Chvtal-Gomory) descrito
por:
n
A desigualdade j j b
u T
a
j 1
x u T

vlida para X, pois u 0 e a x

j 1
j j b

A desigualdade vlida
para X, pois x 0
Desigualdade Vlida
procedimento geral
O procedimento geral (conhecido como
procedimento de Chvtal-Gomory)
descrito por:

A desigualdade

vlida para X, pois x inteiro, portanto

inteiro.
Desigualdade Vlida
procedimento geral

Teorema. Toda desigualdade vlida para X

pode ser obtida aplicando-se o
procedimento de Chvtal-Gomory um
nmero finito de vezes.
Desigualdade Vlida
procedimento geral
Exemplo 3.20 (Arenales et al., 2007)
Identifique uma desigualdade para cortar o
ponto (0,0,0,35/6) do conjunto
Desigualdade Vlida
procedimento geral
Exemplo. Escreva uma desigualdade vlida
para as restries a seguir. Supondo que
u = (1/5; 1/2).
5x1 2x2 9
x1 3x2 4
Desigualdade Vlida
procedimento geral
Exemplo. Escreva uma desigualdade vlida
para as restries a seguir. Supondo que
u = (1/5; 1/2).
a6

5x1 2x2 9
5

x1 3x2 4
1

b4 3 2 1 0 1 2 3 4 5 6 7 8 9 10 11 12

6
Desigualdade Vlida
procedimento geral
Exemplo. Escreva uma desigualdade vlida
para as restries a seguir. Supondo que
u = (1/5; 1/2).
5x1 2x2 9 Multiplicando por u

x1 3x2 4 0, 5x1 1, 9x2 2.8

Desigualdade Vlida
procedimento geral
Exemplo. Escreva uma desigualdade vlida
para as restries a seguir. Supondo que
u = (1/5; 1/2).
5x1 2x2 9 Multiplicando por u

x1 3x2 4 0, 5x1 1, 9x2 2.8

a6

c
2

b4 3 2 1 0 1 2 3 4 5 6 7 8 9 10 11 12

6
K. Roos. Discrete (and Continuous) Optimization. Disponvel em http://www.isa.ewi.tudelft.nl/roos
K. Roos. Discrete (and Continuous) Optimization. Disponvel em http://www.isa.ewi.tudelft.nl/roos
Como obter um corte
Por exemplo: Corte de Gomory ou Corte
Inteiro Misto

Neste curso no vamos estudar como obter

os cortes, para mais detalhes consultar o livro
do Wolsey.
O mtodo branch-and-cut
Importncia do pr-processamento, soluo
rpida e reotimizao, com boas estratgias de
busca

Heursticas para encontrar boas solues factveis

Filosofia do branch-and-cut: obter um limitante

dual "apertado" a cada n da rvore branch-and-
bound

"Vale-tudo": pr-processamentoa cada n,

heursticas primais a cada n, ...
O mtodo branch-and-cut
Trade-off: muitos cortes implicam pode
resultar emreotimizaomais lenta

No B&B, a cada n adicionamos limitantes

nas variveis

No B&C, adicionamos um conjunto de cortes

Referncia
Livro:
Integer Programming Laurence A. Wolsey, John
Wiley & Sons, Inc. (1998).
Material didtico professor Cid de Souza IC
UNICAMP (www.dcc.unicamp.br/~cid)
Pesquisa Operacional Arenales et al., Elsevier
Editora Ltda. (2007).
Material didtico da professora Kelly Poldi IMECC-
UNICAMP.
K.Roos.Discrete(andContinuous)Optimization.
Disponvel emhttp://www.isa.ewi.tudelft.nl/roos