Uma abordagem de programação inteira para o problema da triangulação de custo minimo

Detalhes bibliográficos
Autor(a) principal: Nunes, Aminadab Pereira
Data de Publicação: 1997
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/1585790
Resumo: Orientador: Cid Carvalho de Souza
id UNICAMP-30_9a9b724f80dbfd672a36241ea508bb9e
oai_identifier_str oai::128353
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 Uma abordagem de programação inteira para o problema da triangulação de custo minimoAlgoritmosOtimização combinatóriaPesquisa operacionalGeometriaOrientador: Cid Carvalho de SouzaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Seja P um conjunto finito de pontos no plano e S(P) o conjunto de todos os segmentos de reta com extremos em P. Uma triangulação planar de P é um subconjunto maximal de S(P) tal que nenhum par de segmentos neste subconjunto se intercepta, exceto possivelmente nos extremos. Chamamos de triangulação de custo mínimo a triangulação planar cuja soma total dos comprimentos de seus segmentos de reta é mínimo dentre todas as triangulações planares de P. Não se conhece algoritmo polinomial que resolva o problema de determinar a triangulação de custo mínimo de um conjunto de pontos no caso geral, contudo, também não está provado tratar-se de um problema NP-difícil. Neste trabalho estamos interessados na resolução exata deste problema. Nossa abordagem é baseada em técnicas de programação inteira, em particular estudamos duas formulações distintas para o problema. A primeira formulação é baseada em uma equivalência entre o problema da triangulação de custo mínimo e uma versão restrita do problema do conjunto independente em um grafo. Além das desigualdades obtidas através da observação desta equivalência, mostramos como fortalecer a formulação através de certas propriedades geométricas do problema. Estudamos ainda uma outra formulação baseada principalmente no trabalho apresentado por Loera et. al em [dLHSS96]. Enquanto na primeira formulação as variáveis binárias estão associadas aos segmentos em S(P), nesta segunda formulação as variáveis binárias estão associadas aos triângulos com vértices em P. Os resultados computacionais que obtivemos mostram uma clara superioridade do segundo modelo. Para a primeira formulação implementamos um algoritmo branch-and-cut que nos permitiu resolver problemas de até 160 pontos (|P| = 160). Já para a segunda formulação a solução ótima da relaxação linear sempre foi inteira, o que nos permitiu resolver instâncias com até 1000 pontos (|P| = 1000)Abstract: Let P be a finite set of points in the plane and S(P) be the set of all segments with both extreme points in P. A planar triangulation of P is a maxirnal subset of S(P) such that no pair of segments is this subset intercept each other, except possibly at their extremities. A minimum triangulation of P is a planar triangulation whose sum of the lengths of all its segments is minimum over all possible triangulations of P. No polynomial algorithm is known that solves this problem in the general case, however it is also not known if the problem is NP-hard. In this work we are interested in solving the problem exactly. Our approach is based on integer programming techniques and is particular we have studied two different formulations for the problem. The first formulation is based on an equivalence between the problem of finding a minimum weight triangulation of P and a restricted version of the maximum independent set of a graph. Besides the inequalities arising from this observation, we show how to strength the formulation by using geometric properties if the problem. We also have studied a second formulation mainly based on the work of Loera et. al [dLHSS96]. While in the first formulation the binary variables are associated to the segments in S(P), in this second formulation the binary variables are associated to the triangles with vertices lying in P. Our computational results have shown that the second model clearly outperforms the first one. For the first formulation, we have implemented a branch-and-cut algorithm which allowed us to solve instances with up to 160 points (IPI = 160). On the other hand, for the for second formulation, the optimal solution of the linear relaxation was integer for all tested instances, which has made possible the solution of instances with up to 1000 points (IPI = 1000]MestradoMestre em Ciência da Computação[s.n.]Souza, Cid Carvalho de, 1963-Universidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASNunes, Aminadab Pereira19971997-11-27T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf93f. : il.https://hdl.handle.net/20.500.12733/1585790NUNES, Aminadab Pereira. Uma abordagem de programação inteira para o problema da triangulação de custo minimo. 1997. 93f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585790. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/128353porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T11:09:28Zoai::128353Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T11:09:28Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Uma abordagem de programação inteira para o problema da triangulação de custo minimo
title Uma abordagem de programação inteira para o problema da triangulação de custo minimo
spellingShingle Uma abordagem de programação inteira para o problema da triangulação de custo minimo
Nunes, Aminadab Pereira
Algoritmos
Otimização combinatória
Pesquisa operacional
Geometria
title_short Uma abordagem de programação inteira para o problema da triangulação de custo minimo
title_full Uma abordagem de programação inteira para o problema da triangulação de custo minimo
title_fullStr Uma abordagem de programação inteira para o problema da triangulação de custo minimo
title_full_unstemmed Uma abordagem de programação inteira para o problema da triangulação de custo minimo
title_sort Uma abordagem de programação inteira para o problema da triangulação de custo minimo
author Nunes, Aminadab Pereira
author_facet Nunes, Aminadab Pereira
author_role author
dc.contributor.none.fl_str_mv Souza, Cid Carvalho de, 1963-
Universidade Estadual de Campinas (UNICAMP). 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 Nunes, Aminadab Pereira
dc.subject.por.fl_str_mv Algoritmos
Otimização combinatória
Pesquisa operacional
Geometria
topic Algoritmos
Otimização combinatória
Pesquisa operacional
Geometria
description Orientador: Cid Carvalho de Souza
publishDate 1997
dc.date.none.fl_str_mv 1997
1997-11-27T00: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/1585790
NUNES, Aminadab Pereira. Uma abordagem de programação inteira para o problema da triangulação de custo minimo. 1997. 93f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585790. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1585790
identifier_str_mv NUNES, Aminadab Pereira. Uma abordagem de programação inteira para o problema da triangulação de custo minimo. 1997. 93f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585790. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/128353
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
93f. : 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_ 1809188808144453632

Registros relacionados