Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos

Detalhes bibliográficos
Autor(a) principal: Santos, Rafael Francisco dos
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