[4 puntos] Una subgráfica S = (V, T) es un árbol
abarcador de una gráfica no dirigida G = (V, E) si S es un
árbol (es decir, si S es conexa y no tiene ciclos) y T es un
subconjunto de E. Si cada arista de E tiene un costo, el costo de una
subgráfica de G es la suma de los costos de sus aristas. Se
puede encontrar un árbol abarcador de G de costo mínimo
siguiendo el algoritmo de Kruskal (que a su vez utiliza el algoritmo de
unión y búsqueda):
1. Comience con T vacío y F
la colección de conjuntos con exactamente un vértice de G.
2. Ordene las aristas de G en orden ascendente por costo.
3. Mientras F tenga al menos dos elementos:
3.1. Sea (u,v) la siguiente arista según el orden.
3.2. Si búsqueda(u) es diferente a búsqueda(v) entonces
unión(u,v) y agrega a T la arista (u,v).
Demuestre que al final del algoritmo la subgráfica S = (V, T) es
un árbol abarcador de costo mínimo. Pista: primero demuestre que S es un
árbol abarcador y luego que es de costo mínimo.