Bosques de expansión

Un bosque de expansión es un tipo de subgrafo que generaliza el concepto de árbol de expansión. Hay dos definiciones de uso común: 

Según la primera, un bosque de expansión es un subgrafo que consiste en un árbol de expansión en cada componente conexo del grafo (equivalentemente, es un subgrafo libre de ciclos maximal). Esta definición es frecuente en informática y optimización, así como la que se emplea habitualmente al tratar los bosques mínimos de expansión, la generalización a subgrafos disconexos de árboles de expansión minimales. Otra definición, empleada en teoría de grafos, es la de un bosque de expansión es un subgrafo que es a la vez bosque (es decir, no contiene ciclos) y de expansión (es decir, incluye a todos los vértices). 

Árboles de expansión uniforme Un árbol de expansión escogido aleatoriamente. Ciclos fundamentales y cortes fundamentales Si se añade una sola arista a un árbol de expansión. Hay un ciclo fundamental distinto para cada arista. con igual probabilidad. En cualquier . se crea un ciclo: los ciclos de ese tipo se denominan ciclos fundamentales. Este modelo ha sido ampliamente investigado en los ámbitos de la Probabilidad y la Física matemática. es decir. y así. cualquier árbol de expansión tiene V-1 aristas. hay una correspondencia biyectiva (uno a uno) entre ciclos fundamentales y aristas ausentes del árbol de expansión. entre todos los árboles de expansión se denomina árbol de expansión uniforme (AEU). un grafo con E aristas tiene E-V+1 ciclos fundamentales. Para un grafo conexo con V vértices.

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

La siguiente arista. por tanto se resalta. por lo que se resalta como segunda arista. AD y CE son las aristas más cortas.Ejemplo Este es el grafo original. y AD se ha elegido arbitrariamente. . Sin embargo. con peso 5. con peso 5. DF con peso 6. Los números de las aristas indican su peso. ha sido resaltada utilizando el mismo método. Ninguna de las aristas está resaltada. ahora es CE la arista más pequeña que no forma ciclos.

Finalmente. Muchas otras aristas se marcan en rojo en este paso: BC (formaría el ciclo BCE). AB se elige arbitrariamente. BE con peso 7. . el proceso termina con la arista EG de peso 9. y se ha encontrado el árbol expandido mínimo. El proceso continúa marcando las aristas. y se resalta.La siguientes aristas más pequeñas son AB y BE. y FE (formaría el ciclo FEBAD). ambas con peso 7. La arista BD se resalta en rojo. DE (formaría el ciclo DEBA). porque formaría un ciclo ABD si se hubiera elegido.