Escolar Documentos
Profissional Documentos
Cultura Documentos
PI1 Modelagem 1
PI1 Modelagem 1
Modelagem
Conceitos bsicos
FMBT/ AMC
forma geral
(problema de programao
linear inteiro)
FMBT/ AMC
(problema de programao
binria)
Formulando
Varveis parmetros.
Algoritmo Wolsey:
(Re)defina variveis
A partir das variveis, defina restries cujos pontos
factveis correspondam aos pontos factveis do problema.
inteiro ?
Voltando justificativa de Land e Doig:
FMBT/ AMC
FMBT/ AMC
trs situaes
Nos slides a seguir, vamos modelar trs problemas de
programao linear e estudar a necessidade (ou no)
do uso de variveis inteiras.
(Slides do Prof. Celso Carneiro Ribeiro
Universidade Federal Fluminense.)
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Custo de produo:
Como associar x e y ?
Restries:
y uma varivel que indica se 2,3 ou 4 foram produzidos
Outra forma ?
FMBT/ AMC
FMBT/ AMC
De maneira geral:
OU
FMBT/ AMC
Valor de M
FMBT/ AMC
FMBT/ AMC
ou
FMBT/ AMC
O que melhor ?
ou
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Proposio:
simpes: varivel binria
composta: modificao de uma proposio por uma
negao ou composio de proposies.
FMBT/ AMC
FMBT/ AMC
Tabelas verdade
FMBT/ AMC
Outras restries
forma lgica
FMBT/ AMC
linearizao
FMBT/ AMC
Linearizaes
Introduzimos duas variveis tais que:
FMBT/ AMC
Linearizaes
pelo teorema:
FMBT/ AMC
Linearizaes
Com equaes similares para g(x), temos:
FMBT/ AMC
Outro exemplo
Linearizar
(teorema)
FMBT/ AMC
Outro exemplo
Linearizar
(teorema)
FMBT/ AMC
FMBT/ AMC
Problemas clssicos
FMBT/ AMC
Problemas clssicos
Importncia histrica...
... e prtica.
Usados para modelar problemas reais e como
subproblemas em problemas maiores (e mais
frequentes na prtica).
FMBT/ AMC
Problema da mochila
Idia bsica:
diversos tens, cada um com um valor de utilidade e
um peso. Queremos levar a maior soma de utilidades
possvel (no podemos ultrapassar a capacidade da
mochila)
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
variveis:
FMBT/ AMC
FMBT/ AMC
bin packing
Encontrar o menor nmero de mochilas tal que todos
os itens sejam empacotados.
Problemas de designao
Alocar n tarefas a n agentes de modo a minimizar o
custo total de designao;
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Problemas de cobertura/partio/empacotamento
FMBT/ AMC
Problemas de cobertura/partio/empacotamento
FMBT/ AMC
Exemplo de aplicao:
localizao de facilidades de emergncia (corpo de
bombeiros, ambulncias)
x
y
w
w: (3)
Cobertura
Exemplo:
x
FMBT/ AMC
De maneira geral
Cobertura
FMBT/ AMC
Empacotamento
Particionamento
Caixeiro viajante
FMBT/ AMC
FMBT/ AMC
Formulao matemtica
FMBT/ AMC
(Miller-Tucker-Zemlin constraints)
FMBT/ AMC
Miller-Tucker-Zemlin
Miller-Tucker-Zemlin
E para o TSP ?
adicionar origem na restrio do AP
FMBT/ AMC
Miller-Tucker-Zemlin
Forma mais moderna:
MTZ (Desrochers-Laporte)
Prova:
xji = 0 : ui - uj + (n-1)xij n-2 (o que tnhamos antes)
xji =1 : ui - uj + (n-3) xji n-2
ui - uj + (n-3) n-2
ui - uj 1
(que o que se obtm com a equao original para (j,i).
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
g3
g4
g1 - g2 = 1
g2 - g3 = 1
g3 - g4 = 1
g4 - g1 = 1
FMBT/ AMC
g1
g2
diversas outras...
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Localizao de facilidades
FMBT/ AMC
pos:
99 100
P-medianas
cij: distncia do consumidor j facilidade i.
p: nmero de facilidades a instalar.
FMBT/ AMC
FMBT/ AMC
Dimensionamento de lotes
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Rotao de culturas
Objetivo: programar que culturas plantar em um lote
cultivvel, de modo a respeitar algumas restries
tecnicas e ecolgicas
FMBT/ AMC
Rotao de culturas
FMBT/ AMC
Rotao de culturas
FMBT/ AMC
Rotao de culturas
FMBT/ AMC
2
4
A
H
2
1
3
C
1
FMBT/ AMC
1
2
Para o n origem:
FMBT/ AMC
H
2
1
C
1
Para o n destino:
3
1
E
3
3
1
G
FMBT/ AMC
2
B
10
2
4
A
H
2
20
1
3
C
1
FMBT/ AMC
3
H
20
1
3
G
1
ERRADO! Por qu ?
FMBT/ AMC
FMBT/ AMC
Mais detalhes
As converses (aplicaes e resgate) s podem ser
efetuadas no incio de cada ms. H uma taxa
proporcional a ser paga para cada converso entre a
aplicao 1 e 2 (ou de 2 para 1).
H uma quantia inicial (y0) na aplicao 2.
FMBT/ AMC
Grafo associado
Eq. de balano:
FMBT/ AMC
Modelo
FMBT/ AMC
Problemas em rvores
Ahuja, R.; Magnanti, T. & Orlin, J.
Network flows
Prentice Hall, 1993
FMBT/ AMC
Problemas em rvores
Propriedades:
a) Uma rvore com n vrtices tem n-1 arcos.
b) Uma rvore tem no mnimo duas folhas
c) H um nico caminho entre quaisquer dois vrtices de uma
rvore
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Problema de Steiner
FMBT/ AMC
no necessrios
Problema de Steiner
FMBT/ AMC
no necessrios
novas variveis: yi
FMBT/ AMC
FMBT/ AMC
Alguns problemas
ligas (mistura)
fsforos ( mix de produo)
enfermeiras (escalonamento de horrios)
mochila
bin-packing
designao e designao generalizada
cobertura, partio e empacotamento
caixeiro viajante
carteiro chins
p-medianas
dimensionamento de lotes
linhas de montagem
Rotao de culturas
Problemas em grafos (caminho mnimo; projeto de redes)
Problemas em rvores (rvore mnima / problema de Steiner)
FMBT/ AMC
designao
FMBT/ AMC
alocao/ setup
FMBT/ AMC
eliminao de subciclos
FMBT/ AMC
Balano de estoque
Precedncias
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
exemplo
qual melhor ?
FMBT/ AMC
formulao ideal
FMBT/ AMC
retomando:
FMBT/ AMC