What is the invariant in the algorithm?

Prior to each iteration, A is a subset of some mininum spanning tree.
Prove the theorem


disjoint-set-forest
For a sequence of:
what is the run-time of all this operations?
Run-Time:
O(|E|log(|E|)) = O(|E|log|V^2|)=O(|E|log(|V|))
Prove the corollary


Kruskal algorithm

Prim’s algorithm

What is a bottleneck spanning tree?
