Humberto José Longo. Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos TESE DE DOUTORADO

Documentos relacionados
Pedro Tiago Barbosa do Couto. Resolução de problemas de transporte rodoviário de cargas utilizando programação inteira DISSERTAÇÃO DE MESTRADO

Ricardo Fukasawa. Resolução de problemas de logística ferroviária utilizando programação inteira DISSERTAÇÃO DE MESTRADO

João Paulo de Freitas Araujo. Algoritmos para acelerar a computação de Árvores de corte de Gomory e Hu. Dissertação de Mestrado

Estudo de Viabilidade da Implementação de Software de Roteamento para Transporte de Funcionários de Refinaria da Petrobras

Alexandre Altoé Pigatti. Modelos e Algoritmos para o Problema de Alocação Generalizada (PAG) e Aplicações DISSERTAÇÃO DE MESTRADO

Francisco Henrique de Freitas Viana. Modelos e Algoritmos para o Team Orienteering Problem. Tese de Doutorado

Um Modelo Integrado para o Projeto de Redes Logísticas com Decisões de Localização de Instalações, Produção, Transporte e Estoques.

Iam Vita Jabour. O Impacto de Atributos Estruturais na Identificação de Tabelas e Listas em Documentos HTML. Dissertação de Mestrado

Proposta de um sistema de suporte à decisão para programação de navios baseado em otimização: um caso prático

Controle da Execução e Disponibilização de Dados para Aplicativos sobre Seqüências Biológicas: o Caso BLAST

Carlos Raoni de Alencar Mendes. Códigos de Cobertura: Limites e Heurísticas. Dissertação de Mestrado

Um Estudo Sobre Middlewares Adaptáveis

Davi Romero de Vasconcelos. Análise de Estratégias Utilizando Verificação Formal de Modelos. Dissertação de Mestrado

Uma Aplicação de Algoritmos de Colônias de Formigas em Problemas de Roteirização de Veículos com Janelas de Tempo

Cálculo de seqüentes de sucedente múltiplo para lógica intuicionista de primeira ordem

Renato Figueiró Maia. Um Framework para Sistemas Baseados em Componentes Distribuídos. Informática DEPARTAMENTO DE INFORMÁTICA

Thomas de Campos Tsuchida. Modelagem da localização de pólos de venda de derivados de petróleo. Dissertação de Mestrado (Opção Profissional)

Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos 41

Alexandre Roberto Rentería ESTIMAÇÃO DE PROBABILIDADE FUZZY A PARTIR DE DADOS IMPRECISOS. Tese de Doutorado

Francisco Benjamim Filho. XHITS: Estendendo o Algoritmo HITS para Extração de Tópicos na WWW DISSERTAÇÃO DE MESTRADO

Bruno de Figueiredo Melo e Souza. Modelos de fatoração matricial para recomendação de vídeos. Dissertação de Mestrado

Orivalde Soares da Silva Júnior. Algoritmos para os Problemas de Roteirização Estática e Dinâmica de Veículos com Janelas de Tempo.

Modelo de Programação Estocástica para o Planejamento Estratégico da Cadeia Integrada de Petróleo

Avaliação Probabilística de Reservas de Óleo e Gás Considerando o Efeito da Variação do Preço do Óleo

SQLLOMining: Obtenção de Objetos de Aprendizagem utilizando técnicas de Aprendizado de Máquina

Algoritmos Primais e Duais para o Problema das p-medianas

Jaqueline Engelmann. Teoria da Definição. Das definições reais às definições predicativas. Tese de Doutorado

Elicitação de requisitos de software através da utilização de questionários

Bruno Loureiro Rezende. Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO

Geraldo da Silva Rocha Netto. Escalonamento Flexível de Workflows com Restrições Temporais. Dissertação de Mestrado

Theo Cotrim Martins. Leis de dividendo mínimo obrigatório protegem acionistas minoritários? Dissertação de Mestrado

Criação Automática de Visões Materializadas em SGBDs Relacionais

Modelagem em Experimentos Mistura-Processo para Otimização de Processos Industriais

Estudo Comparativo de Estratégias de Classificação de Páginas Web

Jessica Quintanilha Kubrusly. Métodos Estatísticos para Cálculo de Reservas DEPARTAMENTO DE MATEMÁTICA

Planejamento Tático no Transporte Rodoviário de Cargas Fracionadas: Modelos e Algoritmos

Adriano Francisco Branco. Um modelo de programação para RSSF com. Dissertação de Mestrado

Dalessandro Soares Vianna. Heurísticas híbridas para o problema da filogenia TESE DE DOUTORADO. Informática DEPARTAMENTO DE INFORMÁTICA

Aprendizado de Máquina para o Problema de Sentiment Classification

Otávio de Pinho Forin Braga. Uma Arquitetura para Síntese de Imagens Fotorrealistas baseada em Técnicas de Monte Carlo DISSERTAÇÃO DE MESTRADO

Matchmaking Uma infraestrutura para alinhamento de esquemas

Guilherme Ayres da Silva Lucas. Risco de Base e Demanda por Derivativos Agropecuários no Brasil. Dissertação de Mestrado

MAURICIO LANE ESCOAMENTO DE FLUIDOS NÃO NEWTONIANOS ATRAVÉS DE CANAIS CONVERGENTES-DIVERGENTES DISSERTAÇÃO DE MESTRADO

Uma abordagem baseada em SPH para animação interativa de águas rasas em jogos

Sistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras-Chave

QEEF-G: Execução Paralela Adaptativa de Consultas Iterativas

Bruno Siqueira Silva. Workflows dinâmicos em gerência de projetos ágeis. Dissertação de Mestrado

Liquidez e Formação de Preço: Evidência do mercado acionário brasileiro

Previsão da Produção Industrial do Brasil: Uma Aplicação do Modelo de Índice de Difusão Linear

Comparação de estratégias de construção de poços marítimos incorporando incertezas

Análise da satisfação dos clientes de serviços de cabotagem no Brasil: Um estudo de caso

Variação semântica nas construções adverbiais temporais introduzidas por quando na língua portuguesa

APLICAÇÃO DE CONCEITOS DE ENGENHARIA DE FATORES HUMANOS: UM ESTUDO DE CASO EM UMA EMPRESA DE OPERAÇÕES LOGÍSTICAS

Os desafios de interface e de interação na computação ciente de contexto

Sérgio Queiroz de Medeiros. Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto. Tese de Doutorado

As provas da existência de Deus nas Meditações Metafísicas de René Descartes

Mapeamento Automático de Horizontes e Falhas em Dados Sísmicos 3D baseado no algoritmo de Gás Neural Evolutivo

Victor Kraemer Wermelinger Sancho Araujo. Avaliação de custos para a produção de biodiesel a partir de óleos residuais fritura

O Planejamento e Controle de Produção para uma Fábrica de Vacinas.

Gerenciamento de projetos no âmbito da Economia Criativa Um estudo de caso das Incubadoras Rio Criativo

Preços de Ativos e Determinação da Política Monetária Brasileira: uma Análise Empírica

Marcelo de Mattos Bezerra. Interações no Ensino e na Prática do Design e da Arquitetura. Dissertação de Mestrado

6 Problema de Roteamento de Veículos sobre Arcos

Uma meta-ferramenta de geração de diagramas utilizada na engenharia reversa de sistemas legados.

Mineração de Dados voltada para Recomendação no Âmbito de Marketing de Relacionamento

Guilherme de Sousa Neves. Previsão de estoque de peças eletrônicas sobressalentes. Dissertação de Mestrado

Avaliação Preliminar dos Movimentos Aéreos no Aeroporto Internacional Antônio Carlos Jobim Galeão

O Efeito de Preços de Commodities sobre a Taxa de Câmbio Real para Países Exportadores de Commodities: Uma Análise Empírica

Uma Trajetória do Pensamento Clássico às Questões Contemporâneas

Frederico dos Santos Liporace. Planejadores para transporte em polidutos TESE DE DOUTORADO. Programa de Pós graduação em Informática

Matemática e Conhecimento na República de Platão

Reação da Política Fiscal e Sustentabilidade da Dívida Federal no Brasil,

Risco Soberano, Volatilidade e Padrão-ouro

Tatiana Waintraub. Modelagem da calçada de Copacabana. Dissertação de Mestrado

Atos de fala, atos falhos: uma aproximação entre as teorias linguísticas de Austin e de Wittgenstein e a psicanálise de Freud e Lacan

Francisco Eduardo Torres Cursino de Moura. Uma proposta para Rendering Baseado em Imagens em celulares

Samer Shousha. Estrutura a Termo da Taxa de Juros e Dinâmica Macroeconômica no Brasil. Dissertação de Mestrado

Modelagem de restrições de esquemas mediados

Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação

Caracterização do Canal de Propagação GPS em Ambientes Urbanos

Estimadores de Curvaturas para Curvas no R 4

A Imaginação na Teoria da Mente segundo Hume

Rafael Cezar Menezes. Dissertação de Mestrado

UM ESTUDO SOBRE OS VALORES NO CONSUMO DE PRODUTOS DE BELEZA POR MULHERES DE BAIXA RENDA

Gustavo Simão Rodrigues

Rodrigo Pereira David. Técnica de Estimação de Canal Utilizando Símbolos Pilotos em Sistemas OFDM. Dissertação de Mestrado

Uma Análise de Cenário Legislativo e Operacional dos Operadores de Transporte Multimodal (OTM) no Brasil

Carlos Roberto da Costa Ferreira. Interpolação Modificada de LSF's. Dissertação de Mestrado

Fernanda Magalhães Rumenos Guardado. Estudo sobre a IS Intertemporal na Economia Brasileira

Paulo Afonso Monteiro Velasco Júnior

Geração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão

Um ambiente de suporte para uma linguagem de modelagem de sistemas multi-agentes

Metáforas para linguagem no Curso de Saussure

Framework para coordenação e mediação de Web Services modelados como Learning Objects para ambientes de aprendizado na Web

Mauricio Kreczmarsky Guimarães Meinicke. Opacidade 3D na Visualização Volumétrica de Dados Sísmicos

Marcos Vidal Costa. A escrita diarística de José Gomes Ferreira: a iluminação por dentro das palavras de todos os dias.

Para onde ir quando não se tem lugar? Histórico e conceitos básicos da Psicoterapia Institucional Francesa

Dimensionamento da frota de navios de derivados claros para cabotagem: proposta de modelo de otimização

Natália Moreira Félix

Luzia da Costa Tonon. O Teorema de Cramér-Lundberg via martingais DISSERTAÇÃO DE MESTRADO. Programa de Pós Graduação em Matemática

Transcrição:

Humberto José Longo Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos TESE DE DOUTORADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós Graduação em Informática Rio de Janeiro Agosto de 2004

Humberto José Longo Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos Tese de Doutorado Tese apresentada ao Programa de Pós Graduação em Informática do Departamento de Informática da PUC Rio como parte dos requisitos parciais para obtenção do título de Doutor em Informática Orientador: Prof. Marcus Poggi de Aragão Co Orientador: Prof. Eduardo Uchoa Rio de Janeiro Agosto de 2004

Humberto José Longo Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos Tese apresentada ao Programa de Pós Graduação em Informática do Departamento de Informática, do Centro Técnico Científico da PUC Rio, como parte dos requisitos parciais para obtenção do título de Doutor em Informática. Aprovada pela Comissão Examinadora abaixo assinada. Prof. Marcus Poggi de Aragão Orientador Departamento de Informática PUC Rio Prof. Eduardo Uchoa Co Orientador Departamento de Engenharia de Produção UFF Prof. Ruy Luiz Milidiú Departamento de Informática PUC-Rio Prof. Edward Hermann Haeusler Departamento de Informática PUC-Rio Prof. Geraldo Robson Mateus Departamento de Ciência da Computação UFMG Prof. Roberto Dieguez Galvão Programa de Engenharia de Produção COPPE UFRJ Prof. José Eugenio Leal Coordenador Setorial do Centro Técnico Científico PUC Rio Rio de Janeiro, 30 de Agosto de 2004

Todos os direitos reservados. É proibida a reprodução total ou parcial do trabalho sem autorização da universidade, do autor e do orientador. Humberto José Longo Graduou se em Ciência da Computação na UFG - Universidade Federal de Goiás e cursou o mestrado em Computação, como bolsista do programa CAPES PICDT, na Unicamp - Universidade Estadual de Campinas. Durante o doutorado, também como bolsista do programa CAPES PICDT, explorou avanços recentes na área de Programação Linear Inteira e suas aplicações a problemas de roteamento de veículos. Atualmente é professor do Instituto de Informática da Universidade Federal de Goiás. Longo, Humberto José Ficha Catalográfica Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos/ Humberto José Longo; orientador: Marcus Poggi de Aragão; co orientador: Eduardo Uchoa. Rio de Janeiro : PUC Rio, Departamento de Informática, 2004. [13], 124f.: il.; 29,7cm. Tese (doutorado) - Pontifícia Universidade Católica do Rio de Janeiro, Departamento de Informática. Inclui referências bibliográficas. 1. Informática Teses. 2. Programação Inteira. 3. Roteamento de Veículos. 4. Geração de Colunas I. Poggi de Aragão, Marcus. II. Uchoa, Eduardo. III. Pontifícia Universidade Católica do Rio de Janeiro. Departamento de Informática. IV. Título. CDD: 510

Ao João Alberto, que nasceu no início deste projeto e sempre me lembrou que o mesmo deveria ser finalizado o mais rápido possível.

Agradecimentos Agradecer, nominalmente, a todos que de alguma forma colaboraram no desenvolvimento deste trabalho é tarefa praticamente impossível. A todos os envolvidos, meus sinceros agradecimentos. Entretanto, algumas referências especiais devem ser feitas: - Aos professores Marcus Poggi de Aragão e Eduardo Uchoa pela incansável orientação e assistência fornecida durante as atividades deste doutorado, bem como pelos estímulos nos momentos de incertezas. - Aos professores Edward Hermann Haeusler, Geraldo Robson Mateus, Nair Maria Maia de Abreu, Oscar Porto, Roberto Dieguez Galvão e Ruy Luiz Milidiú pela prestativa participação na banca examinadora e valiosos comentários e sugestões. - À empresa GAPSO Serviços de Informática Ltda., na pessoa de seu diretor Frederico Guth, que gentilmente franqueou-me o acesso às instalações físicas da empresa, permitindo a utilização de seus computadores e ainda forneceu-me inúmeros outros subsídios que foram imprescindíveis para o bom desenvolvimento deste trabalho. - Aos colegas Alexandre Pigatti, Antônio Jr., Fernanda Menezes, Fernanda Hamacher, Lorenza Leão, Marcel Stanley, Marcelo Reis, Pedro Couto, Ricardo Fukasawa e aos demais que certamente esqueço de mencionar, pela boa convivência durante a realização deste trabalho. - Aos colegas do Instituto de Informática da Universidade Federal de Goiás, que superaram enormes dificuldades e pressões e não só mantiveram as atividades do instituto como também as expandiram, sem prejuízos ao programa de qualificação de seus docentes. - À CAPES e à Universidade Federal de Goiás pelo apoio financeiro e à PUC Rio pelas condições de ensino durante os quatro anos de doutorado. - A todos os meus amigos e familiares que sempre me apoiaram, ajudaram e incentivaram. - À Cristiane, que esteve sempre ao meu lado nos momentos que eu precisava e sempre me apoiou e incentivou a superar todas as dificuldades.

Resumo Longo, Humberto José; Poggi de Aragão, Marcus; Uchoa, Eduardo. Técnicas para Programação Inteira e Aplicações em Problemas de Roteamento de Veículos. Rio de Janeiro, 2004. 123p. Tese de Doutorado Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro. A natureza intrinsicamente combinatorial de muitos problemas advindos da área de logística de transportes, em especial aqueles que dizem respeito ao uso racional de frotas de veículos, sugere que boa parte dos mesmos pode ser formulada e resolvida como um problema de programação linear inteira. Contudo, a maioria dos algoritmos até o momento disponíveis não consegue encontrar, em tempos computacionais aceitáveis, a solução ótima para instâncias de porte razoável. O objeto de estudo desta tese é a exploração de técnicas mais recentes da área de programação linear inteira e suas aplicações a problemas de roteamento de veículos. A primeira parte da tese descreve, além das técnicas básicas de decomposição de problemas de programação linear e linear inteira e de geração de colunas, uma proposta de reformulação de problemas de programação linear inteira alternativa àquela que gera o tradicional problema mestre de Dantzig-Wolfe, geralmente utilizados em abordagens por geração de colunas. A resolução de problemas de programação linear inteira neste contexto é tratada em seguida, com a descrição do algoritmo branch-and-bound e das variações branch-and-cut, branch-and-price e branch-and-cut-and-price. Na segunda parte da tese, inicialmente, é apresentada a técnica denominada de Geração Projetada de Colunas e sua aplicação ao problema de Roteamento de Veículos com Restrição de Capacidade. Em seguida é abordada a resolução do problema de Roteamento de Veículos sobre Arcos, através de sua transformação ao primeiro problema citado e uso de um algoritmo branch-and-cut-and-price. Finalmente, é proposto um novo problema na área de redistribuição de veículos de aluguel, para o qual é proposta uma formulação segundo uma abordagem por geração de colunas. São apresentados, ainda, procedimentos para a geração de colunas e resultados computacionais obtidos com um algoritmo branch-and-price para essa formulação. Palavras chave Programação inteira, Roteamento de veículos, Geração de colunas

Abstract Longo, Humberto José; Poggi de Aragão, Marcus; Uchoa, Eduardo. Integer programming techniques and applications to vehicle routing problems. Rio de Janeiro, 2004. 123p. PhD. Thesis Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro. Optimization techniques have an important role in Transportation Logistics. The combinatorial nature of the problems related to this area suggests integer programming as a natural approach to their resolution. Nevertheless there are many cases where even instances of reasonable size still beyond the resolution capability of the current known algorithms. The success of the known algorithms have therefore been limited. This can be justified by the fact the most of them leave important recent advances in the combinatorial optimization field unexplored. Some of these new techniques and their applications are the main subject of this thesis. In the first part, the basic decomposition techniques for linear and integer programming problems as well as the related column generation approach is addressed. This is followed by the presentation of a reformulation technique for linear and integer programming which is alternative to the well known Dantzig-Wolfe master program. The new possibilities coming from this approach are explored and the resulting consequences to the standard branch-and-bound algorithm and its variations branch-and-cut, branch-and-price and branchand-cut-and-price are presented. The second part of this text addresses the application of the metodologies described in part one to routing problems where capacity constraints are considered. First, a techinque named Projected Column Generation is described in the context of the Capacitated Vehicle Routing Problem. Then, it is presented a new transformation from the Capacitated Arc Routing Problem to the Capacitated Vehicle Routing Problem as well as a tailored branch-and-cut-and-price to solve this problem. Finally, a new problem in vehicle redistrubution is described together with a column generation approach for its resolution. Computational results for all applications are presented. Keywords Integer programming, Vehicle routing, Column generation

Sumário 1 Introdução 13 1.1 Organização da Tese 15 I Metodologias 18 2 Programação Linear Inteira 19 3 Reformulação de IPs 23 3.1 Decomposição de Dantzig-Wolfe para LPs 24 3.1.1 Geração de colunas 26 3.2 Reformulação tradicional de IPs 28 3.3 Reformulação alternativa 30 3.3.1 Relações entre o Dantzig-Wolfe Master e o Mestre Explícito 32 3.3.2 Geração múltipla de colunas 33 3.4 Aplicação da Reformulação alternativa de IPs 34 4 Resolução de IPs 40 4.1 Branch-and-Bound 41 4.2 Branch-and-Cut 43 4.3 Branch-and-Price 45 4.4 Branch-and-Cut-and-Price 46 II Aplicações em Roteamento de Veículos 47 5 Problema de Roteamento de Veículos com Restrição de Capacidade 48 5.1 Formulação do CVRP 49 5.2 Geração de Colunas Projetada 53 5.2.1 Experiência Computacional 55 6 Problema de Roteamento de Veículos sobre Arcos 56 6.1 Modelagem do CARP 57 6.2 Transformação de Pearn, Assad e Golden 58 6.3 Nova Transformação 60 6.4 Formulação do CARP 63 6.5 Relaxação de Belenguer e Benavent 65 6.6 Algoritmo branch-and-cut-and-price 68 6.6.1 Geração de Cortes 68 6.6.2 Geração de Colunas 69 6.6.3 Branch-and-Bound 70 6.7 Resultados Computacionais 71 7 Problema de Redistribuição de EcoCarros 76

7.1 Introdução 76 7.2 Descrição do Problema 78 7.3 Modelagem 80 7.4 Análise da Complexidade 82 7.5 Formulação do ECP como um IP 85 7.6 Subproblema de Geração de Colunas 87 7.7 Geração de Colunas por Programação Dinâmica 88 7.8 Branch-and-Price 92 7.9 Instâncias 94 7.9.1 Geração de Instâncias 96 7.9.2 Sequências Fixas na Geração de Instâncias 97 7.9.3 Estimativa para o valor da solução ótima 98 7.10 Resultados Computacionais 98 III Contribuições e Conclusões 108 8 Contribuições e Conclusões 109 Referências Bibliográficas 111

Lista de Figuras 6.1 CARP Transformação de Pearn, Assad e Golden. 59 6.2 CARP Custo do menor caminho entre dois vértices laterais. 59 6.3 CARP Grafo original. 62 6.4 CARP Grafo com os vértices s ij. 62 6.5 CARP Grafo completo associado a instância do CVRP 62 6.6 CARP Caminho mínimo associado a uma aresta. 67 6.7 CARP Ciclo de tamanho dois. 70 7.1 ECP Exemplo de uma rota. 91 7.2 ECP Malha viária das classes E-1 e E-2 de instâncias. 99 7.3 ECP Malha viária das classes E-3 e E-4 de instâncias. 99 7.4 ECP Malha viária das classes E-5 e E-6 de instâncias. 99

Lista de Tabelas 3.1 MdKP Limites superiores para as classes mknap1 e mknap2. 38 6.1 CARP Custos das arestas para o exemplo da figura 6.5. 62 6.2 CARP Comparação dos limites inferiores para as instâncias egl. 73 6.3 CARP Comparação dos limites inferiores para as instâncias bccm. 74 6.4 CARP Soluções ótimas para instâncias das classes kshs, gdb, bccm e egl. 75 7.1 ECP - Características das instâncias. 98 7.2 ECP - Características das rotas. 100 7.3 ECP - Resultados médios para as classes E-1 a E-12 de instâncias. 103 7.4 ECP - Resultados para instâncias da classe E-1 a E-6 com o Cplex. 103 7.5 ECP - Resultados para as instâncias das classes E-1 a E-6. 104 7.6 ECP - Resultados para as instâncias das classes E-7 a E-12. 106

The shortest routes between any two points in the system are given and a demand for one or several products is specified for a number of stations within the distribution system. It is desired to find a way to assign stations to trucks in such a manner that station demands are satisfied and total mileage covered by the fleet is a minimum. A procedure based on a linear programming formulation is given for obtaining a near optimal solution. The calculations may be readily performed by hand or by an automatic digital computing machine. G. B. Dantzig and J. H. Ramser, The Truck Dispatching Problem, 1959 [35].