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

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

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

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

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

Sign up to vote on this title
UsefulNot useful