A Greedy Strategy Generic-MST(G, w) A = { } // Invariant: A is a subset of some MST while A does not form a spanning tree do find an edge (u, v) that is safe for A A = A  {(u, v)} // A remains a subset of some MST return A How to find a safe edge.
{}