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

Para un grafo conexo con V vértices. y así.Árboles de expansión uniforme Un árbol de expansión escogido aleatoriamente. 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. con igual probabilidad. se crea un ciclo: los ciclos de ese tipo se denominan ciclos fundamentales. un grafo con E aristas tiene E-V+1 ciclos fundamentales. En cualquier . Este modelo ha sido ampliamente investigado en los ámbitos de la Probabilidad y la Física matemática. entre todos los árboles de expansión se denomina árbol de expansión uniforme (AEU). es decir. 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.

existe el concepto de corte fundamental. 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. Por tanto. hay exactamente V-1 cortes fundamentales en un grafo. De manera dual a la noción de ciclo fundamental. uno por cada arista del árbol de expansión. . Al eliminar una arista del árbol de expansión. los vértices 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 división. esos ciclos forman una base del espacio de ciclos. 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.

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

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

Sign up to vote on this title
UsefulNot useful