Use este identificador para citar ou linkar para este item: http://repositorio.ufc.br/handle/riufc/85864
Tipo: TCC
Título: Cobertura por vértices mínima em classes de grafos com grau máximo três
Autor(es): Barros, Gustavo Fernandes de
Orientador: Luiz, Atílio Gomes
Palavras-chave em português: cobertura por vértices;teoria dos grafos;grafos snarks
CNPq: CNPQ: CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
Data do documento: 2026
Citação: BARROS, Gustavo Fernandes de. Cobertura por vértices mínima em classes de grafos com grau máximo três. 2026. 60 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Campus de Quixadá, Universidade Federal do Ceará, Quixadá, 2026.
Resumo: Dado um grafo G=(V(G),E(G)), uma cobertura por vértices de G consiste em um subconjunto C ⊆V(G) tal que, para toda aresta uv ∈ E(G), tem-se que u ∈ C ou v ∈C. O número de cobertura de um grafo G, denotado por τ(G), é o tamanho de uma cobertura por vértices mínima de G. Nesse contexto, propôs-se o estudo teórico do problema da cobertura por vértices na família dos grafos snarks, definidos como grafos cúbicos, simples, sem arestas de corte e que não admitem coloração de arestas própria com três cores. O objetivo central foi investigar propriedades estruturais desses grafos com vistas à obtenção de novos limitantes para o tamanho da cobertura por vértices mínima na família dos snarks-flor, snarks de Goldberg, snarks de Blanuša Generalizados e snarks de Loupekine. Inicialmente, investigamos o snark-flor Fn, determinando o parâmetro τ(Fn) = 2n+1. Este resultado fundamentou-se na dualidade entre a cobertura por vértices mínima e o conjunto independente máximo. Em relação aos snarks de Goldberg Gn, estabelecemos que τ(Gn) = 9n 2 . Ademonstração apoiou-se na decomposição em subgrafos disjuntos e na estrutura do grafo, composta por ciclos induzidos de tamanho ímpar, para os quais já existem limitantes bem definidos na literatura. Para a primeira família de snarks de Blanuša Generalizados, B1 n, obtivemos τ(B1 n) = 14n+17 3 . Alémdeutilizarmos os ciclos induzidos e a existência de subgrafos disjuntos, a análise baseou-se nas propriedades estruturais do grafo, explorando a periodicidade de seus blocos para identificar um padrão de cobertura válido. Por fim, para os snarks de Loupekine Ln (baseados em LP0 e LP1 com arestas direto-cruzado), o parâmetro foi fixado em τ(Ln) = 4n. Este valor foi obtido principalmente através da análise dos ciclos induzidos C5 presentes na estrutura do grafo.
Abstract: Given a graph G =(V(G),E(G)), a vertex cover of G consists of a subsetC ⊆V(G) such that, for every edge uv ∈ E(G), either u ∈C or v ∈C. The vertex cover number of a graph G, denoted by τ(G), is the size of a minimum vertex cover of G. In this context, a theoretical study of the vertex cover problem was proposed for the family of snark graphs, defined as cubic, simple, bridgeless graphs that do not admit a proper 3-edge-coloring. The central objective was to investigate the structural properties of these graphs to obtain new bounds for the minimum vertex cover size in the families of Flower snarks, Goldberg snarks, Generalized Blanuša snarks, and Loupekine snarks. Initially, we investigated the Flower snark Fn, determining the parameter τ(Fn) = 2n+1. This result was based on the duality between the minimum vertex cover and the maximumindependent set. Regarding the Goldberg snarks Gn, we established that τ(Gn)= 9n 2 . The proof relied on the decomposition into disjoint subgraphs and the graph’s structure, which is composed of induced odd cycles for which well-defined bounds already exist in the literature. For the first family of Generalized Blanuša snarks, B1 n, we obtained τ(B1 n) = 14n+17 3 . Inaddition to utilizing induced cycles and the existence of disjoint subgraphs, the analysis was based on the structural properties of the graph, exploring the periodicity of its blocks to identify a valid cover pattern. Finally, for the Loupekine snarks Ln (based on LP0 and LP1 with direct-cross edges), the parameter was fixed at τ(Ln) = 4n. This value was obtained primarily through the analysis of the induced C5 cycles present in the graph structure.
URI: http://repositorio.ufc.br/handle/riufc/85864
ORCID do Orientador: https://orcid.org/0000-0002-6177-403X
Currículo Lattes do Orientador: http://lattes.cnpq.br/7364915463901013
Tipo de Acesso: Acesso Aberto
Aparece nas coleções:CIÊNCIA DA COMPUTAÇÃO-QUIXADÁ - Monografias

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
2026_tcc_gfbarros.pdf699,66 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.