A Formulao Ideal

Planos de Corte
Notas

Programao Inteira
Formulaes
Haroldo Gambini Santos
Universidade Federal de Ouro Preto

30 de agosto de 2011

Programao Inteira,

Formulaes

1 / 12

A Formulao Ideal
Contedo

Planos de Corte
Notas

A Formulao Ideal Planos de Corte

Programao Inteira,

Formulaes

2 / 12

A Formulao Ideal
Exemplo

Planos de Corte
Notas

Maximize z = 6x + 5x Sujeito a
:

15x1 + 7x2 2x1 + 4x2 x1 , x2

49 17 Z+

Programao Inteira,

Formulaes

3 / 12

A Formulao Ideal

Planos de Corte
Exemplo

Maximize: Sujeito a:

Notas

6x1 + 5x2
4 3 2 1 4 3 2 1 4 3 2 1 4 3 2 1

15x1 + 7x2 49 2x1 + 4x2 17 x1 , x2 Z+

e

z = 27, 11 em
x1 = 1, 7 x2 = 3, 4

No ponto inteiro! timo inteiro: z = 22 em

x1 = 2
e

x2 = 2

Programao Inteira,

Formulaes

4 / 12

A Formulao Ideal

Planos de Corte
A Formulao Ideal

Maximize: Sujeito a:

Notas

6x1 + 5x2
4 3 2 1 4 3 2 1 4 3 2 1

15x1 + 7x2 49 2x1 + 4x2 17 x1 , x2 Z+

Substituir por ...

2x1 + 2x2 8 6x1 + 3x2 18 x1 , x2 R+

formulao ideal
corresponde a envoltria convexa dos pontos inteiros vlidos

1
5 / 12

Programao Inteira,

Formulaes

A Formulao Ideal
A Formulao Ideal

Planos de Corte
Notas

Teorema

Quando o poliedro denido pelas restries dene a envoltria convexa das solues inteiras vlidas, o Programa Inteiro pode ser resolvido como um Programa Linear, ou seja, as restries de integralidade podem ser ignoradas e a soluo tima fornecida para esse problema relaxado ainda assim ser uma soluo inteira.

Programao Inteira,

Formulaes

6 / 12

A Formulao Ideal
Planos de Corte

Planos de Corte
Notas

Maximize 6x + 5x Sujeito a
1

4 3 2 1

15x1 + 7x2 49 2x1 + 4x2 17 x1 , x2 Z+

Como colocar uma restrio adicional que invalide a soluo fracionria corrente () ?

Problema

Programao Inteira,

Formulaes

7 / 12

A Formulao Ideal
Cortes

Planos de Corte
Notas

Considere a restrio: restrio satisfeita pela sol. fracionria (x1 = 1, 7 e x2 = 3, 4). vamos gerar outra restrio dividindo a primeira por 2. do lado esquerdo somente temos coecientes inteiros e o valor das variveis tambm deve ser inteiro. Desse modo, a parte fracionria do lado direito no deve ser aproveitada: A restrio acima denomina-se Desigualdade Vlida ou Corte . Ela invalida a soluo fracionria, mas no invalida nenhuma soluo inteira vlida.
Programao Inteira,

2x1 + 4x2 17

x1 + 2 x2 8, 5

x1 + 2 x2 8

Formulaes

8 / 12

A Formulao Ideal
Cortando

Planos de Corte
Notas

4 3 2 1

4 3 2 1

Soluo Inicial:
x1 = 1, 67 x2 = 3, 4 z = 27, 11

Com o corte:
x1 = 1, 8 x2 = 3, 1 z = 26, 4
2

Programao Inteira,

Formulaes

9 / 12

A Formulao Ideal
Planos de Corte

Planos de Corte
Notas

Insero de Cortes
formulao resultante mais forte (mais prxima da formulao ideal limite dual possivelmente melhor: aproximando-se do timo do programa inteiro

Pergunta

No caso de se obter uma soluo fracionria, sempre pode-se encontrar um corte que a invalide ?

Programao Inteira,

Formulaes

10 / 12

A Formulao Ideal
Planos de Corte de Gomory

Planos de Corte
Notas

Gomory, R.E. Outline

of an algorithm for integer solutions to linear programs. Bull. Amer. Math. Soc.,
64(5), pp. 275-278, 1958.

Programao Inteira,

Formulaes

11 / 12

A Formulao Ideal
Separao

Planos de Corte
Notas

O problema de encontrar uma desigualdade vlida no satisfeita pela soluo fracionria chamado de Problema de Separao .

Programao Inteira,

Formulaes

12 / 12