PRIM-DIJKSTRA'S MST ALGORITHM
Input: G=(V,E,W)
Output:
Theorem: Let be a weighted connected graph and
be a
MST of G. Let
is a subtree of T. If
is
the minimum weight edge such that
and
then
is a subtree of a
MST of G.
Proof:
By the choice of
Consider
Its weight is no more than the weight of T and it is a spanning
tree.
is a subtree of a MST of G