Conceito Bsicos da Teoria de Grafos

GRAFO
Um grafo G(V,A) definido pelo par de conjuntos V e A, onde:
V - conjunto no vazio: os vrtices ou nodos do grafo;
A - conjunto de pares ordenados a=(v,w), v e w V: as arestas do grafo.
Seja, por exemplo, o grafo G(V,A) dado por:
V = { p | p uma pessoa }
A = { (v,w) | < v amigo de w > }
Esta definio representa toda uma famlia de grafos. Um
exemplo de elemento desta famlia (ver G
1
) dado por:
V = { Maria, Pedro, Joana, Luiz }
A = { (Maria, Pedro), (Pedro, Maria), (Joana, Maria),
(Maria, Joana), (Pedro, Luiz), (Luiz, Pedro), (Joana,
Pedro) , (Pedro, Joana) }
G
1
:

Neste exemplo estamos considerando que a relao <v amigo de w> uma relao simtrica,
ou seja, se <v amigo de w> ento <w amigo de v>. Como conseqncia, as arestas que ligam
os vrtices no possuem qualquer orientao
DIGRAFO (Grafo Orientado)
Considere, agora, o grafo definido por:
V = { p | p uma pessoa da famlia Castro }
A = { (v,w) | < v pai/me de w > }
Um exemplo de deste grafo (ver G
2
) :
V = { Emerson, Isadora, Renata, Antonio, Ceclia,
Alfredo }
A = {(Isadora, Emerson), (Antonio, Renata), (Alfredo,
Emerson), (Ceclia, Antonio), (Alfredo, Antonio)}
G
2
:

A relao definida por A no simtrica pois se <v pai/me de w>, no o caso de <w
pai/me de v>. H, portanto, uma orientao na relao, com um correspondente efeito na
representao grfica de G.
O grafo acima dito ser um grafo orientado (ou digrafo), sendo que as conexes entre os
vrtices so chamadas de arcos.

ORDEM
A ordem de um grafo G dada pela cardinalidade do conjunto de vrtices, ou seja, pelo nmero
de vrtices de G. Nos exemplos acima:
ordem(G
1
) = 4
ordem(G
2
) = 6
ADJACNCIA
Em um grafo simples (a exemplo de G
1
) dois vrtices v e w so adjacentes (ou vizinhos) se h
uma aresta a=(v,w) em G. Est aresta dita ser incidente a ambos, v e w. o caso dos vrtices
Maria e Pedro em G
1
. No caso do grafo ser dirigido (a exemplo de G
2
), a adjacncia
(vizinhana) especializada em:
Sucessor: um vrtice w sucessor de v se h um arco que parte de v e chega em w. Em G
2
, por
exemplo, diz-se que Emerson e Antonio so sucessores de Alfredo.
Antecessor: um vrtice v antecessor de w se h um arco que parte de v e chega em w. Em G
2
,
por exemplo, diz-se que Alfredo e Ceclia so antecessores de Antonio.
GRAU
O grau de um vrtice dado pelo nmero de arestas que lhe so incidentes. Em G
1
, por exemplo:
grau(Pedro) = 3
grau(Maria) = 2
No caso do grafo ser dirigido (a exemplo de G
2
), a noo de grau especializada em:
Grau de emisso: o grau de emisso de um vrtice v corresponde ao nmero de arcos que
partem de v. Em G
2
, por exemplo:
grauDeEmisso(Antonio) = 1
grauDeEmissao(Alfredo) = 2
grauDeEmissao(Renata) = 0
Grau de recepo: o grau de recepo de um vrtice v corresponde ao nmero de arcos que
chegam a v. Em G
2
, por exemplo:
grauDeRecepo(Antonio) = 2
grauDeRecepo(Alfredo) = 0
grauDeRecepo(Renata) = 1

FONTE
Um vrtice v uma fonte se grauDeRecepo(v) = 0. o caso dos vrtices Isadora, Alfredo e
Ceclia em G
2
.
SUMIDOURO
Um vrtice v um sumidouro se grauDeEmisso(v) = 0. o caso dos vrtices Renata e Emerson
em G
2
.
LAO
Um lao uma aresta ou arco do tipo a=(v,v), ou seja, que relaciona um
vrtice a ele prprio. Em G
3
h trs ocorrncias de laos para um grafo no
orientado.
G
3
:

GRAFO REGULAR
Um grafo dito ser regular quando todos os seus
vrtices tem o mesmo grau.
O grafo G
4
, por exemplo, dito ser um grafo regular-
3 pois todos os seus vrtices tem grau 3.
G
4
:

GRAFO COMPLETO
Um grafo dito ser completo quando h uma aresta
entre cada par de seus vrtices. Estes grafos so
designados por K
n
, onde n a ordem do grafo.


Um grafo K
n
possui o nmero mximo possvel de arestas para um dados n. Ele , tambm
regular-(n-1) pois todos os seus vrtices tem grau n-1.
GRAFO BIPARTIDO
Um grafo dito ser bipartido quando seu conjunto de vrtices V puder ser particionado em dois
subconjuntos V
1
e V
2
, tais que toda aresta de G une um vrtice de V
1
a outro de V
2
.
Para exemplificar, sejam os conjuntos H={h | h um
homem} e M={m | m um mulher} e o grafo G(V,A)
(ver o exemplo G
5
) onde:
V = H U M
A = {(v,w) | (v H e w M) ou (v
M e w H)
e <v foi namorado de w>}
G
5
:

O grafo G
6
uma K
3,3
, ou seja, um grafo bipartido
completo que contm duas parties de 3 vrtices
cada. Ele completo pois todos os vrtices de uma
partio esto ligados a todos os vrtices da outra
partio.
G
6
:
K
3,3

GRAFO ROTULADO
Um grafo G(V,A) dito ser rotulado em vrtices (ou arestas) quando a cada vrtice (ou aresta)
estiver associado um rtulo. G
5
um exemplo de grafo rotulado.
GRAFO VALORADO
Um grafo G(V,A) dito ser valorado quando existe
uma ou mais funes relacionando V e/ou A com um
conjunto de nmeros.
Para exemplificar (ver o grafo G
7
), seja G(V,A) onde:
V = {v | v uma cidade com aeroporto}
A = {(v,w,t) | <h linha area ligando v a w,
sendo t o tempo esperado de voo>}
G
7
:

MULTIGRAFO
Um grafo G(V,A) dito ser um multigrafo quando
existem mltiplas arestas entre pares de vrtices de
G. No grafo G
8
, por exemplo, h duas arestas entre os
vrtices A e C e entre os vrtices A e B,
caracterizando-o como um multigrafo.
G
8
:

SUBGRAFO
Um grafo G
s
(V
s
, A
s
) dito ser subgrafo de um grafo
G(V,A) quando V
s
V e A
s
A. O grafo G
9
, por
exemplo, subgrafo de G
8
.
G
9
:

HIPERGRAFO
Um hipergrafo H(V,A) definido pelo par de
conjuntos V e A, onde:
V - conjunto no vazio;
A - uma famlia e partes no vazias de V.
Seja, por exemplo, o grafo H(V,A) dado por:
V = { x
1
, x
2
, x
3
, x
4
}
A = { {x
1
, x
2
, x
4
}, {x
2
, x
3
, x
4
}, {x
2
, x
3
}}
G
10
:


CADEIA
Uma cadeia uma sequncia qualquer de arestas adjacentes
que ligam dois vrtices. O conceito de cadeia vale tambm
para grafos orientados, bastando que se ignore o sentido da
orientao dos arcos. A seqncia de vrtices (x
6
, x
5
, x
4
, x
1
)
um exemplo de cadeia em G
11
.
Uma cadeia dita ser elementar se no passa duas vezes
pelo mesmo vrtice.
dita ser simples se no passa duas vezes pela mesma aresta
(arco).
O comprimento de uma cadeia o nmero de arestas (arcos)
que a compe.
G
11
:

CAMINHO
Um caminho uma cadeia na qual todos os arcos possuem a mesma orientao. Aplica-se,
portanto, somente a grafos orientados. A seqncia de vrtices (x
1
, x
2
, x
5
, x
6
, x
3
) um exemplo
de caminho em G
11
.
CICLO
Um ciclo uma cadeia simples e fechada (o vrtice inicial o mesmo que o vrtice final). A
seqncia de vrtices (x
1
, x
2
, x
3
, x
6
, x
5
, x
4
, x
1
) um exemplo de ciclo elementar em G
11
.
CIRCUITO
Um circuito um caminho simples e fechado. A seqncia de vrtices (x
1
, x
2
, x
5
, x
4
, x
1
) um
exemplo de circuito elementar em G
11
.
FECHO TRANSITIVO
O fecho transitivo direto (ftd) de um vrtice v o conjunto de todos os vrtices que podem ser
atingidos por algum caminho iniciando em v. O ftd do vrtice x
5
do grafo G
17
, por exemplo, o
conjunto: {x
1
, x
2
, x
3
, x
4
, x
5
, x
6
}. Note que o prprio vrtice faz parte do ftd j que ele
alcanvel partindo-se dele mesmo.
O fecho transitivo inverso (fti) de um vrtice v o conjunto de todos os vrtices a partir dos
quais se pode atingir v por algum caminho. O fti do vrtice x
5
do grafo G
17
, por exemplo, o
conjunto: {x
1
, x
2
, x
4
, x
5
, x
7
}. Note que o prprio vrtice faz parte do fti j que dele se pode
alncanar ele mesmo.

GRAFO CONEXO
Um grafo G(V,A) dito ser conexo se h pelo
menos uma cadeia ligando cada par de vrtices
deste grafo G.
G
12
:

G
13
:

GRAFO DESCONEXO
Um grafo G(V,A) dito ser desconexo se h pelo
menos um par de vrtices que no est ligado por
nenhuma cadeia.
G
14
:

COMPONENTE CONEXA
Um grafo G(V,A) desconexo formado por pelo
menos dois subgrafos conexos, disjuntos em
relao aos vrtices e maximais em relao
incluso. Cada um destes subgrafos conexos
disto ser uma componente conexa de G.
G
15
:

GRAFO FORTEMENTE CONEXO
No caso de grafos orientados, um grafo dito ser
fortemente conexo (f-conexo) se todo par de
vrtices est ligado por pelo menos um caminho
em cada sentido, ou seja, se cada par de vrtices
participa de um circuito. Isto significa que cada
vrtice pode ser alcanvel partindo-se de
qualquer outro vrtice do grafo.
G
16
:

COMPONENTE FORTEMENTE CONEXA
Um grafo G(V,A) que no fortemente conexo
formado por pelo menos dois subgrafos
fortemente conexos, disjuntos em relao aos
vrtices e maximais em relao incluso. Cada
um destes subgrafos disto ser uma componente
fortemente conexa de G, a exemplo dos subgrafos
identificados por S
1
, S
2
e S
3
em G
17
.
G
17
:

VRTICE DE CORTE
Um vrtice dito ser um vrtice de corte se sua remoo (juntamente com as arestas a ele
conectadas) provoca um reduo na conexidade do grafo. Os vrtices x
2
em G
13
e G
14
so
exemplos de vrtices de corte.
PONTE
Uma aresta dita ser um a ponte se sua remoo provoca um reduo na conexidade do grafo.
As arestas (x
1
, x
2
) em G
13
e G
14
so exemplos de pontes.

BASE
Uma base de um grafo G(V,A) um subconjunto B V, tal que:
dois vrtices quaisquer de B no so ligados por nenhum
caminho;
todo vrtice no pertencente a B pode ser atingido por
um caminho partindo de B.

G
18
:

ANTI-BASE
Uma anti-base de um grafo G(V,A) um subconjunto A V, tal
que:
dois vrtices quaisquer de A no so ligados por nenhum
caminho;
de todo vrtice no pertencente a A pode ser atingir A
por um caminho.
RAIZ
Se a base de um grafo G(V,A) um conjunto unitrio, ento esta
base a raiz de G.
G
19
:

ANTI-RAIZ
Se a anti-base de um grafo G(V,A) um conjunto unitrio, ento
esta anti-base a anti-raiz de G.

RVORE
Uma rvore um grafo conexo sem ciclos.
Seja G(V,A) um grafo com ordem n 2. As propriedades
seguintes so equivalentes e suficientes para caracterizar G
como uma rvore:
1. G conexo e sem ciclos;
2. G sem ciclos e tem n-1 arestas;
3. G conexo e tem n-1 arestas;
4. G sem ciclos e por adio de uma aresta se cria um
ciclo e somente um;
5. G conexo, mas deixa de s-lo se uma aresta suprimida
(todas as arestas so pontes);
6. todo par de vrtices de G unido por uma e somente uma
cadeia simples.
G
20
:

ARBORESCNCIA
Uma arborescncia uma rvore que possui uma raiz. Aplica-se,
portanto, somente a grafos orientados.
G
21
:

FLORESTA
Uma floresta um grafo cujas componentes conexas so
rvores.
G
22
:


GRAFO PLANAR
Um grafo G(V,A) dito ser planar quando existe alguma
forma de se dispor seus vrtices em um plano de tal modo
que nenhum par de arestas se cruze.
Ao lado aparecem trs representaes grficas distintas
para uma K
4
(grafo completo de ordem 4). Apesar de haver
um cruzamento de arestas na primeira das representaes
grficas, a K
4
um grafo planar pois admite pelo menos
uma representao num plano sem que haja cruzamento de
arestas (duas possveis representaes aparecem nas figuras
ao lado).
K
4
:


J uma K
5
e uma K
3,3
so exemplos de grafos no planares.
Estes dois grafos no admitem representaes planares.
K
3,3
:

K
5
:

COLORAO
Seja G(V,A) um grafo e C um conjunto de cores. Uma
colorao de G uma atribuio de alguma cor de C para
cada vrtice de V, de tal modo que a dois vrtices
adjacentes sejam atribudas cores diferentes. Assim sendo,
uma colorao de G uma funo f: V C tal que para
cada par de vrtices (v,w) A f(v) f(w).
Uma k-colorao de G uma colorao que utiliza um total
de k cores. O exemplo ao lado mostra um 4-colorao para
o grafo.

NMERO CROMTICO
Denomina-se nmero cromtico X(G) de um grafo G ao
menor nmero de cores k, para o qual existe uma k-
colorao de G. O exemplo ao lado mostra uma 3-
colorao para o grafo, que o nmero cromtico deste
grafo.


ISOMORFISMO
Sejam dois grafos G
1
(V
1
,A
1
) e G
2
(V
2
,A
2
). Um isomorfismo
de G
1
sobre G
2
um mapeamento bijetivo f: V
1
V
2
tal que
(x,y) A
1
se e somente se (f(x),f(y)) A
2
, para todo x,y
V
1
.
Os grafos ao lado so isomorfos pois h a funo { (a,2),
(b,1), (c,3), (d,4), (e,6), (f,5) } que satisfaz a condio
descrita acima.



SCIE (Subconjunto Internamente Estvel) (por vezes tambm
conhecido como conjunto independente)
Seja G(V,A) um grafo no orientado. Diz-se que S V um
subconjunto internamente estvel se dois vrtices quaisquer de S
nunca so adjacentes entre si. Para o grafo ao lado, so exemplos de
SCIE os conjuntos:
{2, 3}, {1, 4} e {2, 3, 4}
Agora, se dado um SCIE S no existe um outro SCIE S' tal que S'
S, ento S dito ser um SCIE maximal. Para o grafo ao lado, so
exemplos de SCIE maximais os conjuntos:
{2, 3, 4}, {1, 6} e {4, 5}


SCEE (Subconjunto Externamente Estvel) (por vezes
tambm conhecido como conjunto absorvente)
Seja G(V,A) um grafo orientado. Diz-se que T V um
subconjunto externamente estvel se todo vrtice no
pertencente a T tiver pelo menos um vrtice de T como

sucessor.
Agora, se dado um SCEE S no existe um outro SCEE S' tal
que S' S, ento S dito ser um SCEE minimal. Para o grafo
ao lado, so exemplos de SCEE minimais os conjuntos:
{x
2
, x
4
, x
6
} e {x
1
, x
5
, x
3
}
Este conceito tambm pode ser aplicado a grafos no
orientados, bastando que consideremos que todo vrtice
exterior a T deva ter como adjacente pelo menos um vrtice
de T.