UPC – Departamento de Ciencias – Matemática Discreta

SESIÓN 12.2

CONTENIDO

1. Relación simétrica, acíclica y conexa

2. Árbol de expansión
3. Algoritmos de Prim y Kruskal
UPC – Departamento de Ciencias – Matemática Discreta

1. RELACIÓN SIMÉTRICA, ACÍCLICA Y CONEXA

DEFINICIÓN: Una relación simétrica R es acíclica si no contiene ciclos (trayectorias cerradas).

Una relación es conexa si en su dígrafo, existe alguna trayectoria desde un vértice cualquiera
hacia todos los demás vértices.
TEOREMA: Sea R una relación simétrica en un conjunto A. Entonces las siguientes
proposiciones son equivalentes:
(a) R es un árbol no dirigido.
(b) R es conexo y acíclico.
TEOREMA: Un árbol con n vértices tiene n -1 aristas.

2. ÁRBOL DE EXPANSIÓN

DEFINICIÓN: Si R es una relación simétrica conexa sobre un conjunto A, un árbol T en A es un

árbol generador o árbol de expansión para R si T es un árbol con exactamente los mismos
vértices que R y que se puede obtener de R eliminando algunas aristas de R.

Ejemplo 2.1:

Dígrafo asociado a R Árboles de expansión para R

En muchas aplicaciones de las relaciones simétricas conexas, la gráfica (no dirigida) de la

relación modela una situación donde las aristas y los vértices contienen información.

DEFINICIÓN: Una gráfica con pesos es una gráfica donde cada arista está etiquetada con un
valor numérico que denota su peso.
UPC – Departamento de Ciencias – Matemática Discreta

Ejemplo 2.2:

DEFINICIÓN: En las aplicaciones de las gráficas con pesos, con frecuencia se necesita
determinar un árbol de expansión no dirigido para el cual el peso total de las aristas en el árbol
sea el menor posible. Este árbol se conoce como árbol de expansión mínima.

Ejemplo 2.3:

Gráfica con pesos Árbol de expansión mínima

3. ALGORITMOS DE PRIM Y KRUSKAL

DEFINICIÓN: El peso de una arista (𝑣𝑖 , 𝑣𝑗 ) es la distancia entre los vértices 𝑣𝑖 y 𝑣𝑗 . Un vértice
𝑢 es un vecino más cercano del vértice 𝑣, si 𝑢 y 𝑣 son adyacentes y ningún otro vértice queda
unido con 𝑣 mediante una arista de menor peso que (𝑢, 𝑣).
Un vértice 𝑣 es un vecino más cercano de un conjunto de vértices 𝑉 = {𝑣1 , 𝑣2 , 𝑣3 , . . . , 𝑣𝑘 }, en
una gráfica si 𝑣 es adyacente a algún miembro 𝑣𝑖 de 𝑉 y ningún otro vértice adyacente a un
miembro de 𝑉 está unido mediante una arista de menor peso que (𝑣, 𝑣𝑖 ).

ALGORITMO DE PRIM: Los algoritmos de Prim y Kruskal se aplican a una relación simétrica
conexa, dada por su gráfica de pesos no dirigida, para producir un árbol de expansión mínima.

Algoritmo de Prim:
Paso 1: Se elige un vértice 𝑣1 de 𝑅. Sea 𝑉 = {𝑣1 } y 𝐸 = { }.
Paso 2: Se elige uno de los vértices más cercanos a 𝑣𝑖 de 𝑉, que sea adyacente a 𝑣𝑗 ∈ 𝑉, y tal
que la arista (𝑣𝑖 , 𝑣𝑗 ) no forme un ciclo con miembros de 𝐸. Se agrega 𝑣𝑖 a 𝑉 y (𝑣𝑖 , 𝑣𝑗 ) a 𝐸.
UPC – Departamento de Ciencias – Matemática Discreta

Paso 3: Se repite el paso 2 hasta que |𝐸| = 𝑛 − 1. Entonces 𝑉 contiene los 𝑛 vértices de 𝑅 y
𝐸 contiene las aristas de un árbol de éxpansión mínima para 𝑅.
Fin del algoritmo

ALGORITMO DE KRUSKAL: Sea 𝑅 una relación simétrica, conexa con 𝑛 vértices y sea 𝑆 =
{𝑒1 , 𝑒2 , . . . , 𝑒𝑘 } el conjunto de todas las aristas con pesos de 𝑅.

Algoritmo de Kruskal
Paso 1: Se elige una arista 𝑒1 en 𝑆, de peso mínimo. Sea 𝐸 = {𝑒1 }. Se reemplaza 𝑆 por 𝑆 −
{𝑒1 }.
Paso 2: Se selecciona una arista 𝑒𝑖 , de menor peso que no forme un ciclo con los miembros de
𝐸. Se reemplaza 𝐸 por 𝐸 ∪ {𝑒𝑖 } y 𝑆 por 𝑆 − {𝑒𝑖 }.
Paso 3: Se repite el paso 2 hasta que |𝐸| = 𝑛 − 1.
Fin del algoritmo
UPC – Departamento de Ciencias – Matemática Discreta

BIBLIOGRAFÍA

Susanna S. Epp (2012). Matemáticas Discretas con aplicaciones, cuarta edición. Editorial Cengage, México.

Richard Johnsonbaugh (2005). Matemáticas Discretas, sexta edición. Editorial Pearson, México.