RBOLES DE EXPANSIN

En esta seccin consideraremos el problema de determinar una subgrfica T de una grfica G de modo que T sea un rbol con todos los vrtices de G; es decir, un rbol de expansin. Veremos que los modos para determinar rboles de expansin se pueden aplicar tambin a otros problemas. Un rbol T es un rbol de expansin de una grfica G Si T es una subgrfica de G que contiene a todos los vrtices de G.

(Ejemplos de rboles de expansin de la misma grfica, representadas en las lneas puntadas) Suponga que una grafica G tiene un rbol de expansin T. Sean a y b vrtices de G. Como a y b son tambin vrtices de T y T es un rbol, existe un camino P de a a b. Sin embargo, P tambin sirve como un camino de a a b en G; as, G es conexa. El reciproco tambin es verdadero.

Una grafica G tiene un rbol de expansin si y slo si G es conexa.

Si G tiene un rbol de expansin, entonces G es conexa. Supongamos que G es conexa. Si G es acclica, G es un rbol. Supongamos que G contiene un ciclo. Eliminamos una arista (pero no los vrtices) de este ciclo. La grfica producida sigue siendo conexa. Si es acclica, nos detenemos. Si contiene un ciclo, eliminamos una arista de este ciclo. Continuamos de esta manera hasta obtener una subgrfica acclica, conexa. Como T contiene a todos los vrtices de G, T es un rbol de expansin de G. Utilizaremos un mtodo llamado bsqueda a lo ancho. La idea de la bsqueda a lo ancho es procesar todos los vrtices de un nivel dado antes de pasar al siguiente nivel superior. Primero, elegimos un orden, digamos abcdefgh, de los vrtices de G. Elegimos el primer vrtice a y lo etiquetamos como la raz. Sea T la grfica formada por el nico vrtice a, sin aristas. Agregamos a T todas las aristas (a, x) y los vrtices sobre los cuales son incidentes, desde x = b hasta h, que no produzcan un ciclo al agregarse a T. As, agregamos a T las aristas (a, b), (a, c) y (a, g). (Podemos usar cualesquiera de las aristas paralelas incidentes en a y g.) Repetimos este procedimiento con los vrtices del nivel 1, examinndolos en orden: b: Incluir (b, d). c: Incluir (c, e). g: Ninguno. Repetimos el procedimiento con los vrtices del nivel 2: d: Incluir (d, f) e: Ninguno Repetimos el procedimiento con los vrtices del nivel 3: f: Incluir (t; h) Como no se pueden agregar ms aristas a h, el nico vrtice del nivel 4, el procedimiento termina. Hemos determinado el rbol de expansin de la figura anterior.

Bsqueda a lo ancho para obtener un rbol de expansin Este algoritmo determina un rbol de expansin mediante el mtodo de bsqueda a lo ancho. Entrada: Una grfica conexa G con los vrtices ordenados V1, V2, ..., Vn Salida: Un rbol de expansin T.

La bsqueda a lo ancho se puede utilizar para verificar si una grfica arbitraria G con n vrtice S es conexa. Entonces G es conexa si y solo si T tiene n vrtices. La bsqueda a lo ancho tambin se puede utilizar para determinar caminos de longitud mnima en una grafica sin pesos, que vayan de un vrtice dado v a todos los dems vrtices. Observamos que la longitud de un camino ms corto de v a un vrtice en le nivel i del rbol de expansin es i. El algoritmo

para el camino (o ruta) ms corto de Dijkstra para grficas con pesos se puede considerar como una generalizacin de la bsqueda a lo ancho.

ARBOLES DE EXPANSIN MNIMA

Es aquel rbol de expansin que tiene menor peso, es decir, se busca crear el rbol de expansin que tenga un peso mnimo

Sea G una grfica ponderada. Un rbol de expansin mnima es un rbol de expansin de G con peso mnimo

Ejemplo:

Analizaremos un algoritmo para determinar un rbol de expansin mnimo conocido como algoritmo de Prim. Este algoritmo construye un rbol agregando aristas de manera iterativa hasta obtener un rbol de expansin mnimo. En cada iteracin agregamos una arista de peso mnimo que no forme un ciclo en el rbol en cuestin.