Tree definitions:
Theorems/lemmas:
Constructing minimum spanning trees (Kruskal):
Remove all loops and parallel edges, except one with smallest weight
Create edge table in ascending order of weight
Pick smallest edge. If it creates a cycle in the graph, discard it. Otherwise, include it.
Repeat step 3 until there are n-1 edges in the three. This is the minimum spanning tree.
Prim-Jarnik algorithm:
Select any vertex as first of T
Consider which edge connects vertices in T to vertices outside T. Pick the one with minimum weight. Add edge and vertex to T.
Repeat step 2 until T has every verrtex of G.