EJERCICIO 2 (5 puntos) (45 minutos)

Dado el algoritmo NEW_AR_ALG de construccin de rboles de recubrimiento, responde

a las preguntas siguientes:

La funcin Grafo_Conexo devuelve true si una vez eliminado el arco "e" el grafo sigue
siendo conexo y false en caso contrario.

1) Cul ser el criterio de ordenacin (ascendente o descendente) utilizado por el
procedimiento Ordenar para que permita construir un rbol de recubrimiento
mnimo?
2) Qu algoritmo de ordenacin, de los vistos en la asignatura, sera ms
conveniente utilizar en el procedimiento Ordenar? Se sabe que los pesos de los
arcos siempre sern nmeros naturales entre 1 y 12.
3) Suponiendo que el grafo de entrada al algoritmo es denso, cul sera la estructura
de datos ms adecuada para representarlo?
4) Realizar el seguimiento del algoritmo para el grafo siguiente:

5) Indicar qu algoritmo visto en la asignatura podra utilizarse para implementar la
funcin Grafo_Conexo.
6) Mostrar la complejidad de NEW_AR_ALG teniendo en cuenta las elecciones
realizadas en los apartados 2), 3) y 5), y que las sentencias de las lneas 2 y 5 del
algoritmo tienen una complejidad constante y lineal respectivamente. Si no se
recuerda la complejidad de los elementos de los apartados 2, 3 y 5 , indquese de
forma simblica.
NEW_AR_ALG (G, w):
1. Ordenar (G.E, w) # Ordenar los arcos de acuerdo a su peso
2. T ! G.E # T: Conjunto con los arcos que formarn el MST
3. foreach e in G.E do
4. if ( Grafo_Conexo (G.V, T {e}) ) # El grafo (G.V , T-{e})
5. T ! T {e}
6. endfor
7. return T