Matemtica Discreta

rboles no dirigidos

MATEMTICA DISCRETA

RBOLES NO DIRIGIDOS
Un rbol no dirigido es la cerradura simtrica de un
rbol; es decir, es un rbol con todas sus aristas
bidireccionales.
El conjunto {a, b}, donde (a, b) y (b, a) estn en T,
es una arista no dirigida de T. En este caso, los
vrtices a y b son vrtices adyacentes.

MATEMTICA DISCRETA MA265

RELACIN SIMTRICA
Sea R una relacin simtrica y sea:
p : v1, v2, ... ,vn una trayectoria en R.
Se dice que p es simple si no existen dos aristas de
p correspondientes a la misma arista no dirigida.
Si adems v1 es igual a vn, p es un ciclo simple.

DEFINICIN
Una relacin simtrica R es acclica si no contiene
ciclos simples.

MATEMTICA DISCRETA MA265

RELACIN CONEXA
Una relacin es conexa si en su dgrafo, existe
alguna trayectoria desde un vrtice cualquiera
hacia todos los dems vrtices.

TEOREMA
Sea R una relacin simtrica en un conjunto A.
Entonces las siguientes proposiciones son
equivalentes:
(a) R es un rbol no dirigido.
(b) R es conexo y acclico.

TEOREMA
Un rbol con n vrtices tiene n-1 aristas.
MATEMTICA DISCRETA MA265

RBOLES DE EXPANSIN DE RELACIONES

CONEXAS
Si R es una relacin simtrica conexa sobre un
conjunto A, un rbol T en A es un rbol de
expansin para R si T es un rbol con exactamente
los mismos vrtices que R y que se puede obtener
de R eliminando algunas aristas de R.

MATEMTICA DISCRETA MA265

RBOLES DE EXPANSIN MNIMA

En muchas aplicaciones de las relaciones simtricas
conexas, la grfica (no dirigida) de la relacin
modela una situacin donde las aristas y los
vrtices contienen informacin. Una grfica con
pesos es una grfica donde cada arista est
etiquetada con un valor numrico que denota su
peso.

MATEMTICA DISCRETA MA265

RBOLES DE EXPANSIN MNIMA

Ejemplo
Un pequeo pueblo mantiene un sistema de
veredas para transitar entre las reas de recreacin
en el pueblo. El sistema se modela mediante una
grfica con pesos en la figura, donde los pesos
representan las distancias en kilmetros que hay
entre los sitios.
B
D 2
6
H
3
3
2
5 E
6
A
C
2
3
5
4
F
MATEMTICA DISCRETA MA265

G
7

DEFINICIN
1. El peso de una arista (vi, vj) es la distancia
entre los vrtices vi y vj.
2. Un vrtice u es un vecino ms cercano del
vrtice v, si u y v son adyacentes y ningn otro
vrtice queda unido con v mediante una arista
de menor peso que (u, v).
3. Un vrtice v es un vecino ms cercano de un
conjunto de vrtices V={v1, v2, v3, ... , vk}, en
una grfica si v es adyacente a algn miembro
vi de V y ningn otro vrtice adyacente a un
miembro de V est unido mediante una arista
de menor peso que (v, vi).
MATEMTICA DISCRETA MA265

NOTA
En las aplicaciones de las grficas con pesos, con
frecuencia se necesita determinar un rbol de
Expansin 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 expansin mnima.

MATEMTICA DISCRETA MA265

ALGORITMO DE PRIM
Aplicado a una relacin simtrica conexa, dada por
su grfica de pesos no dirigida, para producir un
rbol de expansin mnima.
Sea R una relacin simtrica conexa con n vrtices:

MATEMTICA DISCRETA MA265

10

ALGORITMO DE PRIM
Paso 1: Se elige un vrtice v1 de R. Sea V={v1} y
E={ }.
Paso 2: Se elige uno de los vrtices ms cercanos a
vi de V, que sea adyacente a vj V, y tal que la
arista (vi , vj) no forme un ciclo con miembros de E.
Se agrega vi a V y (vi , vj) a E.
Paso 3: Se repite el paso 2 hasta que |E| = n - 1.
Entonces V contiene los n vrtices de R y E contiene
las aristas de un rbol de Expansin mnima para R.
Fin del Algoritmo

MATEMTICA DISCRETA MA265

11

ALGORITMO DE KRUSKAL
Aplicado a una relacin simtrica conexa, dada por
su grfica de pesos no dirigida, para producir un
rbol de expansin mnima.
Sea R una relacin simtrica, conexa con n vrtices
y sea S = {e1, e2, ... , ek} el conjunto de todas las
aristas con pesos de R.

MATEMTICA DISCRETA MA265

12

ALGORITMO DE KRUSKAL

Paso
1: Se elige una arista e1 en S, de peso mnimo.
Sea E = {e1}. Se reemplaza S por S - {e1}.

Paso 2: Se selecciona una arista ei, de menor peso

que no forme un ciclo con los miembros de E. Se
reemplaza E con E {ei} y S con S - {ei}.
Paso 3: Se repite el paso 2 hasta que |E| = n - 1.
Fin del Algoritmo

MATEMTICA DISCRETA MA265

13