SOLUCIONARIO DEL CAPITULO 23.

23.2 1
Dado un rbol de expansin mnima T deseamos ordenar los bordes con el
algoritmo de Kruskal tal que produce T. Para cada arista e en T, simplemente
asegurar que se precede a cualquier otro borde no en T con W Peso (e).

23.2 3
Considere los tiempos de ejecucin del algoritmo de Prims implementado ya
sea con una pila binaria o una pila Fibonacci

Supongamos que | E | = (V), entonces los tiempos de funcionamiento son los

siguientes:

Binario: O (E lg V) = O (V lg V)

Fibonacci: ONE + V lg V) = O (V lg V)

Si | E | = (V2) entonces:

Binario: O (E lg V) = O (V2 lg V)

Fibonnacci: O (E + V lg V) = O (V2)

La pila Fibonnacci gana a la aplicacin del algoritmo de pila binaria Prims

cuando:

| E | = (V) desde O (E + V lg V) = O (V lg V) t de | E | = O (V lg V), pero O (E

lg V) = (V lg V) para | E | = (V). Para | E | = (V lg V) la versin Fibonnacci
claramente tiene un mejor tiempo de funcionamiento de la versin ordinaria.

23.2 5
El tiempo de ejecucin del algoritmo Prims est compuesto por:

O (V) de inicializacin.

O (V Tiempo de Extract-MIN).

O (E Tiempo para DISMINUCIN-KEY).

Si las aristas estn en el rango 1,. . ., | V | la cola de prioridad de Van Emde
Boas puede acelerar EXTRACCIN y disminuir DISMINUCION-KEY a O (lg( lg
V)), obtenindose de este modo una duracin total de O (V lg (lg V) + E lg( lg
V)) = O (E lg (lg V)). Si Las aristas estn en el rango de 1 a W que podemos
poner en prctica la cola en forma de matriz

[1. . . W + 1] en la que en cada posicin mantiene una lista doblemente

enlazada de las aristas con el peso i. El W, primero posicin contiene .
EXTRACTO-MIN ahora se ejecuta en

O (W) =O (1) vez desde simplemente podemos explorar para la primera

espacio vaco no y devolver el primer elemento de la lista. DISMINUCIN-KEY
se ejecuta en O (1) tiempo

As, ya que se puede implementar moviendo un elemento de una posicin a

otra.

23.2-7

Comenzamos con el siguiente lema.

Lema

Sea T un rbol de expansin mnima de G = (V, E), y consideremos un G_

grafo = (V, E) para los que G es un subgrafo, es decir, V V_ y E E_. Sea T
= E - T sea las aristas de T que no estn en T. Luego hay un rbol de
expansin mnima de G que no incluye las aristas en T, hay una manera de
ordenar los bordes de E, para que algoritmo de Kruskal, al ejecutarse en G,
produce la rbol de expansin mnima T. Mostraremos que el algoritmo de
Kruskal, cunando se ejecutan en G, produce un rbol de expansin mnima T
que incluye que no incluye los bordes en T. Supongamos que las aristas en E
se consideran en el mismo orden relativo al algoritmo de Kruskal se ejecuta en
G. probar la siguiente afirmacin.

Reclamacin

Para cualquier par de vrtices u, v V, si estos vrtices se encuentran en el

mismo conjunto despus del funcionamiento del Algoritmo de Kruskal.s en G
considera que cualquier arista (x, y) E, entonces estn en el mismo grupo
despus algoritmo de Kruskal corrida G considera (x, y).