Contenus

Toggle## Corrected exercises about spanning tree

The page presents several corrected exercises about graph theory problems. Those exercises are about spanning tree problems.

**Exercise 1**

**Exercise 1**

There are 5 cities. The cost of building a road directly between i and j is the entry a_{i, j} in the matrix below. An indefinite entry indicates that the road cannot be built. Determine the least cost of making all the cities reachable from each other.

We order the edges according to the weights: 12, 23, 13, 45, 25, 15, 24, 35, 14 (raw-column). Kruskal's Algorithm accepts edges 12, 23, then rejects 13, then accepts 45, 25, and then it stops. Thus, the least cost to build the road network is 3 + 3 + 7 + 8 = 21.

**Exercise 2**

**Exercise 2**

Professor Herr Guerard proposes a new divide-and-conquer algorithm for computing minimum spanning trees, which goes as follows.

Given a graph G = (V, E), partition the set V of vertices into two sets V_{1} and V_{2} such that | V_{1}| and | V_{2}| differ by at most 1. Let E1 be the set of edges that are incident only on vertices in V_{1}, and let E_{2} be the set of edges that are incident only on vertices in V_{2}. Recursively solve a minimum-spanning-tree problem on each of the two subgraphs G_{1} = (V_{1}, E_{1}) and G_{2} = (V_{2}, E_{2}). Finally, select the minimum-weight edge in E that crosses the cut V1, V2, and use this edge to unite the resulting two minimum spanning trees into a single spanning tree.

Either argues that the algorithm correctly computes a minimum spanning tree of G, or provide an example for which the algorithm fails. Found an example where it works and where it doesn't work.

We claim that the algorithm will fail. A simple counter example is shown below. Graph G = (V, E) has four vertices: {v_{1}, v_{2}, v_{3}, v_{4}}, and is partitioned into subsets G_{1} with V_{1} = {v_{1}, v_{2}} and G_{2} with V_{2} = {v_{3}, v_{4}}. Tea STD of G_{1} has weight 4, and the MST of G_{2} has weight 5, and the minimum-weight edge crossing the cut (V_{1}, V_{2}) has weight 1, in sum the spanning tree forming by the proposed algorithm follows {v_{2}, v_{1}, v_{4}, v_{3}} which has weight 10. On the contrary, it is obvious that the MST of G follows {v_{4}, v_{1}, v_{2}, v_{3}} with weight 7. Hence the proposed algorithm fails to obtain an MST.

**Exercise 3**

**Exercise 3**

Show that if G is a weighted graph and e is an edge whose weight is smaller than that of any other edge, then e must belong to every minimum weight spanning tree for G.

Suppose that T is a minimum weight spanning tree for G that does not contain the edge e. Then consider the graph T + e. This graph must contain a cycle C that contains the edge e. Let f be an edge of C different from e, and set T * = T + e − f. Then T * is also a spanning tree for G, but w (T *) = w (T + e − f) = w (T) + w (e) −w (f) <w (T), contrary to T being a minimum weight spanning tree. Hence no such tree T (ie, without e) can exist.

**Exercise 4**

**Exercise 4**

Show that if all the weights of the weighted graph G are distinct, then there is a unique minimum weight spanning tree for G.

The proof somewhat mimics that of the proof of Kruskal's Algorithm. Suppose that T is a tree generated by Kruskal's Algorithm (in fact, a moment's thought shows that with the conditions of the problem, only one such tree could be generated).

We claim there is no other minimum weight spanning trees for G. Suppose (and we will show this leads to a contradiction) that there are other minimum weight spanning trees, and choose one, T '. Then suppose that e is the first edge of T that is not in T '. In other words, suppose that the edges of T, in the order they were added to form T, are e_{1}, e_{2 },…, E_{k} ,… E_{n − 1 }and that e = e_{k} and for all i <k, e_{i} ∈T '.

Let C be the cycle in T '+ e that contains e. let f be an edge of C that is not in T '. We note that by the nature of Kruskal's algorithm, the weight of f must be greater than the weight of e. This is because at the time we placed e into T, f was also available and would not have produced a cycle (since all the edges of T up to that point are in T 'as well). So if w (f) <w(e), we would have used f at that juncture. So now set T*=T’+e−f is a spanning tree of weight less than T’, a contradiction.

**Exercise 5**

**Exercise 5**

Consider a “reversed” Kruskal's algorithm for computing a MST. Initialize T to be the set of all edges in the graph. Now, consider edges from largest to smallest cost. For each edge, delete it from T if that edge belongs to a cycle in T. Assuming all the edge costs are distinct, does this new algorithm correctly compute a MST?

Yes, it does. At stage k (starting ak = 1), the algorithm considers the k-th largest cost edge. If that edge belongs to a cycle in the remaining graph T, then all edges in that cycle (and indeed in T) must have smaller cost than the edge being considered. Thus, the edge cannot belong to the MST (by the previous question).

The algorithm cannot terminate with T having a cycle, since the algorithm would have considered each edge in such a cycle and would have removed the edge of the largest cost when it considered that edge. The algorithm also cannot terminate with T being disconnected, since edges are only removed when they belong to a cycle, and disconnecting an edge that belongs to a cycle does not disconnect the graph. Thus the algorithm terminates with T being a spanning tree.

It is the MST because all the edges that were removed have the property that they cannot belong to the MST. Since the only edges that could belong to the MST are the ones that remain, and they indeed define a spanning tree, it must be the MST.