1

DIGRAFOS
Esta pgina define um objeto combinatrio conhecido como digrafo ou grafo dirigido ou
ainda grafo orientado. Digrafos so importantes modelos para uma grande variedade de
problemas de engenharia, computao, matemtica, economia, biologia, etc.

Definies bsicas
Um digrafo (= digraph = directed graph) uma coisa que consiste em dois conjuntos: um
conjunto de coisas conhecidas como vrtices e um conjunto de coisas conhecidas
como arcos. Cada arco um par ordenado de vrtices. O primeiro vrtice do par a ponta
inicial do arco e o segundo a ponta final.
A ponta final de todo arco diferente de sua ponta inicial. Um arco com ponta inicial v e
ponta final w ser denotado por
v-w
preciso estar atento ao contexto para no confundir essa expresso com "v menos w".)
Dizemos que o arco v-w sai de v e entra em w. A presena de um arco v-w independente
da presena do arco w-v: o digrafo pode ter os arcos v-w e w-v, pode ter apenas um deles, ou
pode no ter nenhum deles.
Dizemos que um vrtice w vizinho de um vrtice v se v-w um arco do digrafo.
Dizemos tambm, nessa circunstncia, que w adjacente a v. A relao de vizinhana no
simtrica: w pode ser vizinho de v sem que v seja vizinho de w.

Exemplo
Uma boa maneira de especificar um digrafo exibir o seu conjunto de arcos. Por exemplo, o
conjunto de arcos
0-5 0-6 2-0 2-3 3-6 3-10 4-1 5-2 5-10 6-2 7-8 8-1 8-4 10-3 11-8
define um dgrafo sobre o conjunto de vrtices 0..11. O vrtice 9 isolado.

Arcos antiparalelos e "arcos paralelos"

Dois arcos so antiparalelos se a ponta inicial de um a ponta final do outro e vice-versa.
Em outras palavras, dois arcos so antiparalelos se um da forma v-w e o outro da forma wv.
Poderamos tentar dizer que dois arcos so "paralelos" (ou "repetidos") se tm a mesma ponta
inicial e a mesma ponta final. Mas esse conceito no faz sentido sob nossas definies, uma
vez que arcos so meros pares de vrtices e portanto dois arcos diferentes no podem ter a
mesma ponta inicial e a mesma ponta final. Portanto, os digrafos no tm arcos "paralelos".

Leques e graus de vrtices

O leque de sada (= fan-out) de um vrtice num digrafo o conjunto de todos os arcos que
saem do vrtice. O leque de entrada (= fan-in) de um vrtice o conjunto de todos os arcos
que entram no vrtice. O leque (= fan) de um vrtice a unio dos leques de sada e de
entrada do vrtice.
O grau de sada (= outdegree) de um vrtice num digrafo o tamanho do seu leque de
entrada, ou seja, o nmero de arcos que saem do vrtice. O grau de entrada (= indegree) o
tamanho do leque de entrada do vrtice. O grau (= degree) a soma dos graus de entrada e
sada do vrtice.
Uma fonte (= source) um vrtice que tem grau de entrada nulo. Um sorvedouro (= sink)
um vrtice que tem grau de sada nulo.

Um vrtice isolado se seu grau de entrada e seu grau de sada so ambos nulos. claro que
um digrafo sem vrtices isolados completamente definido pelo seu conjunto de arcos.

Nmero de arcos
fcil verificar que a soma dos graus de sada de todos os vrtices de um digrafo igual ao
nmero de arcos do digrafo. A soma dos graus de entrada de todos os vrtices tambm
igual ao nmero de arcos. Segue da que um digrafo com V vrtices tem no mximo
V(V1)
arcos. Esse nmero apenas um pouco menor que V2. Um digrafo completo se todo par
ordenado de vrtices distintos um arco. Um digrafo completo com V vrtices tem
exatamente V(V1) arcos.
Um digrafo denso se tem muitos arcos em relao ao nmero de vrtices e esparso de se tem
poucos arcos. Mais precisamente, um digrafo densose o seu nmero de arcos da mesma
ordem que o quadrado do nmero de vrtices, digamos V2/10, ou V2/100, ou algo assim. Um
digrafo esparso se seu nmero de arcos da mesma ordem que V, digamos 10V, ou V/2, ou
algo assim. claro que essas definies s fazem sentido no contexto de uma famlia infinita
de digrafos, e no para um digrafo individual.

Digrafos simtricos e grafos

Um digrafo simtrico se cada um de seus arcos antiparalelo a algum outro arco: para
cada arco v-w, o digrafo tambm tem o arco w-v. Por exemplo, o conjunto de arcos abaixo
define um digrafo simtrico.
0-1 1-0 0-5 5-0 1-5 5-1 2-4 4-2 3-1 1-3 5-3 3-5
Num digrafo simtrico, a relao de adjacncia simtrica: um vrtice w adjacente a um
vrtice v se e somente se v adjacente a w. (O mesmo se aplica ao
sinnimo vizinho de adjacente.)

Um grafo (= graph) o mesmo que um digrafo simtrico. Os arcos de um grafo andam aos
pares: cada arco v-w acompanhado do arco w-v. Convm tratar esse par de arcos como
uma nova entidade. Assim, diremos que um par de arcos antiparalelos uma aresta
(= edge). Qualquer um dos dois arcos da aresta pode ser usado para representar a aresta.
Assim, podemos dizer que
0-1 0-5 1-5 2-4 3-1 5-3
o conjunto de arestas do grafo mencionado no exemplo acima. O nmero de arestas de um
grafo a metade do seu nmero de arcos: se E denota o nmero de arestas e A denota o
nmero de arcos ento E = A/2. Diremos que uma aresta v-w liga os vrtices v e w.
Diremos tambm que v-wincide em v e em w.
Num digrafo simtrico, todo vrtice tem grau de entrada igual ao grau de sada. Assim,
o grau de um vrtice em um grafo pode ser definido, indiferentemente, como o seu grau de
sada, ou o seu grau de entrada. fcil verificar que a soma dos graus de todos os vrtices de
um grafo vale 2E, sendo E o nmero de arestas. Portanto, o grau mdio do grafo o nmero
2E/V , sendo V o nmero de vrtices.