# Homework 1 Optional Problems

Consider a connected undirected graph with not necessarily distinct edge costs. Consider two different minimum-cost spanning trees of . Is there necessarily a sequence of minimum-cost spanning trees with the property that each consecutive pair of MSTs differ by only a single edge swap? Prove the statement or exhibit a counterexample.

**ANSWER:** Consider the following pseudocode:

```
MST-SEQ(G)
S = {}
for all v in V(G)
take a cut (A, B) of T
s.t. V(A) = {v}, V(B) = V(G) - {v}
take a cut (A', B') of T'
s.t. V(A') = {v}, V(B') = V(G) - {v}
e = edge crossing cut (A, B)
e' = edge crossing cut (A', B')
if (e != e')
E(T) = E(T) - {e} U {e'}
S = S U T
return S
```

In each iteration, we (potentially) generate a new MST that differs from the previous one by one edge, and from by one less edge overall. Clearly, we can transform into proceeding this way.

Consider the following algorithm. The input is a connected undirected graph with edge costs (distinct, if you prefer). The algorithm proceeds in iterations. If the current graph is a spanning tree, then the algorithm halts. Otherwise, it picks an arbitrary cycle of the current graph and deletes the most expensive edge on the cycle. Is this algorithm guaranteed to compute a minimum-cost spanning tree? Prove it or exhibit a counterexample.

**ANSWER:** This algorithm is guaranteed to compute a MST. To prove it, lets assume that is a and that the most expensive edge is included in . By the *Double-Crossing Lemma* (lecture video 4.3), there exists another edge that connects the two endpoints of . If we delete from and add , we get a spanning tree of lower weight, which is a contradiction to the assumption that is a MST. Thus, can’t be included in the MST, and hence by deleting it, no MST edge is deleted.

Consider the following algorithm. The input is a connected undirected graph with edge costs (distinct, if you prefer). The algorithm proceeds in phases. Each phase adds some edges to a tree-so-far and reduces the number of vertices in the graph (when there is only 1 vertex left, the MST is just the empty set). In a phase, we identify the cheapest edge incident on each vertex of the current graph. Let be the collection of all such edges in the current phase. Obtain a new (smaller) graph by contracting all of the edges in — so that each connected component of becomes a single vertex in the new graph — discarding any self-loops that result. Let denote the union of all edges that ever get contracted in a phase of this algorithm. Is guaranteed to be a minimum-cost spanning tree? Prove it or exhibit a counterexample.

**ANSWER:** This algorithm was discovered by Otakar Borůvka ^{1}. It is guaranteed to compute a MST, and the proof follows from the Light-Edge property. Realize that when we expand via minimum weight edges, since these edges are guaranteed to be in the MST, they cannot form a cycle, hence the result we get is a forest.