Question

G=(V,E)G = (V, E) is an undirected simple graph in which each edge has a distinct weight, and ee is a particular edge of GG. Which of the following statements about the minimum spanning trees (MSTs) of GG is/are TRUE?
I. If ee is the lightest edge of some cycle in GG, then every MST of GG includes ee
II. If ee is the heaviest edge of some cycle in GG, then every MST of GG excludes ee

Choose one option
Official answer and solution
Official answer
B
From
Official GATE 2016 answer key

Solution

Recall the fundamental Cycle Property of Minimum Spanning Trees and construct a counterexample for the lightest cycle edge claim.

Evaluate Statement I: 'If ee is the lightest edge of some cycle in GG, then every MST of GG includes ee.'
This statement is FALSE. Consider a graph with vertices A,B,C,DA, B, C, D:

  • Cycle A−B−C−AA-B-C-A with edge weights w(A,B)=10,w(B,C)=12,w(A,C)=14w(A, B) = 10, w(B, C) = 12, w(A, C) = 14. Here, e=(A,B)e = (A, B) with weight 10 is the lightest edge of this cycle.
  • Now add vertex DD with edges w(A,D)=1w(A, D) = 1 and w(D,B)=2w(D, B) = 2.
    In the full graph, the MST connects A,D,BA, D, B using edges (A,D)(A, D) (1) and (D,B)(D, B) (2), and connects CC using (B,C)(B, C) (12). The MST edges are {(A,D),(D,B),(B,C)}\{(A, D), (D, B), (B, C)\}, which has total weight 1+2+12=151 + 2 + 12 = 15.
    Edge e=(A,B)e = (A, B) (weight 10) is excluded because in the cycle A−D−B−AA-D-B-A, ee is the heaviest edge (10>1,210 > 1, 2). Thus, Statement I is FALSE.

Evaluate Statement II: 'If ee is the heaviest edge of some cycle in GG, then every MST of GG excludes ee.'
This is the well-known Cycle Property of MSTs. If an edge ee is strictly the heaviest edge in a cycle CC, then in any spanning tree TT containing ee, removing ee partitions TT into two disjoint components. Some other edge e′∈Ce' \in C must cross between these two components. Since w(e′)<w(e)w(e') < w(e), replacing ee with e′e' creates a spanning tree of strictly smaller weight. Thus, no MST can contain ee. Statement II is TRUE.

Therefore, Statement II only is true.

Final answer

B

Common trap

Assuming symmetry between lightest and heaviest cycle edges, forgetting that the lightest edge property applies to cuts (the Cut Property), not cycles.

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper
GATE 2016 Computer Science and Information Technology (CS) Session 1
Question
50 of 65, printed as CS Q.40
Section
Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.