23-3 Bottleneck spanning tree

A bottleneck spanning tree \(T\) of an undirected graph \(G\) is a spanning tree of \(G\) whose largest edge weight is minimum over all spanning trees of \(G\). We say that the value of the bottleneck spanning tree is the weight of the maximum-weight edge in \(T\).

a. Argue that a minimum spanning tree is a bottleneck spanning tree.

Part (a) shows that finding a bottleneck spanning tree is no harder than finding a minimum spanning tree. In the remaining parts, we will show how to find a bottleneck spanning tree in linear time.

b. Give a linear-time algorithm that given a graph \(G\) and an integer \(b\), determines whether the value of the bottleneck spanning tree is at most \(b\).

c. Use your algorithm for part (b) as a subroutine in a linear-time algorithm for the bottleneck-spanning-tree problem. (\(\textit{Hint:}\) You may want to use a subroutine that contracts sets of edges, as in the \(\text{MST-REDUCE}\) procedure described in Problem 23-2.)

a. To see that every minimum spanning tree is also a bottleneck spanning tree. Suppose that \(T\) is a minimum spanning tree. Suppose there is some edge in it \((u, v)\) that has a weight that's greater than the weight of the bottleneck spanning tree. Then, let \(V_1\) be the subset of vertices of \(V\) that are reachable from \(u\) in \(T\), without going though \(v\). Define \(V_2\) symmetrically. Then, consider the cut that separates \(V_1\) from \(V_2\). The only edge that we could add across this cut is the one of minimum weight, so we know that there are no edge across this cut of weight less than \(w(u, v)\).

However, we have that there is a bottleneck spanning tree with less than that weight. This is a contradiction because a bottleneck spanning tree, since it is a spanning tree, must have an edge across this cut.

b. To do this, we first process the entire graph, and remove any edges that have weight greater than \(b\). If the remaining graph is connected, we can just arbitrarily select any tree in it, and it will be a bottleneck spanning tree of weight at most \(b\). Testing connectivity of a graph can be done in linear time by running a breadth first search and then making sure that no vertices remain white at the end.

c. Write down all of the edge weights of vertices. Use the algorithm from section 9.3 to find the median of this list of numbers in time \(O(E)\). Then, run the procedure from part b with this median value as input. Then there are two cases:

First, we could have that there is a bottleneck spanning tree with weight at most this median. Then just throw away the edges with weight more than the median, and repeat the procedure on this new graph with half the edges.

Second, we could have that there is no bottleneck spanning tree with at most that weight. Then, we should run a procedure similar to problem 23-2 to contract all of the edges that have weight at most the weight of the median. This takes time \(O(E)\) and then we are left solving the problem on a graph that now has half the edges.

Observe that both cases are \(O(E)\) and each recursion reduces the problem size into half. The solution to this recurrence is therefore linear.