Programação matemática e imersões métricas para aproximações em problemas de corte

Detalhes bibliográficos
Autor(a) principal: Viertel, Santiago
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: http://hdl.handle.net/1884/36110
Resumo: Orientador : Prof. Dr. André Luiz Pires Guedes
id UFPR_5848054d8a5e3188ed0d9598869791b1
oai_identifier_str oai:acervodigital.ufpr.br:1884/36110
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Viertel, SantiagoGuedes, Andre Luiz Pires, 1966-Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática2014-09-30T17:27:17Z2014-09-30T17:27:17Z2014http://hdl.handle.net/1884/36110Orientador : Prof. Dr. André Luiz Pires GuedesDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 05/05/2014Inclui referênciasResumo: Os algoritmos de aproximação são capazes de gerar soluções próximas da ótima demandando tempo de execução polinomial. Vários dos algoritmos de aproximação existentes na literatura solucionam problemas com base em valores numéricos obtidos em soluções de programas matemáticos, como programas lineares e programas vetoriais. Os problemas do corte máximo, do corte multisseparador mínimo e do corte mais disperso podem ser modelados com programas matemáticos inteiros que, se solucionados, resultam em soluções átimas. Porem, solucionar programas matemáticos inteiros demanda tempo exponencial exigindo, assim, que sejam criados novos programas matemáticos por meio de relaxações. Uma relaxação admite valores contínuos de solução, o que torna possível encontrar a solução ótima do programa relaxado em tempo polinomial. Em contrapartida, para que sejam encontradas soluções próximas da ótima, faz-se necessárias tomadas de decisão baseadas em análises sobre as soluções dos programas relaxados. Os três problemas apresentados são modelados por programas matemáticos relaxados e solucionados com algoritmos desenvolvidos com base em análises geométricas sobre as soluções desses programas. As soluções dos programas lineares relaxados que modelam os problemas do corte multisseparador mínimo e do corte mais disperso são processadas e são visualizadas como pontos cujas distâncias são calculadas pela norma 1. Sub-rotinas que imergem espaços métricos finitos gerais em espaços métricos definidos pela norma l1 se mostraram importantes no desenvolvimento de algoritmos de aproximação. Para solucionar o problema do corte mais disperso, são utilizados algoritmos de imersão que possuem uma certa taxa de distorção das distâncias, sendo essa taxa o principal fator para a determinação da garantia de aproximação do algoritmo como um todo.Abstract: Approximation algorithms can generate near optimal solutions requiring execution in polynomial time. Many approximation algorithms in the literature follow the idea of searching for numerical values from mathematical programming formulations, usually linear or vector programming, of the problem in consideration. The problems of maximum cut, multiway cut and sparsest cut can be modeled with integer mathematical programs that result in optimal solutions. However, solving an integer mathematical program is a NP-hard problem, so an usual approach is the creation of new mathematical programs through relaxations. A relaxation admits continuous solution, which makes possible to find the relaxed program optimal solution in polynomial time. However, in order to find near optimal solutions one should perform an analyses of this solution obtained by relaxed programs. The three problems presented here are modeled by relaxed mathematical programs and solved by algorithms based on geometric analyses on the solutions of these programs. The solutions of the relaxed linear programs that model the problems of the multiway cut and the sparsest cut are seen as points whose distances are calculated by the l1 norm. Subroutines that embed general finite metric spaces in metric spaces defined by the l1 norm proved to be important in approximation algorithms. In order to solve the sparsest cut problem, the approach is using embedding algorithms that have a certain distortion rate of the distances, being this rate the main factor determining the performance guarantee of the algorithm.99f. : il., tabs., grafs.application/pdfDisponível em formato digitalDissertaçõesCiência da computaçãoProgramação matemática e imersões métricas para aproximações em problemas de corteinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - D - SANTIAGO VIERTEL.pdfapplication/pdf1002421https://acervodigital.ufpr.br/bitstream/1884/36110/1/R%20-%20D%20-%20SANTIAGO%20VIERTEL.pdf7e82a1dfa31850f01d7cea5f9f63456cMD51open accessTEXTR - D - SANTIAGO VIERTEL.pdf.txtR - D - SANTIAGO VIERTEL.pdf.txtExtracted Texttext/plain206543https://acervodigital.ufpr.br/bitstream/1884/36110/2/R%20-%20D%20-%20SANTIAGO%20VIERTEL.pdf.txt46a36adc31fa7ade3ce4baac00f27953MD52open accessTHUMBNAILR - D - SANTIAGO VIERTEL.pdf.jpgR - D - SANTIAGO VIERTEL.pdf.jpgGenerated Thumbnailimage/jpeg1185https://acervodigital.ufpr.br/bitstream/1884/36110/3/R%20-%20D%20-%20SANTIAGO%20VIERTEL.pdf.jpg6d344e53fa5952e726c4f674ca95c32eMD53open access1884/361102016-04-07 10:17:33.972open accessoai:acervodigital.ufpr.br:1884/36110Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082016-04-07T13:17:33Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Programação matemática e imersões métricas para aproximações em problemas de corte
title Programação matemática e imersões métricas para aproximações em problemas de corte
spellingShingle Programação matemática e imersões métricas para aproximações em problemas de corte
Viertel, Santiago
Dissertações
Ciência da computação
title_short Programação matemática e imersões métricas para aproximações em problemas de corte
title_full Programação matemática e imersões métricas para aproximações em problemas de corte
title_fullStr Programação matemática e imersões métricas para aproximações em problemas de corte
title_full_unstemmed Programação matemática e imersões métricas para aproximações em problemas de corte
title_sort Programação matemática e imersões métricas para aproximações em problemas de corte
author Viertel, Santiago
author_facet Viertel, Santiago
author_role author
dc.contributor.other.pt_BR.fl_str_mv Guedes, Andre Luiz Pires, 1966-
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Viertel, Santiago
dc.subject.por.fl_str_mv Dissertações
Ciência da computação
topic Dissertações
Ciência da computação
description Orientador : Prof. Dr. André Luiz Pires Guedes
publishDate 2014
dc.date.accessioned.fl_str_mv 2014-09-30T17:27:17Z
dc.date.available.fl_str_mv 2014-09-30T17:27:17Z
dc.date.issued.fl_str_mv 2014
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 http://hdl.handle.net/1884/36110
url http://hdl.handle.net/1884/36110
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 99f. : il., tabs., grafs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/36110/1/R%20-%20D%20-%20SANTIAGO%20VIERTEL.pdf
https://acervodigital.ufpr.br/bitstream/1884/36110/2/R%20-%20D%20-%20SANTIAGO%20VIERTEL.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/36110/3/R%20-%20D%20-%20SANTIAGO%20VIERTEL.pdf.jpg
bitstream.checksum.fl_str_mv 7e82a1dfa31850f01d7cea5f9f63456c
46a36adc31fa7ade3ce4baac00f27953
6d344e53fa5952e726c4f674ca95c32e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1813898698986356736

Registros relacionados