Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
Programao Inteira,
Formulaes
2 / 12
A Formulao Ideal
Exemplo
Planos de Corte
Notas
Maximize z = 6x + 5x Sujeito a
:
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
z = 27, 11 em
x1 = 1, 7 x2 = 3, 4
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
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
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
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