Professional Documents
Culture Documents
Aula baseada em diversas fontes: Integer programming de L. Wolsey, 1998. Pesquisa operacional de Arenales et al., 2007. Slides do Prof. Celso Carneiro Apostila Programao da produo, Prof. Marcos N. Arenales
Conceitos bsicos
FMBT/ AMC
forma geral
Onde N={1,...,n} (finito) o conjunto de subconjuntos factveis de n. (cada conjunto tem um custo cj e o objetivo escolher o melhor deles)
FMBT/ AMC
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
Necessidade das variveis inteiras (pela prpria caracterstica das variveis justificativa de Land e Doig e dos slides anteriores); Outra situao:
Necessitamos das variveis inteiras como um artifcio de modelagem. [em particular, vejamos o caso em que necessitamos de variveis binrias]
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Custo de produo:
Como modelar de maneira linear ? Dica: precisamos do auxlio de uma varivel binria.
FMBT/ AMC
Seja uma varivel binria y, tal que y vale 1 se x>0 e y vale 0 caso contrrio.
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 linearizao
FMBT/ AMC
FMBT/ AMC
Linearizaes
Introduzimos duas variveis tais que:
FMBT/ AMC
Linearizaes
pelo teorema:
FMBT/ AMC
Linearizaes
Com equaes similares para g(x), temos:
E uma ltima restrio, indicando que apenas uma das duas situaes ocorre:
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
Selecionar subconjuntos de um conjunto inicial de forma a cobrir, particionar ou empacotar o conjunto inicial.
FMBT/ AMC
Problemas de cobertura/partio/empacotamento
FMBT/ AMC
w: (3)
FMBT/ AMC
Cobertura
Exemplo:
x y w z
FMBT/ AMC
De maneira geral
Cobertura
Empacotamento
Particionamento
FMBT/ AMC
Caixeiro viajante
FMBT/ AMC
FMBT/ AMC
Formulao matemtica
FMBT/ AMC
(Miller-Tucker-Zemlin constraints)
FMBT/ AMC
Miller-Tucker-Zemlin
Para um dado arco (i,j) na soluo: xij = 1 Para cada (i,j) que no contm a origem, isso implica:
u2 u1 u3
FMBT/ AMC
Miller-Tucker-Zemlin
E para o TSP ?
adicionar origem na restrio do AP
FMBT/ AMC
Miller-Tucker-Zemlin
Forma mais moderna:
MTZ (Desrochers-Laporte)
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 g1
g2
FMBT/ AMC
diversas outras...
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
FMBT/ AMC
Localizao de facilidades
Pizzolato, N.D., Barcelos, F.B. & Nogueira Lorena, L.A., 2004. School location methodology in urban areas of developing countries. International Transactions in Operational Research, 11, 667-681.
FMBT/ AMC
pos:
99 100
Onde devemos construir uma escola de modo que as crianas andem o menos possvel ? Matematicamente: Min i=1...5 ci onde ci a quantidade caminhada por cada criana.
FMBT/ AMC
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
FMBT/ AMC
Para o n origem:
Para o n destino:
FMBT/ AMC
FMBT/ AMC
D 1 E
3 H 2 1
20
F 2
1 G
FMBT/ AMC
20
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