UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

UNIVERSIDAD DEL MAGDALENA

PROGRAMA DE INGENIERÍA DE SISTEMAS
MATEMATICAS DISCRETAS
UNIDAD 5: INTRODUCCIÓN A LA TEORÍA DE GAFOS Y ÁRBOLES
Mg. Alvaro Espinosa Pérez

INTRODUCCIÒN
La teoría de grafos es una de las ramas más importantes de las matemáticas modernas, comenzó en
el siglo XVIII por una de las mentes más grandes queja existido. En 1736 el matemático Suizo Leonhard
Euler publicó un artículo llamado La solución de un problema referente a la geometría de posición.
En este artículo aparece la solución al famoso problema de los puentes de Kônigsberg.

Euler representó este problema por medio el de una figura y la llamó “grafo”. A las porciones de tierra
representadas por un punto las llamó “vértices”, a los puentes representados por líneas les dio el
nombre de “aristas” y al número de líneas que salen o entran a un vértice llamó “orden del vértice”,
el cual más tarde se llamó valencia.

Los grafos pueden ser considerados diagramas o dibujos, o formalmente como un par de conjuntos.

En computación los grafos se utilizan para mostrar las relaciones entre archivos (en las bases de
datos), entre registros (en la estructura de datos), entre computadoras y entre redes como lo hace la
red internet.

DEFINICIÒN: Un Grafo 𝐺 = (𝑉, 𝐴) es una colección de puntos llamados vértices 𝑉, unidos por líneas
llamadas aristas 𝐴. Cada arista une dos vértices.

El conjunto 𝑉 es el conjunto de vértices del grafo, se denota por 𝑉(𝐺). El conjunto 𝐴 es el conjunto
de aristas del grafo, se denota por 𝐴(𝐺). A cualquier arista de un grafo se le puede asociar una pareja
de vértices del mismo. Si 𝑢 y 𝑣 son dos vértices de un grafo y la arista a está asociada con este par,
escribiremos 𝑒 = {𝑢, 𝑣}.

Ejemplo: Si 𝑉 = {𝑣1 , 𝑣2 , 𝑣3 , 𝑣4 , 𝑣5 } y 𝐸 = {{𝑣1 , 𝑣2 }, {𝑣1 , 𝑣3 }, {𝑣1 , 𝑣4 }, {𝑣2 , 𝑣4 }, {𝑣2 , 𝑣5 }} entonces el

grafo 𝐺 = (𝑉, 𝐴) tiene a 𝑣1 , 𝑣2 , 𝑣3 , 𝑣4 , 𝑣5 como vértices y sus aristas son:
{𝑣1 , 𝑣2 }, {𝑣1 , 𝑣3 }, {𝑣1 , 𝑣4 }, {𝑣2 , 𝑣4 }, {𝑣2 , 𝑣5 }.

Las aristas no tienen que ser líneas rectas, pueden ser arcos, segmentos curvos, etc. El caso en que
una arista conecta a un vértice con el mismo también está permitido, y en este caso le llamamos lazo

Mg. Alvaro Espinosa Pérez 1

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

(bucle). También está permitido el caso en que más de una arista conecta los dos mismos vértices. A
estas aristas se le llaman aristas múltiples. Un grafo se dice trivial si tiene un solo vértice.

DEFINICIÒN: Dos vértices 𝑣𝑖 , 𝑣𝑗 son adyacentes si son los extremos de una arista, es decir, si el par de
vértices 𝑉 es un elemento de 𝐴. Así mismo, dos aristas son adyacentes si tienen un mismo vértice
como extremo; análogamente si 𝑒 = {𝑢, 𝑣} decimos que el lado 𝑒 es incidente a los vértices 𝑢 y 𝑣.

DEFINICIÒN: En un grafo (dirigido y no dirigido) 𝐺 = (𝑉, 𝐸), el número 𝑛 de vértices de 𝐺, denotado

por |𝑉| = 𝑛 se llama orden del grafo 𝐺. Ahora, el número 𝑚 de arista de G, denotado por |𝐸| = 𝑚,
se le conoce como tamaño del grafo 𝐺.

DEFINICIÒN: Un grafo es finito si su número de Vértices es finito.

TIPOS DE GRAFOS:
Existen algunas variaciones de la idea de grafos como las siguientes:
1. Grafos simples: Son aquellos grafos que no tienen lazos ni aristas paralelas.
2. Multigrafo: es un grafo con varias aristas entre dos vértices. Los multigrafos definidos no
admiten bucles o lazos (aristas que conectan un vértice consigo mismo).
3. Pseudografo: tiene aristas cuyos extremos coinciden (origen y fin en el mismo vértice), tales
aristas se denominan lazos.
4. Digrafo (grafo dirigido): A cada arista se le asigna un orden en sus extremos, en el dibujo se
indica con una flecha. Los pares que forman los elementos de 𝐴 están ordenados.

La diferencia entre grafo y digrafo es que el último tiene los lados dirigidos y se entiende como un
grafo dirigido. Los grafos simples no permiten aristas paralelas. Los multigrafos no permiten bucles.

DEFINICIÒN: El grado de un vértice 𝑣 o valencia de un grafo no dirigido, es el número de aristas que

salen o entran a un vértice, exceptuando los lazos, cada uno de ellos contribuye con dos unidades al
grado del vértice correspondiente. El grado del vértice 𝑣 se denota por 𝛿(𝑣).

Ejemplo: Considere el siguiente grafo:

Los grados del grafo 𝐺 son: 𝛿(𝑣1 ) = 3, 𝛿(𝑣2 ) = 5, 𝛿(𝑣3 ) = 4, 𝛿(𝑣4 ) = 5, 𝛿(𝑣5 ) = 4, 𝛿(𝑣6 ) =
0 y 𝛿(𝑣7 ) = 1.

DEFINICIÒN: Un grafo se dice regular si todos sus vértices tienen el mismo grado. Un grafo se dice
cúbico si todos sus vértices tienen grado tres.

Mg. Alvaro Espinosa Pérez 2

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

Corolario: Todo grafo cúbico tiene un número par de vértices.

En cualquier grafo se verifica,
1. La suma de todos sus grados es igual al doble del número de sus aristas.
2. El número de vértices de grado impar es par.

TEOREMA DE HANDSHAKING: Sea 𝐺 = (𝑉, 𝐸) un grafo no dirigido con 𝑒 aristas. Entonces:

∑ δ(v) = 2⌊E⌋ = 2e
vϵV

Demostración: Como 𝛿 (𝑣) es el número de aristas que tienen a 𝑣 como uno de sus vértices, la suma cuenta el
número de aristas de la gráfica, pero las aristas están contadas dos veces (una vez por cada vértice de la arista),
luego la suma es el doble del número de aristas.

Además, se cumple:
1. Incluso si hay aristas múltiples y lazos (bucles) en el grafo.
2. Podemos determinar el número de aristas del grafo 𝐺, es decir 2𝑒 = 18 ⟹ 𝑒 = 9
3. La suma de los grados de un grafo no dirigido es par.

Ejercicios:
1. ¿Cuál es el número de aristas del grafo siguiente?:

2. ¿Cuantas aristas hay en un grafo con diez vértices, cada uno de los cuales tiene grado seis?
3. ¿Se puede dibujar un grafo simple de 15 vértices cada uno de grado 5?

TEOREMA: Todo grafo no dirigido tiene un número par de vértices de grado impar.

DEFINICIÒN: En un grafo dirigido, el grado de entrada de un vértice 𝑣, denotado por 𝛿 − (𝑣), es el

número de aristas que tienen a 𝑣 como vértice final. El grado de salida de un vértice 𝑣, de notado por
𝛿 + (𝑣) es el número de aristas que tienen a 𝑣 como vértice inicial.

TEOREMA: Sea 𝐺 = (𝑉, 𝐸) un grafo dirigido. Entonces:

∑ 𝛿 − (𝑣 ) = ∑ 𝛿 + (𝑣 ) = |𝐸 |
𝑣∈𝑉 𝑣∈𝑉

Ejemplo: Hallar los grados de entrada y de salida de cada vértice para el siguiente grafo:
Entonces:
1. 𝛿 − (𝑣1 ) = 2, 𝛿 + (𝑣1 ) = 4
2. 𝛿 − (𝑣2 ) = 2, 𝛿 + (𝑣2 ) = 1
3. 𝛿 − (𝑣3 ) = 3, 𝛿 + (𝑣3 ) = 2
4. 𝛿 − (𝑣4 ) = 3, 𝛿 + (𝑣4 ) = 3
5. 𝛿 − (𝑣5 ) = 2, 𝛿 + (𝑣5 ) = 2
6. 𝛿 − (𝑣6 ) = 0, 𝛿 + (𝑣7 ) = 0
7. ∑𝑣∈𝑉 𝛿 − (𝑣) = ∑𝑣∈𝑉 𝛿 + (𝑣) = |𝐸 | = 12

Mg. Alvaro Espinosa Pérez 3

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

DEFINICIÒN: El grafo completo de 𝑛 vértices, que se denota por 𝐾𝑛 , es el grafo simple que contiene
exactamente una arista entre cada par de vértices distintos.
Ejemplo: Sean los 𝐾𝑛 para 𝑛 = 1, 2, 3, 4, 𝑦 5.

Si tenemos un grafo completo 𝐾𝑛 , entonces tiene las siguientes propiedades:

1. El grafo tiene exactamente 𝑛 vértices
𝑛(𝑛 – 1)
2. Un grafo completo 𝐾𝑛 de 𝑛 vértices tiene aristas.
2
3. Cada vértice tiene grado 𝑛 − 1

DEFINICIÒN: Obtenemos una rueda 𝑊𝑛 cuando añadimos un vértice adicional al ciclo, para 𝑛 ≥ 3, y
conectamos a este nuevo vértice con cada uno de los 𝑛 vértices de Ciclo mediante una nueva arista:

DEFINICIÒN: Grafo Bipartito o bigrafo: Se dice que un grafo simple 𝐺 es bipartito si su conjunto de
vértices 𝑉 se puede dividir en dos conjuntos disjuntos 𝑉1 y 𝑉2 tales que cada arista del grafo conecta
un vértice 𝑉1 con un vértice de 𝑉2 (de manera que no haya ninguna arista que conecte entre si dos
vértices de 𝑉1 ni tampoco dos vértices de 𝑉2 ).

Un grafo bipartido en el cual todos los elementos de 𝑉1 están unidos con todos los elementos de 𝑉2
se denomina grafo bipartido completo. El conjunto de los grafos bipartidos completos es denominado
con la letra 𝐾. En particular, un grafo completo bipartido que une dos conjuntos, de m y n elementos
respectivamente, se denota por 𝐾𝑚,𝑛 . Es obvio que 𝐾𝑚,𝑛 tiene 𝑝 = (𝑚 + 𝑛) vértices y 𝑞 = 𝑚𝑥𝑛
líneas.

DEFINICIÒN: Un subgrafo de un grafo 𝐺 es un grafo 𝐺′ cuyo conjunto de vértices es un subconjunto

del de 𝐺 y cuyo conjunto de líneas es un subconjunto del conjunto de líneas de 𝐺. De otra forma:
𝐺′ = (𝑉′, 𝐸′) es un subgrafo de 𝐺 = (𝑉, 𝐸) si:
1. 𝐺′ es un grafo
2. 𝑉′ es un subconjunto de 𝑉
3. 𝐸′ es un subconjunto de 𝐸

Ejemplo: Los grafos 𝐺2 y 𝐺3 son subgrafos de 𝐺1 :

𝐺1 𝐺2 𝐺3

Mg. Alvaro Espinosa Pérez 4

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

Un subgrafo se obtiene eliminando puntos y líneas de un grafo. En particular, un Subgrafo inducido,

se da cuando para cualquier subconjunto 𝑊 de vértices de un grafo 𝐺 = (𝑉, 𝐸), llamaremos subgrafo
inducido por 𝑊, y lo notaremos {𝑊}, al subgrafo de 𝐺 que se obtiene tomando los vértices de 𝑊 y
las aristas de 𝐺 que son incidentes con ellos. Veamos:

H1 es un subgrafo inducido ya que 𝑊 = {𝑣1 , 𝑣2 , 𝑣3 , 𝑣5 }, el subgrafo H1 contiene todas las aristas de

𝐺 incidentes con los vértices de 𝑊, pero H2 no lo es ya que faltan las aristas
{𝑣1 , 𝑣6 }, {𝑣3 , 𝑣4 } 𝑦 {𝑣5 , 𝑣6 }.

ELIMINACIÓN DE ARISTAS Y VÉRTICES

1. Sea un arista e del grafo 𝐺 = (𝑉, 𝐸), entonces el subgrafo 𝐺 − {𝑒} es el grafo que se obtiene
de 𝐺 eliminando la arista 𝑒. En general, escribimos 𝐺 = {𝑒1 , 𝑒2 , … , 𝑒𝑘 } para determinar el
subgrafo que se obtiene de 𝐺 eliminando las aristas {𝑒1 , 𝑒2 , … , 𝑒𝑘 } (𝑉 = 𝑉1 ).
2. Si 𝑣 es un vértice del grafo 𝐺, entonces 𝐺 − {𝑣} es el subgrafo obtenido del 𝐺 eliminando el
vértice 𝑣 junto con todas las aristas incidentes. En general, se escribe 𝐺 − {𝑣1 , 𝑣2 , … , 𝑣𝑘 }
para notar el grafo obtenido eliminando los vértices {𝑣1 , 𝑣2 , … , 𝑣𝑘 } en 𝐺 y todas las aristas
incidentes con cualquiera de ellos.

REPRESENTACIONES DE LOS GRAFOS

En las secciones anteriores, hemos representado los grafos mediante un esquema o un diagrama.
Algunas veces, como por ejemplo cuando se desea analizar un grafo por ordenador es necesaria una
representación más formal.

DEFINICIÓN: Sea 𝐺 = (𝑉, 𝐸) un grafo con 𝑛 vértices y 𝑚 aristas, entonces le corresponde una matriz
𝑛 𝑥 𝑚 denominada la matriz de incidencia de 𝑮. Si denotamos los vértices de 𝐺 por 𝑣1 , … , 𝑣𝑛 y las
aristas por 𝑒1 , … , 𝑒𝑚 . Entonces la matriz de incidencia de G es la matriz 𝑀(𝐺) = (𝑚𝑖𝑗 ) donde 𝑚𝑖𝑗 es
el número de veces que la arista 𝑒𝑖 incide en el vértice 𝑣𝑖 ; los valores son 0,1 ó 2 (2 en el caso que la
arista sea un lazo).

DEFINICIÓN: Una matriz asociada a 𝐺 es la matriz de adyacencia, esta es una matriz 𝑛 × 𝑛, 𝐴(𝐺) =
[𝑎𝑖𝑗 ], en donde 𝑎𝑖𝑗 es el número de aristas que van de 𝑣𝑖 hasta 𝑣𝑗 .

Ejemplo: Se muestra un grafo con su correspondiente matriz de incidencia y matriz de adyacencia:

𝑮𝒓𝒂𝒇𝒐 𝑮 𝑴𝒂𝒕𝒓𝒊𝒛 𝒅𝒆 𝒊𝒏𝒄𝒊𝒅𝒆𝒏𝒄𝒊𝒂 𝑴𝒂𝒕𝒓𝒊𝒛 𝒅𝒆 𝒂𝒅𝒚𝒂𝒄𝒆𝒏𝒄𝒊𝒂

La matriz de incidencia sólo contiene ceros y unos (matriz binaria). Como cada arista incide
exactamente en dos vértices, cada columna tiene exactamente dos unos. El número de unos que

Mg. Alvaro Espinosa Pérez 5

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

aparece en cada fila es igual al grado del vértice correspondiente. Una fila compuesta sólo por ceros
corresponde a un vértice aislado.

DEFINICIÓN: Dado un grafo dirigido o dígrafo 𝐺 = (𝑉, 𝐸) con 𝑛 vértices {𝑣1 , … , 𝑣𝑛 } su matriz de
adyacencia es la matriz de orden 𝑛 × 𝑛, 𝐴(𝐺) = [𝑎𝑖𝑗 ], donde 𝑎𝑖𝑗 es el número de aristas que tienen
a 𝑣𝑖 como extremo inicial y a 𝑣𝑗 como extremo final.
Obsérvese lo siguiente:
1. La matriz de incidencia de un grafo permite representar tanto bucles como aristas repetidas
entre dos vértices.
2. Si el grafo no tiene bucles, entonces cada columna tiene dos 1 y la suma de cada fila nos da
el grado del vértice correspondiente.
3. La matriz de adyacencia de un grafo o digrafo, posee toda la información para reconstruir el
grafo o digrafo

ISOMORFISMO DE GRAFOS
Dos grafos 𝐺1 = (𝑉1 , 𝐸1 ) y 𝐺2 = (𝑉2 , 𝐸2 ) se dice que son isomorfos cuando existe una biyección entre
los conjuntos de sus vértices que conserva la adyacencia. Si los grafos 𝐺1 y 𝐺2 son isomorfos,
notaremos 𝐺1 ≅ 𝐺2 . Esto es:
𝑓 𝑒𝑠 𝑏𝑖𝑦𝑒𝑐𝑡𝑖𝑣𝑎
𝐺1 ≅ 𝐺2 ⟹ ∃𝑓: 𝑉1 ⟶ 𝑉2 : {
{𝑣𝑖 , 𝑣𝑗 } ∈ 𝐸1 ⟺ {𝑓(𝑣𝑖 )𝑓( 𝑣𝑗 )} ∈ 𝐸2 ; ∀𝑣𝑖 , 𝑣𝑗 ∈ 𝑉1

En pocas palabras: Dos grafos 𝐺1 y 𝐺2 son isomorfos si existe una biyección entre 𝑉1 y 𝑉2 que conserva
las adyacencias. El isomorfismo es una relación de equivalencia.

Ejemplo: Los siguientes grafos son Isomorfos:

Los grafos 𝐺1 y 𝐺2 son isomorfos pues existe la biyección 𝑓: 𝑉1 ⟶ 𝑉2 definida por 𝑓(𝑎) = 2, 𝑓(𝑏) =
1, 𝑓(𝑐) = 3, 𝑓(𝑑) = 4 que conserva la adyacencia; además, son matemáticamente iguales, solo varia
la apariencia, o sea, que se mantienen las adyacencias, estructura, caminos y ciclos.

El número de vértices, el número de aristas y los grados de las aristas son invariantes bajo
isomorfismo. Si cualquiera de estas cantidades toma valores distintos en dos grafos simples, dichos
grafos no pueden ser isomorfos. Sin embargo, el que esos invariantes coincidan no quiere decir que
esos dos grafos sean necesariamente isomorfos.
Dos grafos con la misma matriz de adyacencia, son isomorfos. Dos grafos isomorfos pueden tener
distinta matriz de adyacencia si se permutan el orden de los vértices.

CAMINOS Y CICLOS
En un grafo se puede recorrer la información de diferente manera, lo cual implica seguir distintas
rutas para llegar de un vértice del grafo a otro. A continuación, se definen varios conceptos
relacionados con el recorrido dé un grafo:
1. Camino: En un grafo 𝐺 es una sucesión finita de vértices y aristas alternos, donde cada arista
tiene por extremos los vértices adyacentes. (𝑣0 , 𝑣0 𝑣1 , 𝑣1 , 𝑣1 𝑣2 , . . . , 𝑣𝑛−1 , 𝑣𝑛−1 𝑣𝑛 , 𝑣𝑛 ). A 𝑣0
y 𝑣𝑛 se les denomina extremos del camino.

Mg. Alvaro Espinosa Pérez 6

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

2. Longitud del camino: Es el número de aristas que contiene. La distancia entre dos vértices
distintos es igual a la longitud de la cadena o camino más corta entre ellos, si no hay camino
entre ellos la distancia no está definida y la distancia es cero si los vértices son iguales. El
diámetro de un grafo es el máximo de las distancias entre cualesquiera pares de vértices.
3. Camino cerrado: Ocurre cuando los extremos coinciden, 𝑣0 = 𝑣𝑛 . En un grafo (no un
multigrafo), un camino puede expresarse por la sucesión de vértices (𝑣0 , 𝑣1 , … , 𝑣𝑛−1 , 𝑣𝑛 ).
4. Camino simple: El camino es simple si no hay vértices repetidos en la sucesión. Decimos que
la cadena (camino) es un recorrido (trayectoria) si no tiene aristas o lados repetidos.
5. Una cuerda: Es una arista que une dos vértices no consecutivos de un camino:

6. Un ciclo: Es un camino cerrado donde el primero y último vértice son el mismo (camino simple
cerrado):

En un multigrafo se considera ciclo a aquellos caminos cerrados que no repiten aristas.

7. Un circuito: El camino cerrado es un circuito si todos los vértices (excepto los extremos) son
distintos.

Observar que todo recorrido es un camino y que la longitud del camino o del circuito es el número
de vértices que se tocan menos uno.
TEOREMA: Si en un grafo existe un camino que conecta dos vértices, entonces existe un camino
simple con extremos en dichos vértices.
Ejemplo: Es el número de aristas que recorre el camino. Un camino de longitud 𝑛 debe tener 𝑛 + 1
vértices. Para el siguiente grafo:

1. Un camino simple de longitud 4 que empiece en 𝑣2 : 𝑣2 , 𝑣1 , 𝑣3 , 𝑣5 , 𝑣6

2. Un camino cerrado de longitud 5 que inicie en , 𝑣6 : 𝑣6 , 𝑣4 , 𝑣3 , 𝑣4 , 𝑣5 , 𝑣6
3. Un camino de longitud 5 de 𝑣4 a 𝑣3 : 𝑣4 ,𝑣2 , 𝑣3 , 𝑣4 , 𝑣2 , 𝑣4
4. Un circuito simple de longitud 4 que empiece en 𝑣3 : 𝑣3 , 𝑣2 , 𝑣4 , 𝑣6
DEFINICIÓN: Un grafo 𝐺 = (𝑉, 𝐸) no dirigido es conexo si para cualquiera 𝑣𝑖 , 𝑣𝑗 ∈ 𝑉, existe un camino
o trayectoria de cualquier longitud. Veamos:

En el grafo conexo (conectado) siempre existe un camino para ir de un vértice a otro, sin embargo en
el grafo no conexo existen vértices que no están conectados y, por lo tanto, no se puede acceder a
ellos.

Mg. Alvaro Espinosa Pérez 7

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

En un grafo conexo 𝐺 = (𝑉, 𝐸) se verifica que: |𝑉| − 1 ≤ |𝐸|

DEFINICIÓN: Un camino de Euler en 𝐺 es un camino simple que pasa exactamente una vez por cada
arista.

Un ciclo de un grafo o multigrafo se dice de Euler si pasa por todos los vértices recorriendo cada arista
exactamente una vez. Un grafo que admita un ciclo de Euler se denomina grafo euleriano.
Ejemplo: Considérese el siguiente grafo:

Un camino de Euler es:

1. {𝑣1 , 𝑣2 , 𝑣5 , 𝑣4 , 𝑣3 , 𝑣6 , 𝑣7 , 𝑣4 , 𝑣8 , 𝑣8 , 𝑣9 , 𝑣7 }
2. {𝑣7 , 𝑣9 , 𝑣8 , 𝑣8 , 𝑣4 , 𝑣7 , 𝑣6 , 𝑣3 , 𝑣4 , 𝑣5 , 𝑣2 , 𝑣1 }.
Una característica importante de los grafos que tienen camino de Euler es que siempre comienza y
termina en vértices que tienen valencia impar, por esta razón es imposible que en el grafo del ejemplo
anterior un camino de Euler pueda comenzar en el vértice 𝑣4 . Por otro lado, si un grafo tiene más de
dos vértices con valencia impar, entonces no puede tener un camino de Euler ya que es requisito que
tenga dos y solamente dos vértices de valencia impar.

TEOREMA: (Existencia de trayectorias de Euler). .

1. Si un grafo tiene más de dos vértices de grado impar, entonces no puede tener una
trayectoria de Euler.
2. Si un grafo conexo tiene exactamente dos vértices de grado impar, entonces tiene por lo
menos una trayectoria de Euler. Cualquier trayectoria de Euler debe iniciar en uno de los
vértices de grado impar y terminar en el otro, pero el camino ha de empezar en uno de los
dos vértices impares y terminar en el otro.
Una explicación sencilla del anterior teorema es la siguiente. Euler observó que para encontrar una
trayectoria en un grafo que cruce una sola vez cada arista es necesario que cada vez que la trayectoria
tome una arista para llegar a un vértice, debe haber otra arista distinta que permita abandonarlo para
poder continuar con el recorrido. De esta manera si un vértice tiene grado impar existe una arista
más que llega al vértice que las que salen de él, o viceversa, esto convierte al vértice en un punto
final o punto inicial. Por tanto, para que exista una trayectoria de Euler es necesario que exista a los
más dos vértices de grado impar.
DEFINICIÓN: Un Circuito de Euler es aquel ciclo que recorre todos los vértices pasando por todos los
lados solamente una vez.
TEOREMA: (Existencia de circuitos de Euler)
1. Si en un grafo algún vértice tiene grado impar, entonces no puede tener un circuito de Euler.
2. Si todos los vértices de un grafo conexo tienen grado par, entonces hay por lo menos un
circuito de Euler.

Mg. Alvaro Espinosa Pérez 8

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

TEOREMA: Un pseudografo conexo contiene un circuito euleriano si y solo si, cada uno de sus vértices
tiene grado par.

EI siguiente Algoritmo de Fleury permite determinar un circuito de Euler:

1. Verificar que el grafo sea conexo y que todos los vértices tengan valencia par. Si no cumple
con estas condiciones entonces el grafo no tiene circuito de Euler y finalizar.
2. Si cumple con la condición anterior, seleccionar un vértice arbitrario para iniciar el recorrido.
3. Escoger una arista a partir del vértice actual. Esa arista seleccionada no debe ser “lado
puente”, a menos que no exista otra alternativa. El lado puente es aquella arista que si se
elimina, los grafos pierden la propiedad de ser conexos.
4. Desconectar los vértices que están unidos por la arista seleccionada.
5. Si todos los vértices del grafo ya están desconectados, ya se tiene el circuito de Euler y
finalizar. De otra manera continuar con el paso 3.

La firma del diablo es un juego que consiste en dibujar una figura sin levantar el lápiz del papel,
partiendo de un punto y regresando nuevamente a él sin pasar dos veces por una misma arista. Este
problema se puede resolver por medio del circuito de Euler.

DEFINICIÓN: Un Camino Hamiltoniano en un grafo 𝐺 es un camino que recorre cada vértice una y sólo
una vez.

Un ciclo simple en un grafo o multigrafo 𝐺 se dice que es de Hamilton, si contiene a todos los vértices
de 𝐺. Un circuito Hamiltoniano en un grafo 𝐺 es un circuito que recorre cada vértice una y sólo una
vez. Un grafo es Hamiltoniano si tiene un circuito Hamiltoniano.

Estos circuitos reciben este nombre en honor a Willian Rowan Hamilton quien en 1857 puso sobre
cada de un dodecaedro el nombre de alguna ciudad importante y se preguntó si era posible visitar
las veinte ciudades exactamente una vez, con la condición que podía viajar de una ciudad a otra solo
si estaban en caras consecutivas en el dodecaedro. Así por ejemplo para viajar de la ciudad A a la
ciudad B el valor es de $1850.

Una pregunta interesante seria la siguiente. ¿Cuál de todos los circuitos Hamiltoniano que comienzan
en 𝐴 tiene el menor costo? Este tipo de problemas se conocen como El Problema del Agente Viajero
y entre sus posibles soluciones encontramos las siguientes:

Ejemplo: Grafo Hamiltoniano:

Además:
1. Si un grafo no es conexo, no puede tener camino ni circuito Hamiltoniano.
2. Si G es Hamiltoniano, entonces no tiene curvas ni puntos de corte.
3. Todo grafo completo contiene un ciclo Hamiltoniano.

Mg. Alvaro Espinosa Pérez 9

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

TEOREMA. El grafo 𝐺 contiene un ciclo hamiltoniano sí y solo sí:

𝑛
1. G es conexo con 𝑛 vértices y 𝑚 aristas, donde cada vértice tiene un grado ≥ .
2
1
2. 𝑚 ≥ (𝑛2 – 3𝑛 + 6)
2

Ejemplo: Considere el grafo completo con cinco vértices 𝐾5 :

Es claro que el grafo anterior tiene circuitos de Hamilton, por ejemplo el circuito {𝐴, 𝐵, 𝐶, 𝐷, 𝐸}.

Ejemplo: Vamos a estudiar si son Euleriano y/o Hamiltoniano los siguientes grafos:

1. 𝐺1 es euleriano porque todos los vértices son de grado par. También es Hamiltoniano porque
fácilmente se puede construir un ciclo Hamiltoniano. ´
2. En 𝐺2 todos los vertices son de grado par y, por lo tanto, es euleriano. En cambio, no es
Hamiltoniano. En efecto, si fuera Hamiltoniano, tendría que tener un ciclo Hamiltoniano, al
cual contribuirían todos los vértices con exactamente dos aristas; considerando, ´ pues, la
contribución de los vértices de grado 2, resultaría que todas las aristas incidentes al vértice
de grado 4 serían de este ciclo, lo que no tiene sentido.
3. 𝐺3 no es euleriano (contiene vértices de grado impar) pero si es Hamiltoniano. Fácilmente se
puede encontrar un ciclo Hamiltoniano.
4. Finalmente, 𝐺4 ni es euleriano ni hamiltoniano. No es euleriano porque contiene vértices de
grado impar. Si hubiera un ciclo Hamiltoniano, contendría todas las aristas de los vértices de
grado 2, y puesto que cada vértice puede contener exactamente dos ´ aristas incidentes; se
tienen que descartar las aristas que conectan los vértices de grado 3 del grafo y, en
consecuencia, el supuesto “ciclo Hamiltoniano” sería reunión de dos ciclos.

A diferencia de los grafos euleriano no hay ningún resultado que dé la condición necesaria y suficiente
para que un grafo sea Hamiltoniano. Existen condiciones necesarias de hamiltoneidad y existen
también, independientemente, ´ condiciones suficientes; muchas de estas tienen poca aplicabilidad
práctica en muchos casos concretos.

DEFINICIÓN: Un grafo 𝐺 = (𝑉, 𝐸) es 2-conexo si cada pareja de vértices 𝑢 y 𝑣 de G está conectada

por un mínimo de dos caminos disjuntos, es decir, dos caminos que los únicos vértices que tienen en
común son los extremos 𝑢 y 𝑣.

Si nos fijamos en los grafos del ejemplo, se puede observar:

1. 𝐺1 es 2-conexo, puesto que todos los vértices forman parte de un ciclo.

Mg. Alvaro Espinosa Pérez 10

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

2. 𝐺2 no es 2-conexo. En efecto, cualquier camino que una dos vértices opuestos en diagonal
tiene que pasar por el vértice central.

Esta noción de 2-conectividad es necesaria para la existencia de un ciclo Hamiltoniano. ´

TEOREMA: Si 𝐺 = (𝑉, 𝐸) es un grafo hamiltoniano:

1. 𝐺 es conexo y todos sus vértices tienen grado mayor o igual que 2.
2. 𝐺 es 2-conexo.
3. Para todo 𝑉1 ⊂ 𝑉2 , 𝑉1 = ∅ se verifica 𝑐(𝑉2 − 𝑉1 ) ≤ |𝑉1 | donde 𝑐(𝑉2 − 𝑉1 ) representa el
número de componentes conexas del grafo obtenido de G después de eliminar los vértices
(y las aristas incidentes) de 𝑉1 .

Ejemplo: El grafo G4 no es Hamiltoniano. Si se elimina el conjunto de dos vértices de color blanco se

obtendría un grafo con tres componentes conexas.

DEFIICIÒN: (Grafo ponderado): Se llaman grafos ponderados:

1. A los grafos se les puede asignar un peso a sus aristas
2. A estos grafos se les conoce como grafos ponderados
3. La longitud de un camino de un grafo ponderado corresponde a la suma de los pesos en ese
camino.

Ejemplo: Grafo ponderado:

ARBOLES
A continuación, estudiaremos un tipo especial de grafos que se utilizan mucho en computación,
específicamente en Estructuras y Bases de Datos. Son los denominados “árboles”.

DEFINICIÒN: Un árbol, es un grafo 𝑇 conexo sin ciclos, ni lazos ni lados paralelos, es decir, 2 vértices
se conectan por un único camino simple.

DEFINICIÒN: Se denomina BOSQUE al grafo no conexo en el cual cada una de las componentes es un
árbol.

Las propiedades básicas de un árbol son las siguientes:

1. Es un grafo conexo en donde existe un camino entre cualquier par de vértices (𝑢, 𝑣).
2. Este grafo no tiene ciclos ni lados paralelos.

Mg. Alvaro Espinosa Pérez 11

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

3. Todo árbol con al menos dos vértices tiene al menos una hoja (si se considera al otro vértice
la raíz).
4. Si a un árbol se le agrega una arista entre dos de sus vértices, deja de ser árbol.
5. Todas las aristas de un árbol son puentes.
6. En todo árbol se cumple que: |𝑉 | = |𝐸| + 1
Nota: Un grafo no dirigido es un árbol si, y solo si, hay un único camino entre cada pareja de vértices.

DEFINICIÓN: Un árbol con raíz es un árbol con un vértice que ha sido designado como raíz y cada
arista se puede acceder desde un camino directo desde la raíz.

Los vértices de un árbol reciben el nombre de nodos y los lados de ramas. Si un grafo está compuesto
por niveles y el más alto de la jerarquía se llama Raíz. La raíz tiene un nivel 0, los vértices
inmediatamente debajo de la raíz tienen un nivel 1 y así sucesivamente. Veamos:

La altura o peso de un árbol es el valor de su nivel más bajo. Con excepción de la raíz, todo nodo está
vinculado a otro de mayor nivel que recibe el nombre de padre, también cualquier nodo puede tener
uno o más elementos relacionados en un nivel más bajo y a éstos se les llama hijos.

En el árbol de la figura, la raíz es 𝑎 y los hijos de la raíz son {𝑏, 𝑐, 𝑑} Como se ve, ningún hijo puede
tener más de un padre. Los elementos que están en las puntas de las ramas (es decir, que no tienen
hijos) se les llama hojas.

En el grafo de la figura, las hojas son {𝑑, 𝑖 𝑒, 𝑔, 𝑖, 𝑗, 𝑘, 1, 𝑚, 𝑛}. Por otro lado, se llaman vértices internos
a todos aquellos que no sean hojas. A todos los elementos colocados debajo de un nodo,
independícenseme de su nivel, se les llama descendientes y Los elementos colocados en una misma
línea de descendencia, antes de un nodo, se llaman antecesores.

TIPOS DE ÁRBOLES
Los árboles se pueden clasificar de acuerdo con su número de nodos y es función de su altura.
1. Clasificación por número de nodos: En este caso los árboles pueden ser binarios (cada nodo
padre tiene uno dos hijos máximos). Trinarios (cada nodo padre tiene máximo tres hijos.
Cuaternarios (cada nodo padre tiene como máximo cuatro hijos), etc.

Mg. Alvaro Espinosa Pérez 12

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

Los árboles binarios son especialmente importantes en el área de la computación ya que por
su naturaleza de tener solamente dos valores (0, 1), o bien falso o verdadero, son muy útiles
en aplicaciones de sistemas digitales.

Árbol binario completo. Es aquél en el que cada nodo tiene dos ramas o ninguna. Un árbol
binario completo con 𝑛 nodos internos tiene (𝑛 + 1) hojas y (2𝑛 + 1) vértices en total.

Ejemplo: Considere el siguiente árbol:

En el caso del árbol de la figura los nodos internos son 𝑛 = 6, por lo tanto tiene:
Hojas = 𝑛 + 1 = 6 + 1 = 7
Total de vértices = 2𝑛 + 1 = 2 (6) + 1 = 13
2. Clasificación por altura: De acuerdo con este criterio los árboles pueden ser balanceados
(cuando la diferencia de altura entre sus ramas es máximo 1) y desbalanceados (cuando la
diferencia de altura entre las ramas es mayor de 1).

Para balancear un árbol con una cantidad constante de hijos de los nodos padres, se llenan
empezando por la raíz y descendiendo con un avance de izquierda a derecha.

Ejemplo: Se dice que un árbol con una altura h está balanceado si el nivel de cualquier hoja
es ℎ o (ℎ − 1), esto es, si hay una diferencia máxima de un nivel entre hojas. Un nivel de un
nodo del árbol (altura) es el nivel de su padre más uno. Por definición, la raíz del árbol tiene
nivel 0.

Ejemplo: Vamos a balancear como binario el siguiente árbol:

El árbol está desbalanceado porque la diferencia de alturas entre hojas sobrepasa (ℎ − 1).
Por ejemplo, en el árbol, el nivel del vértice (c) es 1 mientras que la altura del árbol es h = 4
y es claro que 1 ≠ ℎ − 1.

En la figura se tienen el árbol balanceado por lo que la diferencia máxima entre hojas es de
1.

Mg. Alvaro Espinosa Pérez 13

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

Tenga presente que:

1. Si un árbol n-ario de altura ℎ tiene 𝑙 hojas, entonces ℎ ≥ log 𝑛 𝑙.
2. Si un árbol n-ario está lleno y balanceado, entonces ℎ = log 𝑛 𝑙
3. Hay un máximo de 𝑛ℎ hojas en el árbol n-ario de altura ℎ.

DEFINICIONES:
1. Un árbol generador de un grafo 𝐺 es un subgrafo generador de 𝐺 que es un árbol.
2. Un árbol raíz es un árbol 𝑛-ario si cada vértice interno no tiene más de 𝑛 hijos.
a. La 𝑛 significa que esa es la cantidad máxima de hijos que cada nodo padre puede tener
en un árbol enraizado.
b. Que sea lleno significa que cada nodo es una hoja o posee 𝑛 hijos.
3. Un árbol es llamado n-ario completo si cada vértice interno tiene exactamente 𝑛 hijos.

Es decir, un árbol generador representa la mínima estructura necesaria para mantener la conexión
entre los vértices. Y así se usa en la práctica: si únicamente interesa mantener la conexión del grafo,
puedo eliminar todas las aristas innecesarias con el consiguiente ahorro.
Un árbol n-ario lleno con:
𝑛–1 [(𝑚 – 1)𝑛 + 1]
1. 𝑛 vértices tiene 𝑖 = vértices internos y 𝑙 = hojas.
𝑚 𝑚
2. 𝑖 vértices internos tiene 𝑛 = 𝑚𝑖 + 1 vértices y 𝑙 = (𝑚 – 1)𝑖 + 1 hojas.
𝑚𝑙 – 1 𝑙–1
3. 𝑙 hojas tiene 𝑛 = vértices y 𝑖 = vértices internos
𝑚–1 𝑚–1

Una vez que uno de 𝑛, 𝑖 𝑜 𝑙 es conocido, se aplica la propiedad anterior para hallar los otros dos
mediante la cantidad ya encontrada.

Ejemplo: Considere el siguiente árbol:

Es un árbol 3-ario y está lleno con:

1. 𝑚 = 3 hijos por nodo y 𝑛 = 13 vértices en total
13 – 1
2. 𝑖 = = 4 vértices internos
3
[(3 – 1)13 + 1]
3. 𝑙 = = 9 hojas
3

DEFINICIÒN: (Árbol de Expansión): Dado un grafo 𝐺, el árbol de expansión es un subgrafo de 𝐺 que

conecta todos los nodos de este mismo sin formar un ciclo. Los árboles de expansión pueden ser
árboles de profundidad o anchura, y pueden obtenerse por la búsqueda en profundidad o anchura,
respectivamente.
Un árbol de expansión o árbol recubridor de un grafo conexo 𝐺 puede ser también definido como el
mayor conjunto de aristas de G que no contiene ciclos, o como el mínimo conjunto de aristas que
conecta todos los vértices.

Mg. Alvaro Espinosa Pérez 14

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

TEOREMA: Todo grafo conexo 𝐺 admite un árbol de expansión, que es un árbol que contiene cada
vértice de 𝐺 y cuyas aristas son aristas de 𝐺.

DEFINICIÓN: Se llama árbol 𝑇 ponderado a un árbol en el que cada arista tiene asignado un número
llamado peso.
En muchas situaciones, una arista en un grafo (dirigido o no dirigido) no tiene el mismo “valor” que
otra del mismo grafo: se puede definir en cada una un valor de costo o de peso. Veamos:

Dada una grafo, su árbol 𝑇 mínimo generador (o árbol de peso mínimo o árbol mínimo de expansión)
es un árbol que pasa por todos los vértices y que la suma de sus aristas es la de menor peso.

La forma inmediata en que se nos puede ocurrir para encontrarlo es mediante una búsqueda
exhaustiva, sin embargo, podemos encontrarlo más rápido.

RECORRIDOS EN ARBOLES
Los arboles con raíz se utilizan frecuentemente para almacenar información. Existen algoritmos de
recorrido para visitar cada uno de los vértices para acceder a los datos. Los algoritmos más conocidos
de recorrido de árboles son:
1. Recorrido en pre-orden: Para realizar el recorrido en pre-orden:
a. Visite la raíz. muestre la raíz
b. Visite los subárboles de izquierda a derecha (repita el procedimiento hasta llegar a las
hojas)
2. Recorrido en in-orden; Para realizar el recorrido en in-orden:
a. Visite el subárbol más izquierdo (primer hijo de izquierda a la derecha)
b. Visite la raíz. muestre la raíz
c. Visite los subárboles restantes de izquierda a derecha (repita el procedimiento hasta
llegar a las hojas)
3. Recorrido en post-orden: Para realizar el recorrido en post-orden:
a. Visite el subárbol más izquierdo (primer hijo de izquierda a la derecha)
b. Visite los subárboles restantes de izquierda a derecha (repita el procedimiento hasta
llegar a las hojas)
c. Visite la raíz. muestre la raíz.

Ejemplo: Realice los diferentes recorridos sobre árboles de las figuras:

Mg. Alvaro Espinosa Pérez 15

 UNIDAD 5: Introducción a la Teoría de Gafos y Árboles

DEFINICIÓN: El algoritmo de Krustkal, es un algoritmo que elimina aristas del árbol generador o grafo
conexo, hasta encontrar el árbol que conecte cada nodo con el peso mínimo. El algoritmo de Krustkal
toma en consideración los siguientes elementos:
1. Si 𝐺 es un grafo conexo de 𝑛 vértices y maristas, hay que quitar 𝑚 − (𝑛 − 1) aristas para que
obtengamos las 𝑛 − 1 aristas del árbol mínimo.
2. Se eliminan las aristas pertenecientes a ciclos o rizos, de tal forma que el grafo se mantenga
conectado.
3. Durante la búsqueda del árbol generador mínimo se deben eliminar aquellas aristas que
tengan más peso.

Ejemplo. Aplicación del algoritmo de Krustkal:

DEFINICIÓN: El algoritmo de Prim parte de la generación de varios árboles generadores mínimos a

partir de un nodo o vértice inicial. El proceso del algoritmo va agregando hojas al nodo inicial hasta
llegar al árbol generador mínimo deseado, al agregar las hojas de una en una mantiene la conexión
entre nodos mínima, a su vez cada nueva conexión va seleccionando la de menor peso hasta construir
el árbol final.

Ejemplo: Aplicación del algoritmo de Prim:

BIBLIOGRAFIA

1. Estructuras de Matemáticas Discretas para la Computación, B. Kolman y R.C. Busby (Ed.

Prentice Hall).
2. Matemática Discreta, R. Johnsonbaugh (Grupo Editorial Iberoamericano).
3. Matemática Discreta, S. Lipschutz (Ed. McGraw-Hill).
4. Elementos de Matemáticas Discretas, C.L. Liu (Ed. McGraw Hill).
5. Matemática Discreta y Aplicaciones Rosen, Kenneth H., McGraw-Hill / Interamericana de
España, S.A. 2004.
6. Lógica Digital y Diseño de Computadores Mano Morris. Ed. Prentice Hall.
7. Matemática Discreta y Combinatoria, R.P. Grimaldi (Ed. Addison Wesley).

Mg. Alvaro Espinosa Pérez 16