Bosques de expansin

Un bosque de expansin es un tipo de subgrafo que generaliza el concepto de rbol de expansin. Hay dos definiciones de uso comn:


Segn la primera, un bosque de expansin es un subgrafo que consiste en un rbol de expansin en cada componente conexo del grafo (equivalentemente, es un subgrafo libre de ciclos maximal). Esta definicin es frecuente en informtica y optimizacin, as como la que se emplea habitualmente al tratar los bosques mnimos de expansin, la generalizacin a subgrafos disconexos de rboles de expansin minimales. Otra definicin, empleada en teora de grafos, es la de un bosque de expansin es un subgrafo que es a la vez bosque (es decir, no contiene ciclos) y de expansin (es decir, incluye a todos los vrtices).

rboles de expansin uniforme

Un rbol de expansin escogido aleatoriamente, con igual probabilidad, entre todos los rboles de expansin se denomina rbol de expansin uniforme (AEU). Este modelo ha sido ampliamente investigado en los mbitos de la Probabilidad y la Fsica matemtica.

Ciclos fundamentales y cortes fundamentales

Si se aade una sola arista a un rbol de expansin, se crea un ciclo: los ciclos de ese tipo se denominan ciclos fundamentales. Hay un ciclo fundamental distinto para cada arista; es decir, hay una correspondencia biyectiva (uno a uno) entre ciclos fundamentales y aristas ausentes del rbol de expansin. Para un grafo conexo con V vrtices, cualquier rbol de expansin tiene V-1 aristas, y as, un grafo con E aristas tiene E-V+1 ciclos fundamentales. En cualquier

rbol de expansin dado, esos ciclos forman una base del espacio de ciclos. De manera dual a la nocin de ciclo fundamental, existe el concepto de corte fundamental. Al eliminar una arista del rbol de expansin, los vrtices se dividen en dos conjuntos disjuntos (desconectados). El corte fundamental se define como el conjunto de aristas que deben ser eliminados de un grafo G para llegar a la misma divisin. Por tanto, hay exactamente V-1 cortes fundamentales en un grafo, uno por cada arista del rbol de expansin. La dualidad entre cortes y ciclos fundamentales se manifiesta al observar que las aristas de un ciclo que no pertenece al rbol de expansin slo pueden aparecer en los cortes de otras aristas del ciclo, y viceversa: las aristas en un corte slo pueden aparecer en aquellos ciclos no contenidos en la arista correspondiente al corte.

Ejemplo
Este es el grafo original. Los nmeros de las aristas indican su peso. Ninguna de las aristas est resaltada. AD y CE son las aristas ms cortas, con peso 5, y AD se ha elegido arbitrariamente, por tanto se resalta. Sin embargo, ahora es CE la arista ms pequea que no forma ciclos, con peso 5, por lo que se resalta como segunda arista. La siguiente arista, DF con peso 6, ha sido resaltada utilizando el mismo mtodo.

La siguientes aristas ms pequeas son AB y BE, ambas con peso 7. AB se elige arbitrariamente, y se resalta. La arista BD se resalta en rojo, porque formara un ciclo ABD si se hubiera elegido. El proceso contina marcando las aristas, BE con peso 7. Muchas otras aristas se marcan en rojo en este paso: BC (formara el ciclo BCE), DE (formara el ciclo DEBA), y FE (formara el ciclo FEBAD). Finalmente, el proceso termina con la arista EG de peso 9, y se ha encontrado el rbol expandido mnimo.