Csci3100 Day26
Csci3100 Day26
1
11/2/2018
2
11/2/2018
3
11/2/2018
4
11/2/2018
Cycle property
Claim: Assume that all edge costs are distinct. Let C be any cycle in
G = (V, E), and let edge e = (v, w) be the largest edge in C. Then e is not
in any minimum spanning tree of G.
Which of the following is NOT a good approach for a proof of this
claim?
A. Assume e is in some minimum spanning tree of G, show that this
leads to a contradiction.
B. Let T be a spanning tree containing e, show that T is not a minimum
spanning tree.
C. Assume e is not in any minimum spanning tree of G. Show that your
assumption is consistent with the rest of the facts.
D. All of the above approaches are good.
5
11/2/2018
Proof A:
Let T be a spanning tree that contains e = (v, w). We need to show that T
does not have the minimum possible weight.
Let’s delete edge e from T. This partitions the vertices of G into two
components S and V – S. Let node v be in S and node w be in V-S.
Since G has a cycle C and edge e is part of that cycle, there is a path from v to
w in G that does not involve edge e. This path will have an edge e’ with one
vertex in component S and another vertex in component V-S.
Now consider the set of edges T’ = T-{e} U {e’}. The graph (V, T’) is connected
and has no cycles, so it is a spanning tree of G. Since the weight of e > weight
e’, the weight of T’ is less than the weight of T. Therefore T is not a minimum
spanning tree.
6
11/2/2018
More on proofs
• Once a property of fact is established, it can be used in later proofs
• Example: Suppose we have a situation where we have a cycle and an
edge e in the cycle with the largest weight. We can safely claim that
that edge e will not be in the MST of a graph, by the cycle property.
• Assume, without loss of generality, that all edge weights are distinct.
• Homework 4 – proof practice