Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares

Detalhes bibliográficos
Autor(a) principal: Alves, Mateus Rodrigues
Data de Publicação: 2023
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal Fluminense (RIUFF)
Texto Completo: http://app.uff.br/riuff/handle/1/30594
Resumo: Um grafo E/OU é um grafo direcionado acíclico com arestas ponderadas que contém uma única fonte onde a todo vértice é atribuído um rótulo f(v) ∈ {e, ou}. Um subgrafo solução H de um grafo E/OU deve conter a fonte e obedecer a seguinte regra: se um vértice com o rótulo e (respectivamente, ou) estiver em H então todas (respectivamente, exatamente uma) as suas arestas de saída devem pertencer a H. Este problema é conhecido ser NP-Difícil para grafos gerais, e neste trabalho analisaremos a complexidade deste problema quando o grafo de entrada possui a restrição de ser planar ou um grafo apex com exatamente um sumidouro, mostrando que o problema permanece NP-Difícil mesmo em ambos os casos, mas FPT com relação a treewidth do grafo de entrada ou quando parametrizado pelo valor da solução desejada
id UFF-2_3633abdbf03b0a8d0ac283f4452f4276
oai_identifier_str oai:app.uff.br:1/30594
network_acronym_str UFF-2
network_name_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository_id_str 2120
spelling Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planaresGrafos E/OUGrafo PlanarGrafo ApexNP-DificuldadeFPTTreewidthGrafoDecomposição em árvoreComplexidadeAND/OR-GraphsPlanar GraphsApex GraphsNP-HardnessUm grafo E/OU é um grafo direcionado acíclico com arestas ponderadas que contém uma única fonte onde a todo vértice é atribuído um rótulo f(v) ∈ {e, ou}. Um subgrafo solução H de um grafo E/OU deve conter a fonte e obedecer a seguinte regra: se um vértice com o rótulo e (respectivamente, ou) estiver em H então todas (respectivamente, exatamente uma) as suas arestas de saída devem pertencer a H. Este problema é conhecido ser NP-Difícil para grafos gerais, e neste trabalho analisaremos a complexidade deste problema quando o grafo de entrada possui a restrição de ser planar ou um grafo apex com exatamente um sumidouro, mostrando que o problema permanece NP-Difícil mesmo em ambos os casos, mas FPT com relação a treewidth do grafo de entrada ou quando parametrizado pelo valor da solução desejadaAn AND/OR graph is an acyclic directed graph with weighted edges that contains a single source where every vertex is assigned a label f(v) ∈ {e, or}. A subgraph solution H of an AND/OR graph must contain the source and obey the following rule: if a vertex of type and (respectively, or ) is in H then all (respectively, exactly one) its output edges must belong to H. This problem is known being NP-Hard for general graphs, and in this paper we will analyse the complexity of this problem when the input graph has the constraint of being planar or a apex graph with exactly one sync, showing that the problem remains NP-Hard in both cases, but is FPT with relation to treewidth of the input graph or parameterized by the value of the desired solution35 p.Souza, UévertonProtti, FábioBravo, RaquelAlves, Mateus Rodrigues2023-09-26T14:37:53Z2023-09-26T14:37:53Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfALVES, Mateus Rodrigues. Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares. 2018. 35 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Computação, Universidade Federal Fluminense, Niterói, 2018.http://app.uff.br/riuff/handle/1/30594CC-BY-SAinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)instname:Universidade Federal Fluminense (UFF)instacron:UFF2023-09-26T14:37:57Zoai:app.uff.br:1/30594Repositório InstitucionalPUBhttps://app.uff.br/oai/requestriuff@id.uff.bropendoar:21202024-08-19T11:13:49.525575Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)false
dc.title.none.fl_str_mv Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
title Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
spellingShingle Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
Alves, Mateus Rodrigues
Grafos E/OU
Grafo Planar
Grafo Apex
NP-Dificuldade
FPT
Treewidth
Grafo
Decomposição em árvore
Complexidade
AND/OR-Graphs
Planar Graphs
Apex Graphs
NP-Hardness
title_short Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
title_full Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
title_fullStr Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
title_full_unstemmed Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
title_sort Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares
author Alves, Mateus Rodrigues
author_facet Alves, Mateus Rodrigues
author_role author
dc.contributor.none.fl_str_mv Souza, Uéverton
Protti, Fábio
Bravo, Raquel
dc.contributor.author.fl_str_mv Alves, Mateus Rodrigues
dc.subject.por.fl_str_mv Grafos E/OU
Grafo Planar
Grafo Apex
NP-Dificuldade
FPT
Treewidth
Grafo
Decomposição em árvore
Complexidade
AND/OR-Graphs
Planar Graphs
Apex Graphs
NP-Hardness
topic Grafos E/OU
Grafo Planar
Grafo Apex
NP-Dificuldade
FPT
Treewidth
Grafo
Decomposição em árvore
Complexidade
AND/OR-Graphs
Planar Graphs
Apex Graphs
NP-Hardness
description Um grafo E/OU é um grafo direcionado acíclico com arestas ponderadas que contém uma única fonte onde a todo vértice é atribuído um rótulo f(v) ∈ {e, ou}. Um subgrafo solução H de um grafo E/OU deve conter a fonte e obedecer a seguinte regra: se um vértice com o rótulo e (respectivamente, ou) estiver em H então todas (respectivamente, exatamente uma) as suas arestas de saída devem pertencer a H. Este problema é conhecido ser NP-Difícil para grafos gerais, e neste trabalho analisaremos a complexidade deste problema quando o grafo de entrada possui a restrição de ser planar ou um grafo apex com exatamente um sumidouro, mostrando que o problema permanece NP-Difícil mesmo em ambos os casos, mas FPT com relação a treewidth do grafo de entrada ou quando parametrizado pelo valor da solução desejada
publishDate 2023
dc.date.none.fl_str_mv 2023-09-26T14:37:53Z
2023-09-26T14:37:53Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv ALVES, Mateus Rodrigues. Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares. 2018. 35 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Computação, Universidade Federal Fluminense, Niterói, 2018.
http://app.uff.br/riuff/handle/1/30594
identifier_str_mv ALVES, Mateus Rodrigues. Análise de complexidade do problema de encontrar um subgrafo solução ótimo para grafos E/OU planares. 2018. 35 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Computação, Universidade Federal Fluminense, Niterói, 2018.
url http://app.uff.br/riuff/handle/1/30594
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv CC-BY-SA
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC-BY-SA
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)
instname:Universidade Federal Fluminense (UFF)
instacron:UFF
instname_str Universidade Federal Fluminense (UFF)
instacron_str UFF
institution UFF
reponame_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
collection Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)
repository.mail.fl_str_mv riuff@id.uff.br
_version_ 1811823556662657024