Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima

Detalhes bibliográficos
Ano de defesa: 2020
Autor(a) principal: Correa, Matheus Vinicius, 1995-
Orientador(a): Carmo, Renato Jose da Silva, 1965-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Algorítmos
Ciência da Computação
Link de acesso: https://hdl.handle.net/1884/69599
Resumo: Orientador: Prof. Dr. Renato Carmo
id UFPR_4d231843fd422f9949e2b0a0c2430cd9
oai_identifier_str oai:acervodigital.ufpr.br:1884/69599
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Correa, Matheus Vinicius, 1995-Züge, Alexandre Prusch, 1985-Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaCarmo, Renato Jose da Silva, 1965-2021-06-21T18:46:00Z2021-06-21T18:46:00Z2020https://hdl.handle.net/1884/69599Orientador: Prof. Dr. Renato CarmoCoorientador: Prof. Dr. Alexandre Prusch ZügeDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa : Curitiba, 20/08/2020Inclui referências: p. 98-106Resumo: O problema da Clique Máxima (CM) é o problema de encontrar uma clique de tamanho máximo em um grafo dado. Existem algoritmos de solução exata que fazem uso da técnica de branch and bound para o CM que utilizam a coloração de vértices com menor número possível de cores como limitante superior. Assim como o CM, o problema de coloração de vértices é um problema difícil do ponto de vista computacional, contudo pode ser resolvido em complexidade de tempo linear quando restrito a certas classes de grafos. O algoritmo conhecido como Busca em Largura Lexicográfica (LexBFS) é capaz de produzir ordenações dos vértices de algumas classes de grafos que levam à solução de problemas difíceis em tempo polinomial. O objetivo deste trabalho é estudar algoritmos branch and bound que utilizam coloração de vértices na solução do CM, porém modificados com o Algoritmo LexBFS. Para avaliar tais modificações, foram empregados métodos da Análise de Experimental de Algoritmos. Com isso, foi possível fazer inferências sobre os resultados obtidos utilizando o método estatístico de teste de hipótese. A conclusão que se chega após a modificação com o Algoritmo LexBFS é que o espaço de busca necessário é menor, mas o tempo de execução é maior. Palavras-chaves: Busca em Largura Lexicográfica. Algoritmos para o Problema da Clique Máxima. Análise Experimental de Algoritmos.Abstract: The Maximum Clique (MC) problem is the problem of finding a maximum size clique on a given graph. There are exact solution algorithms that use the branch and bound technique for MC and a coloring of graph vertices with as few colors as possible as the upper bound. As MC, the vertex coloring problem is a computationally difficult problem, however it can be solved in linear time complexity when restricted to certain graph classes. The algorithm known as Lexicographic Breadth-first Search (LexBFS) is capable of producing vertex ordering of some classes of graphs with properties that lead to the solution of difficult problems in polynomial time. The aim of this work is to study branch and bound algorithms that use vertex coloring to solve MC, but modified with the LexBFS algorithm. To evaluate such changes, methods of Experimental Analysis of Algorithms were used. Thus, it was possible to make inferences about the results obtained using the statistical method of hypothesis testing. The conclusion that is reached after the modification with the LexBFS algorithm is that, the search space is smaller, but the execution time was longer. Key-words: Lexicographic Breadth-first Search. Maximum Clique Problem Algorithms. Experimental Analysis of Algorithms.134 p. : il.application/pdfAlgorítmosCiência da ComputaçãoBusca em largura lexicográfica e algoritmos de solução exata para o problema da clique máximainfo: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 - MATHEUS VINICIUS CORREA.pdfapplication/pdf1365900https://acervodigital.ufpr.br/bitstream/1884/69599/1/R%20-%20D%20-%20MATHEUS%20VINICIUS%20CORREA.pdf81a3d13d423cf8cc49e08cdb8b754bceMD51open access1884/695992021-06-21 15:46:00.355open accessoai:acervodigital.ufpr.br:1884/69599Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082021-06-21T18:46Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
title Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
spellingShingle Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
Correa, Matheus Vinicius, 1995-
Algorítmos
Ciência da Computação
title_short Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
title_full Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
title_fullStr Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
title_full_unstemmed Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
title_sort Busca em largura lexicográfica e algoritmos de solução exata para o problema da clique máxima
author Correa, Matheus Vinicius, 1995-
author_facet Correa, Matheus Vinicius, 1995-
author_role author
dc.contributor.other.pt_BR.fl_str_mv Züge, Alexandre Prusch, 1985-
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Correa, Matheus Vinicius, 1995-
dc.contributor.advisor1.fl_str_mv Carmo, Renato Jose da Silva, 1965-
contributor_str_mv Carmo, Renato Jose da Silva, 1965-
dc.subject.por.fl_str_mv Algorítmos
Ciência da Computação
topic Algorítmos
Ciência da Computação
description Orientador: Prof. Dr. Renato Carmo
publishDate 2020
dc.date.issued.fl_str_mv 2020
dc.date.accessioned.fl_str_mv 2021-06-21T18:46:00Z
dc.date.available.fl_str_mv 2021-06-21T18:46: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/1884/69599
url https://hdl.handle.net/1884/69599
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 134 p. : il.
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/69599/1/R%20-%20D%20-%20MATHEUS%20VINICIUS%20CORREA.pdf
bitstream.checksum.fl_str_mv 81a3d13d423cf8cc49e08cdb8b754bce
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 informacaodigital@ufpr.br
_version_ 1847526132324237312

Registros relacionados