Algoritmos para o problema da clique máxima : análise e comparação experimental

Detalhes bibliográficos
Autor(a) principal: Züge, Alexandre Prusch
Data de Publicação: 2017
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/50193
Resumo: Orientador : Prof. Dr. Renato Carmo
id UFPR_99047d7273ccef275fb60c0d5b2e6685
oai_identifier_str oai:acervodigital.ufpr.br:1884/50193
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaCarmo, Renato Jose da Silva, 1965-Züge, Alexandre Prusch2024-02-02T19:59:41Z2024-02-02T19:59:41Z2017https://hdl.handle.net/1884/50193Orientador : Prof. Dr. Renato CarmoTese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 28/09/2017Inclui referências : f. 107-113Resumo: O problema da Clique Máxima (CM) é um problema fundamental e há uma grande motivação pela busca de algoritmos tão eficientes quanto possível para resolvê-lo de forma exata. Como esperado para um problema NP-difícil, os melhores algoritmos com desempenho de pior caso conhecido tem custo de tempo exponencial. Por outro lado, resultados experimentais encontrados na literatura indicam que instâncias de tamanho considerável podem ser resolvidas usando algoritmos baseados na técnica de branch-and-bound. Com isso, observa-se uma distância entre os melhores resultados analíticos e os melhores resultados experimentais. Uma possível explicação para discrepância aparente entre teoria e prática foi encontrada pela análise de instâncias aleatórias. Diversos algoritmos de branch- and-bound para a solução exata do CM foram estudados, analisados e implementados. Com base nos resultados analíticos é proposta uma metodologia para comparação experimental de algoritmos, que tem como principal ponto positivo o fato de que algoritmos podem ser comparados independente de detalhes de implementação e execução. Vários algoritmos foram testados como prova de conceito. Também foram estudadas instâncias de pior caso para algoritmos de branch-and-bound que só utilizam coloração como limitante superior, resultando em um custo exponencial de tempo para estes algoritmos. Uma nova família de algoritmos foi desenvolvida, capaz de resolver tais instâncias em tempo polinomial. Recentemente, técnicas de resolvedores para problemas de satisfatibilidade têm sido aplicadas em algoritmos para CM. Tais técnicas dependem de uma redução entre os dois problemas, mas o significado em termos do grafo fica obscurecido nas descrições originais. Algumas técnicas foram estudadas e convertidas para uma descrição que não usa termos referentes aos problemas de satisfatibilidade. A implementação de vários algoritmos estudados foi disponibilizada em um repositório de acesso público. Palavras-chave: Solução exata. Branch-and-bound. Análise de algoritmos. Comparação experimental.Abstract: e Maximum Clique problem (CM) is a fundamental problem and there is a great motivation for the development of efficient exact algorithms to solve it. As expected for a NP-hard problem, the best algorithms where worst case analyses have been conducted present exponential running times. On the other hand, experimental results available in the literature show that instances of considerable size can be solved by branch and bound algorithms. Therefore, there is an apparent gap between the best theoretical results and the best experimental results. One possible explanation for this discrepancy between theory and practice was found through the analyses of random instances. Several exact branch and bound algorithm for CM were studied, analyzed and implemented. Based on these analytical results, a new methodology for the comparison of algorithms is proposed, where algorithms can be tested and compared regardless of implementation and execution details. Several algorithms were tested as a proof of concept. Worst case instances for some branch and bound algorithms were studied, namely algorithms that adopt only coloring-based bounding techniques to reduce the search space. These algorithms present exponential time cost for the studied instances. A new family of algorithms was developed, which is able to solve the mentioned instances in polinomial time. Recently, techniques from satisfiability solvers have been used in algorithms for CM. Such techniques depend on a reduction between the problems, and the original descriptions in terms of propositional calculus obscures their graph theoretic meaning. Some of these techniques were studied and converted to a description that uses only graph theory terminology. The implementation of several algorithms was made available in a public access repository. Keywords: Exact solution. Branch-and-bound. Analysis of algorithms. Experimental comparison.113 p. : gráfs., tabs.application/pdfDisponível em formato digitalCiência da computaçãoAlgorítmosTeoria dos grafosAlgoritmos para o problema da clique máxima : análise e comparação experimentalinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - T - ALEXANDRE PRUSCH ZUGE.pdfapplication/pdf8391149https://acervodigital.ufpr.br/bitstream/1884/50193/1/R%20-%20T%20-%20ALEXANDRE%20PRUSCH%20ZUGE.pdfdaa072f6981c6171f319c0dc6bdcd4d0MD51open access1884/501932024-02-02 16:59:41.32open accessoai:acervodigital.ufpr.br:1884/50193Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-02-02T19:59:41Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Algoritmos para o problema da clique máxima : análise e comparação experimental
title Algoritmos para o problema da clique máxima : análise e comparação experimental
spellingShingle Algoritmos para o problema da clique máxima : análise e comparação experimental
Züge, Alexandre Prusch
Ciência da computação
Algorítmos
Teoria dos grafos
title_short Algoritmos para o problema da clique máxima : análise e comparação experimental
title_full Algoritmos para o problema da clique máxima : análise e comparação experimental
title_fullStr Algoritmos para o problema da clique máxima : análise e comparação experimental
title_full_unstemmed Algoritmos para o problema da clique máxima : análise e comparação experimental
title_sort Algoritmos para o problema da clique máxima : análise e comparação experimental
author Züge, Alexandre Prusch
author_facet Züge, Alexandre Prusch
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Carmo, Renato Jose da Silva, 1965-
dc.contributor.author.fl_str_mv Züge, Alexandre Prusch
contributor_str_mv Carmo, Renato Jose da Silva, 1965-
dc.subject.por.fl_str_mv Ciência da computação
Algorítmos
Teoria dos grafos
topic Ciência da computação
Algorítmos
Teoria dos grafos
description Orientador : Prof. Dr. Renato Carmo
publishDate 2017
dc.date.issued.fl_str_mv 2017
dc.date.accessioned.fl_str_mv 2024-02-02T19:59:41Z
dc.date.available.fl_str_mv 2024-02-02T19:59:41Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/50193
url https://hdl.handle.net/1884/50193
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 113 p. : gráfs., tabs.
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/50193/1/R%20-%20T%20-%20ALEXANDRE%20PRUSCH%20ZUGE.pdf
bitstream.checksum.fl_str_mv daa072f6981c6171f319c0dc6bdcd4d0
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860480386465792

Registros relacionados