Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2006 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1604510 |
Resumo: | Orientador: Cid Carvalho de Souza |
id |
UNICAMP-30_634e4ad385cefd3d56f4e55fbd587643 |
---|---|
oai_identifier_str |
oai::397013 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistosUse of canonical cuts in the local branching method for mixed 0-1 integerRamificação localProgramação inteiraHeurística (Computação)Local branchingInteger ProgrammingHeuristic (Computer science)Orientador: Cid Carvalho de SouzaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Nesta dissertação propomos um uso mais geral dos Cortes Canônicos (CCs) introduzidos por Balas e Jeroslow ([2]) no método de Ramificação Local (RamLoc) de Fischetti e Lodi ([6]). A ramificação local é uma heurística de propósito geral para Programação Inteira Mista (MIP) que explora vizinhanças definidas através da adição de inequações lineares ao modelo original. Estas inequações determinam subproblemas que são computados mais rapidamente pelos resolvedores de MIP. Uma análise da execução da RamLoc indicou que, em algumas situações, ela acrescenta cortes de ramificação local muito superficiais (i.e.,que descartam poucas soluções) e que estes cortes ocorrem com grande freqüência. Como os cortes de ramificações locais de Fischetti e Lodi são casos especiais dos CCs para programação inteira 0?1, n'os propomos a incorporação de CCs mais profundos (i.e.,que descartam mais soluções) à RamLoc. Executamos o algoritmo resultante sobre 25 das 29 instâncias testadas em [6] e obtivemos melhores resultados do aqueles alcançado pela RamLoc original e pelo resolvedor comercial de MIP XPRESS com seus parâmetros default. Uma outra investigação que empreendemos foi a inclusão dos CCs na heurística para modelos gerais de programação inteira mista RINS ([3]). Esta heurística surgiu durante o desenvolvimento desta dissertação e apresentou um bom desempenho. Realizamos alguns testes com as mesmas instâncias sobre as quais a RamLoc foi executada e obtivemos resultados promissores. Por fim, além da utilização dos CCs em heurísticas, criamos uma estratégia de ramificação que pode ser embutida nos algoritmos de branch-and-cut dos resolvedores de MIP. Denominamos esta estratégia de dive branching e a implementamos no resolvedor XPRESS. Em experimentos conduzidos com o mesmo conjunto de instâncias anteriores, obtivemos resultados de melhor qualidade do que aqueles produzidos pelo XPRESS com seus parâmetros defaultAbstract: In this dissertation we propose a broader usage of the Canonical Cuts (CC) introduced by Balas and Jeroslow ([2]) in the Local Branching method (LB) of Fischetti and Lodi ([6]). The LB is a general purpose heuristic for Mixed Integer Programming (MIP) that explores neighborhoods defined by the addition of linear inequalities to the original model. These inequalities determine subproblems that are computed more quickly by MIP solvers. An analysis of the execution of LB indicated that, in some situations, it adds local branching cuts that are too superficial (i.e., chopping off few solutions) and that these cuts happen very often. Since the local branching cuts of Fischetti and Lodi are special cases of CCs for 0?1 integer programming, we propose to incorporate deeper CCs (i.e, chopping of more solutions) to LB. We executed the resulting algorithm on 25 out of the 29 instances tested in [6] and we obtained better results than those attained by the original LB and by the XPRESS commercial MIP solver under default settings. Another research that we carried out was the inclusion of CC to the RINS heuristics for general mixed integer programs ([3]). This heuristic appeared during the development of this dissertation and showed a good performance. We carried out some tests with the same instances on which LB was tested and the results are promising. Finally, besides using the CCs in heuristics, we created a branching strategy that can be embedded to the branch-and-cut algorithms of the MIP solvers. We called it dive branching and implemented it in the XPRESS solver. In experiments with the same set of instances as before, we obtained results of better quality than those produced by XPRESS with default settingsMestradoMestre em Ciência da Computação[s.n.]Souza, Cid Carvalho de, 1963-Armentano, Vinícius AmaralLee, OrlandoUniversidade Estadual de Campinas. Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASSantos, Rafael Francisco dos20062006-12-21T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf56f. : il.https://hdl.handle.net/20.500.12733/1604510SANTOS, Rafael Francisco dos. Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos. 2006. 56f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1604510. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/397013porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2018-05-08T15:43:15Zoai::397013Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2018-05-08T15:43:15Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos Use of canonical cuts in the local branching method for mixed 0-1 integer |
title |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos |
spellingShingle |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos Santos, Rafael Francisco dos Ramificação local Programação inteira Heurística (Computação) Local branching Integer Programming Heuristic (Computer science) |
title_short |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos |
title_full |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos |
title_fullStr |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos |
title_full_unstemmed |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos |
title_sort |
Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos |
author |
Santos, Rafael Francisco dos |
author_facet |
Santos, Rafael Francisco dos |
author_role |
author |
dc.contributor.none.fl_str_mv |
Souza, Cid Carvalho de, 1963- Armentano, Vinícius Amaral Lee, Orlando Universidade Estadual de Campinas. Instituto de Computação Programa de Pós-Graduação em Ciência da Computação UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Santos, Rafael Francisco dos |
dc.subject.por.fl_str_mv |
Ramificação local Programação inteira Heurística (Computação) Local branching Integer Programming Heuristic (Computer science) |
topic |
Ramificação local Programação inteira Heurística (Computação) Local branching Integer Programming Heuristic (Computer science) |
description |
Orientador: Cid Carvalho de Souza |
publishDate |
2006 |
dc.date.none.fl_str_mv |
2006 2006-12-21T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/20.500.12733/1604510 SANTOS, Rafael Francisco dos. Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos. 2006. 56f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1604510. Acesso em: 15 mai. 2024. |
url |
https://hdl.handle.net/20.500.12733/1604510 |
identifier_str_mv |
SANTOS, Rafael Francisco dos. Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos. 2006. 56f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1604510. Acesso em: 15 mai. 2024. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/397013 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf 56f. : il. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1799138423957618688 |