Teora de Grafos

LIC. EDWIN MENDOZA

DEFINICIONES BASICAS DE LA
TEORIA DE GRAFOS
La teora de grafos tiene aplicaciones en
muchos campos, lo cual ha dado lugar a
una gran variedad de terminologa. Los
distintos autores utilizan trminos distintos
para un mismo concepto, y lo que es peor,
un mismo trmino para conceptos
diferentes, para nuestro curso,
utilizaremos la notacin de las ciencias en
computacin.

Qu es un grafo?
Un GRAFO es un sistema matemtico abstracto
los cuales son representados por medio de
diagramas para un mejor entendimiento. Estos
diagramas recibirn tambin el nombre de
Grafos.
Los grafos estn formados por nodos que se unen
entre si mediante aristas. Por tanto, una
definicin matemtica de grafo debe basarse en
N, el conjunto de nodos, y en A, el conjunto de
aristas. Toda arista est asociada con dos
nodos, esto es, existe una correspondencia
entre las aristas y los pares (ordenados o no) de
nodos.

Qu es un grafo?
En definitiva un grafo G=(N,A,f) consta de
un conjunto no vaco N denominado
conjunto de nodos (puntos, vrtices) del
grafo, un conjunto A de aristas del grafo y
una correspondencia f del conjunto de
aristas A en un conjunto de pares
ordenados o desordenados de N. Si una
arista se corresponde con un par
ordenado, entonces se dice que es una
arista dirigida; en caso contrario, se
denomina arista no dirigida.

A toda arista del grafo G se le puede asociar una pareja

ordenada o desordenada de nodos del grafo.
Si una arista e A est asociada de esta forma con un
par ordenado (u, v) o con un par desordenado [u, v],
en donde u, v N, entonces se dice que la arista e
conecta o une los nodos u y v. Los pares de nodos
que estn conectados por una arista dentro de un
grafo se denominan nodos adyacentes.
Con frecuencia, ser conveniente escribir los grafos en
la forma (N,A), o bien simplemente G. En el primer
caso cada arista se representa directamente con el
par con el cual corresponde, lo cual obvia la
necesidad de especificar f si f es una correspondencia
uno a uno.

Un grafo en el cual toda arista es dirigida se denominar

digrafo o bien grafo dirigido. Un grafo en el cual todas las
aristas son no dirigidas se denomina grafo no dirigido. Si
en un grafo hay aristas dirigidas y no dirigidas, entonces el
grafo se denomina mixto.
En los diagramas, las aristas dirigidas (arcos) se representan
por medio de flechas, que tambin muestran sus
direcciones. Ej.
1
e1

1
e1

e2

e3

G=([1,2,3],[(1,2),(2,3),(3,1)])

e2

e3

Una arista de un grafo que conecte un nodo consigo

mismo se denomina bucle o lazo (no hay que
confundirlo con los bucles de un programa). La
direccin de un bucle no es significativa; por tanto,
se puede considerar tanto una arista dirigida como
una arista no dirigida.

En algunos grafos tanto dirigidos como no dirigidos se

pueden tener cierto pares de nodos que estn unidos
por ms de una arista, estas aristas se denominan
paralelas. Todo grafo que contenga aristas paralelas se
denomina multigrafo, en este caso la correspondencia
entre pares de aristas y nodos no es uno a uno. La
notacin (N,A) no basta para representar un multigrafo y
se necesita la notacin completa G(N,A,f). Por otra parte
si no hay ms de una arista entre pares de nodos (no
mas de una arista dirigida en el caso de un grafo
dirigido), entonces el grafo se denomina grafo sencillo.
2

v1

v2

v3

3
(a)

(b)

3
(c)

Cuando se tienen grafos en los cuales los nmeros de las

aristas muestren los pesos de estas aristas, a estos se
les denominar grafos ponderados.
En un grafo, un nodo que no sea adyacente a ningn otro
nodo se denominar nodo aislado. Un grafo que
contenga nodos aislados se denomina grafo nulo. El
conjunto de aristas de un grafo nulo es vaco.
En un grafo dirigido, para todo nodo v el nmero de aristas
que tienen a v como nodo inicial se denomina grado de
salida del nodo v. El nmero de aristas que tienen a v
como nodo terminal es lo que se denomina grado de
entrada, y la suma del ndice de entrada y el ndice de
salida es lo que se denomina grado total del nodo v.
El grado total de un nodo aislado es?
El grado total de un nodo con bucle sin otras aristas en el
es?

Un resultado sencillo de la nocin de grado de los

nodos de un grafo es que la suma de los grados (o
de los grados totales en el caso de un grafo dirigido)
de todos los nodos de un grafo debe ser un nmero
par, que ser igual al doble del nmero de aristas
que haya en el grafo. Ej.
1

a.
b.
c.
d.

Escribir el conjunto de nodos

Escribir el conjunto de aristas
Hallar los nodos aislados
Hallar las aristas paralelas

Algunas aplicaciones de los grafos se refieren tan solo a ciertas

partes del grafo. La nocin de un subconjunto en los conjuntos
resulta til para formalizar lo que se quiere decir al hablar de
una parte de un grafo.
Sea N(H) el conjunto de los nodos de un grafo H, y sea N(G) el
conjunto de nodos de un grafo G tales que N(H)N(G). Si
adems toda arista de H es tambin arista de G, entonces se
dice que el grafo H es un subgrafo del grafo G, y eso se
expresa en la forma HG.
El grafo G en si y el grafo nulo que se obtiene a partir de G
borrando todas las aristas de G son tambin subgrafos de G.
Se puede obtener otros subgrafos de G borrando ciertos nodos
y aristas de G. Ej.

(a)

(b)

Se dice que un grafo (N,A) es completo si todos sus

nodos son adyacentes a todos los nodos del grafo.
Los grafos sompletos de n nodos se denotan en la
forma Kn. Ej.

K1

K2

K3

K5

K4

Otro tipo de grafo sencillo es el grafo bipartito. Un grafo

sencillo G=(N,A) se denomina grafo bipartito si N se
puede descomponer en dos subconjuntos V1 y V2
tales que no haya dos nodos de V1 que sean
adyacentes, ni tampoco dos nodos de V2 que sean
adyacentes. Consiguientemente, no puede haber
una arista que una dos no dos de V1 ni dos nodos de
a1
V2 . Ej.
a1

a3
a4

a2

a5
a2

a3

Demostrar que los siguientes digrafos no son isomorfos

u1

u2
u6

u5
u4

v1

u7

v2
v6

u8

v5
u3

v4

v7

v8
v3

CAMINOS ACCESIBILIDAD Y CONEXIONES

En esta seccin se presenta una terminologa adicional
asociada a los digrafos sencillos. Se indicar tambin la
forma en que esta misma terminologa y estos mismos
conceptos se pueden extender a los grafos sencillos no
dirigidos. En los grafos se mantienen caminos, que se
definen de la manera siguiente:
Sea G = (N,A) un digrafo sencillo. Se dice que una
sucesin de aristas es un camino de G si y solo si el
nodo terminal de cada arista del camino es el nodo
inicial de la prxima arista del camino, si lo hubiere.
Ej.

<(vi1,vi2), (vi2,vi3),, (vik-2,vik-1), (vik-1,vik)>

No es necesario que todas las aristas y todos los nodos

que aparezcan en un camino sean distintos.
Adems, para un grafo dado cualquier conjunto
arbitrario de nodos escrito en cualquier orden no
producen necesariamente un camino. Todos los
nodos que aparezcan en un camino deben de ser
adyacentes a los nodos que aparezcan
inmediatamente antes y despus, salvo en los casos
de el primero y el ltimo.
Se dice que un camino recorre los nodos que aparecen
en la sucesin, comenzando en el nodo inicial de la
primera arista y finalizando en el nodo terminal de la
ltima arista de la sucesin.
El nmero de aristas que aparecen en la sucesin de
un camino se denomina longitud del camino.

Considere el digrafo siguiente:

Algunos de los caminos que surgen del
nodo 1 y finalizan en el 9 son:

P1=<1,9>
P2=<1,2,3,8,1,9
P3=<1,2,4,5,7,8,1,9>

2
4

Desde el punto de vista de la

comprobacin estamos interesados
en el conjunto de caminos
independientes de este grafo. Un
camino independiente tiene que
contener al menos una arista que no
est contenida en un camino
anterior. Por ej. Los siguientes son
caminos independientes de este
grafo: camino1=?, camino2=?,
camino3=?, camino4=?

Un camino de un digrafo en el cual todas

las aristas sean distintas se denomina
camino sencillo. Un camino en el que
todos los nodos sean diferentes se
denomina camino elemental.
Un camino se denomina sencillo si no se
repiten las aristas (sencillo en cuanto a
las aristas), y se denomina elemental si
no se repite ningn nodo (sencillo en
cuanto a los nodos). Todo camino
elemental de un digrafo es sencillo.
Ejemplo

Un camino que comienza y acaba en un mismo nodo es lo que se denomina un

ciclo (circuito). Un ciclo se denomina sencillo si ninguna arista del ciclo
aparece ms de una vez en el camino.
Un ciclo se denomina elemental si no pasa por ningn nodo ms de una vez.

Obsrvese que en un ciclo el nodo inicial

aparece al menos dos veces aun
cuando se trate de un ciclo elemental.
Los ciclos siguientes pertenecen al
grafo que se presenta:

2
4

C1=<1,2,3,8,1>
C2=<1,2,4,5,7,8,1>
P3=<1,2,3,8,1,2,3,8,1>

Todo camino que no sea elemental

contendr ciclos que pasen por los
nodos que aparezcan ms de una vez
en el camino. Al borrar estos caminos
se pueden obtener caminos
elementales. Por ej. En C3 si
eliminamos <(1,2),(2,3),(3,8),(8,1)>,
entonces se obtiene el camino C1.

Los grafos de planificacin nunca contienen ciclos, Un

digrafo sencillo que no tenga ningn ciclo se
denomina acclico. Naturalmente los grafos acclicos
no pueden contener bucles. Ej.

Sea G=(N,A) un digrafo sencillo. Entonces se define la relacin

de camino, C de G en la forma C={(u,v)| existe un camino del
nodo u al nodo v.
El concepto de relacin de camino es independiente del nmero
de caminos alternativos que existan entre u y v, y tambin de
sus longitudes.
Si un nodo v resulta alcanzable desde el nodo u, entonces un
camino de longitud mnima que vaya de u a v se denomina
camino de longitud mnima. La longitud de un camino de
longitud mnima del nodo u al nodo v se denomina distancia, y
se denota como d(u,v). Se supone que d(u,u)=0 para todo u.

Si existe un camino que vaya desde el

nodo u hasta el nodo v y un camino
que vaya desde el nodo v al nodo w,
entonces est claro que existe un
camino que vaya desde u hasta w. en
otras palabras, la alcanzabilidad es
transitiva. En general, no es cierto que
si existe un camino de u a v entonces
tambin existe un camino de v a u por
lo tanto, la alcazabilidad no es
necesariamente simtrica, ni tampoco
necesariamente antisimtrica.

En un digrafo sencillo, la longitud de

cualquier camino elemental es menor o
igual que n-1, en donde n es el nmero
de nodos que haya en el grafo.
Similarmente, la longitud de cualquier
ciclo elemental no sobrepasar n.

TEORIA DE GRAFOS

La distancia d(u,v) desde un nodo u hasta un nodo v

satisface las propiedades siguientes:
d(u,v) > 0
d(v,w) > 0
d(u,v)+d(v,w) > d(u,w)
Ejemplo:
u

w
a

h
v

d(u,v)=?
d(v,w)=?
d(u,w)=?

La ltima desigualdad se denomina desigualdad trangular.

Si no se puede alcanzar v desde u, entonces suele
escribirse d(u,v)=. d(u,v) d(v,u)
En un digrafo sencillo, la longitud de un camino elemental
es > n-1, en donde n es el nmero de nodos que haya
en el grafo.

CONECTIVIDAD DE LOS
NODOS.
Se dice que un grafo no dirigido es conexo si
para cualquier pareja de nodos del grafo se
puede llegar hasta el otro nodo partiendo de
cualquiera de ellos.
La nocin de conectividad induce una
participacin de los grafos no dirigidos,
descomponiendo cualquier grafo dado en dos
sub-grafos disjuntos. Cada uno de los subgrafos es lo que se denomina un componente
conexo del grafo.

Se dice que un digrafo es conexo o dbilmente conexo si

es conexo como grafo no dirigido, despreciando el sentido
de las aristas, esto es, si se transforman las aristas
dirigidas en aristas no dirigidas.
Un digrafo sencillo se dice unilateralmente conexo si para
toda pareja de nodos del grafo al menos uno de los nodos
de esa pareja se puede alcanzar desde el otro.
Si para toda pareja de nodos del grafo los dos nodos de la
pareja se pueden alcanzar uno desde el otro, entonces se
dice que el grafo es fuertemente conexo.
Un digrafo unilateralmente conexo es dbilmente conexo,
pero un digrafo dbilmente conexo no es necesariamente
unilateralmente conexo.
Un digrafo fuertemente conexo es a la vez unilateralmente y
dbilmente conexo.

Fuertemente
conexo

Dbilmente
Conexo
No es unilateralmente
conexo

Unilateralmente
Conexo
No fuertemente
conexo

Ejercicios:
1. Dar tres caminos elementales que vayan de v1 a v3 para el
digrafo dado. Cul es la distancia ms corta entre v1 y v3?
Existe algn ciclo en el grafo?,Es transitivo el digrafo?

v4

v1

v2

v3

2. Calcular todos los grados de entrada y de salida de los nodos del

grafo dado en la figura. Dar todos los ciclos elementales de este
grafo. Obtener un grafo acclico borrando una arista del grafo
dado. Enumerar todos los nodos que puedan alcanzar cualquier
otro nodo del digrafo.

v4

v1

v5

v2

v3

3.Para los digrafos siguientes, determinar si son fuertemente

conexos, dbilmente conexos o unilateralmente conexos

v4

v1

v2

v3

v4

v1

v5

v2

v3

TEORIA DE GRAFOS

CALCULO DE CAMINOS A PARTIR DE UNA

REPRESENTACION MATRICIAL DE LOS GRAFOS

Para un digrafo dado G=(N,A), la matriz de

adyacencia depende del orden de los
elementos de N. Para distintos rdenes de
los elementos de N, se obtienen distintas
matrices de adyacencias de un mismo
grafo G. Sin embargo, cualquiera de las
matrices de adyacencia de G se puede
obtener a partir de otra matriz de
adyacencia del mismo grafo, sin ms que
intercambiar algunas de las filas y las
columnas correspondientes de la matriz.

Algunas de las propiedades de los digrafos sencillos se

pueden apreciar de modo inmediato a partir de su matriz
de adyacencia. Si un digrafo es reflexivo, entonces los
elementos de la diagonal de la matriz de adyacencia son
todos ellos iguales a 1. para los digrafos simtricos. Y
tambin para los grafos no dirigidos, la matriz de
adyacencia es adems simtrica, esto es, aij=aji para todo
i y para todo j.
Naturalmente una entrada = a 1en la i-sima fila y en la jsima columna de Ad muestra la existencia de una arista
(vi, vj), esto es, un camino de longitud 1 que va desde vi
hasta vj, que denotaremos por aij2 Los elementos de Ad2
as:
n

a aik akj
2
ij

k 1

Para cualquier k fijo, aikakj=1 si y solo si tanto aik como akj son
iguales a 1; esto es, si y solo si (vi,vk) y (vk,vj) son las
aristas del grafo. Para cada uno de estos k, se obtiene en
la suma una contribucin de valor 1. ahora bien, (v i,vk) y
(vk,vj) implica que hay un camino de longitud 2 que va
desde vi hasta vj. Por tanto aij2 es igual al nmero de
caminos cuya longitud es exactamente 2 y que desde v i
hasta vj.
Encontrar: Ad2, Ad3, Ad4, Ad5 para el grafo siguiente.

V1

V2

V3
V5

V4

Sea Ad la matriz de adyacencia de un digrafo G. El

elemento de la i-sima fila y j-sima columna de Adn, con
n>0, es igual al nmero de caminos de longitud n que van
desde el i-simo nodo hasta el j-simo.
Para determinar si existe o no un camino que vaya desde vi
hasta vj, lo nico que se necesita es, por tanto, examinar
los caminos elementales de longitud menor o igual que n1. Si vi=vj, el camino es un ciclo, y slo es necesario
examinar los ciclos elementales. Mediante Bn se cuentan
todos los caminos y todos los ciclos, en donde es
Bn=Ad+Ad2+Ad3++Adn
El elemento de la i-sima fila y j-sima columna de Bn
muestra el nmero de caminos de longitud n o menor que
existen entre vi y vj. Si este elemento es no nulo,
entonces queda claro que vj se puede alcanzar desde vi.

Sea G=(N,A) un digrafo sencillo en el cual #N=n y se

supone que los nodos de G estn ordenados. La matriz P
n x n, cuyos elementos estn dados por

Pij

1, si existe un camino desde vi hasta vi

0, en caso contrario

La entrada de la diagonal principal Pij es igual a 1 si y solo si

existe un camino que vaya desde vi hasta si mismo.
La matriz de caminos de Bn, siendo n=5 es la siguiente:

Ejercicio:
Obtener la matriz de adyacencia Ad del digrafo siguiente.
Hallar los caminos elementales de longitudes 1 y 2 que
van desde v1 hasta v4. demostrar que tambin hay un
camino sencillo de longitud 4 que va desde v1 hasta v4.
Verificar los resultados calculando Ad2, Ad3 y Ad4.
V2

V1
V3

V4