BCC204 - Teoria dos Grafos

Marco Antonio M. Carvalho

(baseado nas notas de aula do prof. Haroldo Gambini Santos)

Departamento de Computação
Instituto de Ciências Exatas e Biológicas
Universidade Federal de Ouro Preto

11 de março de 2020

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 1 / 28

Avisos

Site da disciplina:
I http://www.decom.ufop.br/marco/
Lista de e-mails:
I bcc204@googlegroups.com
Para solicitar acesso:
I http://groups.google.com/group/bcc204

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 2 / 28

Conteúdo

1 Alcançabilidade

2 Conexidade ou Conectividade

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 3 / 28

Relembrando...

Passeio
Sequência finita de vértices e arestas.

Cadeia
Um passeio que não repete arestas.

Caminho
Uma cadeia sem repetição de vértices.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 4 / 28

Alcançabilidade

Definição
Um vértice w é alcançável a partir do vértice v se houver um caminho
entre w e v .

Definição
O conjunto de vértices alcançáveis a partir de v é, portanto, formado pelos
sucessores de v , os sucessores dos sucessores e assim por diante.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 5 / 28

Alcançabilidade

Definição
Um vértice w é alcançável a partir do vértice v se houver um caminho
entre w e v .

Definição
O conjunto de vértices alcançáveis a partir de v é, portanto, formado pelos
sucessores de v , os sucessores dos sucessores e assim por diante.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 5 / 28

Alcançabilidade

Transitividade
Se w é alcançável a partir de v ;
e se x é alcançável de w ;
então x é alcançável a partir de v .

Transitividade
A relação de alcançabilidade é transitiva.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 6 / 28

Alcançabilidade

Transitividade
Se w é alcançável a partir de v ;
e se x é alcançável de w ;
então x é alcançável a partir de v .

Transitividade
A relação de alcançabilidade é transitiva.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 6 / 28

Fecho Transitivo de um Vértice - Grafo Não Direcionado

Definição
O Fecho Transitivo de um vértice v , denotado por Γ̂(v ), é o conjunto dos
vértices de um grafo alcançáveis a partir de v .

Γ̂(1) = {2, 3, 4}
Γ̂(5) = {}
Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 7 / 28
Fecho Transitivo de um Vértice - Grafo Direcionado

Fecho Transitivo Direto

O Fecho Transitivo Direto de um vértice v , denotado por Γ̂+ (v ), é o
conjunto dos vértices de um grafo alcançáveis a partir de v .
Os vértices em Γ̂+ (v ) são chamados de descendentes ou sucessores de v .

Fecho Transitivo Indireto

O Fecho Transitivo Indireto de um vértice v , denotado por Γ̂− (v ), é o
conjunto dos vértices de um grafo a partir dos quais v é alcançável.
Os vértices em Γ̂− (v ) são chamados de ascendentes ou antecessores de v .

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 8 / 28

Fecho Transitivo Direto e Indireto

Γ̂+ (1) = {2, 3, 4, 5, 7, 9, 10, 13}

Γ̂− (10) = {1, 4}
Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 9 / 28
Conexidade em Grafos Não Direcionados
Definição
Em um GND conexo, todos os vértices são alcançáveis a partir de qualquer
outro.
Em um GND conexo, sempre é possível fazer um passeio fechado que
inclua todos os vértices.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 10 / 28

Conexidade em Grafos Direcionados

Definição
Se G é um grafo direcionado, então ele é considerado conexo quando o seu
grafo não direcionado subjacente é conexo.
O grafo não direcionado subjacente é o grafo resultante quando a
orientação dos arcos de G é ignorada.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 11 / 28

Subgrafos Maximais

Subgrafo
Um grafo Gs = (Vs , As ) é dito ser um subgrafo de um grafo G = (V, A)
se todos os vértices e todas as arestas de Gs estão em G , ou seja, se
Vs ⊆ V e As ⊆ A

Subgrafo Maximal
Um subgrafo Gs de G é dito maximal em relação a uma propriedade τ se
não for subgrafo de nenhum outro subgrafo de G que também possua a
propriedade τ .
O conceito de maximalidade é relacionado a uma condição de pertinência.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 12 / 28

Conexidade

Componentes Conexos
Um componente conexo de um grafo G é um subgrafo conexo maximal de
G.
O número de componentes conexos em G é denotado por c.
Grafos conexos possuem apenas um componente conexo.

Grafo desconexo, componentes conexos e subgrafos não maximais.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 13 / 28

Conexidade em Grafos Direcionados

Grafo Simplesmente Conexo: s-conexo

O grafo subjacente não direcionado obtido através da substituição de todas
as arestas de G por arestas não direcionadas é um grafo conexo.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 14 / 28

Conexidade em Grafos Direcionados

Grafo Semi-Fortemente Conexo: sf-conexo

Para cada par de vértices (v1 , v2 ), existe um caminho de v1 para v2 ou de
v2 para v1 .

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 15 / 28

Conexidade em Grafos Direcionados

Grafo Fortemente Conexo: f-conexo

Para cada par de vértices (v1 , v2 ), existe um caminho direcionado de v1
para v2 e de v2 para v1 .

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 16 / 28

Conexidade em Grafos Direcionados

Componentes Fortemente Conexos

Em um grafo direcionado, componentes fortemente conexos são subgrafos
maximais f-conexos.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 17 / 28

Conexidade ou Conectividade em Vértices

Definição
A conexidade ou conectividade em vértices κ(G ) de um grafo G = (V , E )
é o menor número de vértices cuja remoção desconecta G ou o reduz a um
único vértice.

Atenção
I Conceito aplicado a Grafos Não Direcionados;
I Indica o quanto um grafo é conexo.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 18 / 28

Conexidade ou Conectividade em Vértices

Exemplos de remoções de conjuntos de vértices que desconectam o grafo.

Neste caso, κ(G ) = 1 (figura 2).

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 19 / 28

Conexidade ou Conectividade em Vértices

Grafos Completos
Para grafos completos com n vértices, κ(Kn ) = n − 1.

Grafos Não Completos

Para grafos não completos haverá um par (v1 , v2 ) de vértices não
adjacentes, então temos que:

κ(G ) ≤ n − 2 ∀G 6= Kn

Limite superior para κ(G ) em qualquer grafo:

κ(G ) ≤ δ(G )a
a
δ(G ) : menor grau em um GND.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 20 / 28

Conexidade ou Conectividade em Vértices

Grafos Completos
Para grafos completos com n vértices, κ(Kn ) = n − 1.

Grafos Não Completos

Para grafos não completos haverá um par (v1 , v2 ) de vértices não
adjacentes, então temos que:

κ(G ) ≤ n − 2 ∀G 6= Kn

Limite superior para κ(G ) em qualquer grafo:

κ(G ) ≤ δ(G )a
a
δ(G ) : menor grau em um GND.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 20 / 28

Conexidade ou Conectividade em Vértices

Grafos Completos
Para grafos completos com n vértices, κ(Kn ) = n − 1.

Grafos Não Completos

Para grafos não completos haverá um par (v1 , v2 ) de vértices não
adjacentes, então temos que:

κ(G ) ≤ n − 2 ∀G 6= Kn

Limite superior para κ(G ) em qualquer grafo:

κ(G ) ≤ δ(G )a
a
δ(G ) : menor grau em um GND.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 20 / 28

k-Conexidade ou k-Conectividade
Definição
Um grafo G = (V , E ) é k-conexo se e somente se para todo para
v , w ∈ V , v 6= w existirem ao menos k caminhos disjuntos.

Caminhos Disjuntos
Dois caminhos entre os vértices v e w de um grafo são disjuntos se não
possuírem arestas em comum.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 21 / 28

k-Conexidade ou k-Conectividade

1-Conexo 2-Conexo 3-Conexo

Propriedades
Para todo grafo k-conexo:
κ(G ) ≤ δ(G )
κ(G ) ≤ k

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 22 / 28

k-Conexidade ou k-Conectividade

Exemplos
Grafo borboleta: 2-conexo
K7 : 6-conexo, mas também é 1-conexo, 2-conexo, 3-conexo, 4-conexo e
5-conexo.

k ≥ κ(G ) ≤ δ(G )
Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 23 / 28
Articulação

Aresta de articulação (ou Ponte)

Uma aresta de articulação de um grafo G é uma aresta cuja remoção
resulta na desconexão de G .

A aresta u1 é de articulação. As arestas u3 e u4 não são.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 24 / 28

Articulação

Vértice de articulação
Um vértice de articulação de um grafo G é um vértice cuja remoção resulta
na desconexão de G .

O vértice 4 é de articulação, porém, o vértice 2 não é.

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 25 / 28

Exercícios

Qual a conectividade em vértices do grafo abaixo?

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 26 / 28

Exercícios

Para cada um dos grafos abaixo, determine se é s-conexo, sf-conexo ou

f-conexo.

v1 v2

v3 v4

v5

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 27 / 28

Dúvidas?

Marco Antonio M. Carvalho (UFOP) BCC204 11 de março de 2020 28 / 28