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). 

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

existe el concepto de corte fundamental. uno por cada arista del árbol de expansión. hay exactamente V-1 cortes fundamentales en un grafo. 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. y viceversa: las aristas en un corte sólo pueden aparecer en aquellos ciclos no contenidos en la arista correspondiente al corte. 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. Por tanto. De manera dual a la noción de ciclo fundamental. . los vértices se dividen en dos conjuntos disjuntos (desconectados). esos ciclos forman una base del espacio de ciclos. Al eliminar una arista del árbol de expansión.árbol de expansión dado.

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

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

Sign up to vote on this title
UsefulNot useful