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

En cualquier . Este modelo ha sido ampliamente investigado en los ámbitos de la Probabilidad y la Física matemática.Árboles de expansión uniforme Un árbol de expansión escogido aleatoriamente. 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. entre todos los árboles de expansión se denomina árbol de expansión uniforme (AEU). Hay un ciclo fundamental distinto para cada arista. es decir. y así. 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. cualquier árbol de expansión tiene V-1 aristas. con igual probabilidad.

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. 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. Por tanto. hay exactamente V-1 cortes fundamentales en un grafo. . Al eliminar una arista del árbol de expansión. los vértices se dividen en dos conjuntos disjuntos (desconectados).árbol de expansión dado. uno por cada 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. esos ciclos forman una base del espacio de ciclos.

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

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

Sign up to vote on this title
UsefulNot useful