A graph of Atlantis University (FigureΒ 10.2.1) shows that there are four campuses in the system. A new secure communications system is being installed and the objective is to allow for communication between any two campuses; to achieve this objective, the university must buy direct lines between certain pairs of campuses. Let \(G\) be the graph with a vertex for each campus and an edge for each direct line. Total communication is equivalent to \(G\) being a connected graph. This is due to the fact that two campuses can communicate over any number of lines. To minimize costs, the university wants to buy a minimum number of lines.
The solutions to this problem are all trees. Any graph that satisfies the requirements of the university must be connected, and if a cycle does exist, any line in the cycle can be deleted, reducing the cost. Each of the sixteen trees that can be drawn to connect the vertices North, South, East, and West (see ExerciseΒ 10.1.3.1) solves the problem as it is stated. Note that in each case, three direct lines must be purchased. There are two considerations that can help reduce the number of solutions that would be considered.
Objective 1: Given that the cost of each line depends on certain factors, such as the distance between the campuses, select a tree whose cost is as low as possible.
Objective 2: Suppose that communication over multiple lines is noisier as the number of lines increases. Select a tree with the property that the maximum number of lines that any pair of campuses must use to communicate with is as small as possible.
Typically, these objectives are not compatible; that is, you cannot always simultaneously achieve these objectives. In the case of the Atlantis university system, the solution with respect to Objective 1 is indicated with solid lines in FigureΒ 10.2.1. There are four solutions to the problem with respect to Objective 2: any tree in which one campus is directly connected to the other three. One solution with respect to Objective 2 is indicated with dotted lines in FigureΒ 10.2.1. After satisfying the conditions of Objective 2, it would seem reasonable to select the cheapest of the four trees.
The significance of a spanning tree is that it is a minimal spanning set. A smaller set would not span the graph, while a larger set would have a cycle, which has an edge that is superfluous.
For the remainder of this section, we will discuss two of the many topics that relate to spanning trees. The first is the problem of finding Minimal Spanning Trees, which addresses Objective 1 above. The second is the problem of finding Minimum Diameter Spanning Trees, which addresses Objective 2.
Given a weighted connected undirected graph \(G = (V, E, w)\text{,}\) a minimal spanning tree is a spanning tree \((V, E')\) for which \(\sum_{e\in E'} w(e)\) is as small as possible.
Unlike many of the graph-optimization problems that weβve examined, a solution to this problem can be obtained efficiently. It is a situation in which a greedy algorithm works.
Let \(G = (V, E)\) be an undirected graph and let \(\{L, R\}\) be a partition of \(V\text{.}\) A bridge between \(L\) and \(R\) is an edge in \(E\) that connects a vertex in \(L\) to a vertex in \(R\text{.}\)
Let \(G = (V, E, w)\) be a weighted connected undirected graph. Let \(V\) be partitioned into two sets \(L\) and \(R\text{.}\) If \(e^*\) is a bridge of least weight between \(L\) and \(R\text{,}\) then there exists a minimal spanning tree for \(G\) that includes \(e^*\text{.}\)
Suppose that no minimal spanning tree including \(e^*\) exists. Let \(T = (V, E')\) be a minimal spanning tree. If we add \(e^*\) to \(T\text{,}\) a cycle is created, and this cycle must contain another bridge, \(e\text{,}\) between \(L\) and \(R\text{.}\) Since \(w\left(e^*\right) \leq w(e)\text{,}\) we can delete \(e\) and the new tree, which includes \(e^*\) must also be a minimal spanning tree.
The bridges between the vertex sets \(\{a, b, c\}\) and \(\{d, e\}\) in FigureΒ 10.2.8 are the edges \(\{b, d\}\) and \(\{c, e\}\text{.}\) According to the theorem above, a minimal spanning tree that includes \(\{b, d\}\) exists. By examination, you should be able to see that this is true. Is it true that only the bridges of minimal weight can be part of a minimal spanning tree?
TheoremΒ 10.2.6 essentially tells us that a minimal spanning tree can be constructed recursively by continually adding minimally weighted bridges to a set of edges.
Let \(G = (V, E, w)\) be a connected, weighted, undirected graph, and let \(v_0\) be an arbitrary vertex in \(V\text{.}\) The following steps lead to a minimal spanning tree for \(G\text{.}\)\(L\) and \(R\) will be sets of vertices and \(E'\) is a set of edges.
Warning: If two minimally weighted bridges exist between \(L\) and \(R\text{,}\) do not try to speed up the algorithm by adding both of them to \(E\)β.
If it is not known whether \(G\) is connected, AlgorithmΒ 10.2.9 can be revised to handle this possibility. The key change (in Step 2.1) would be to determine whether any bridge at all exists between \(L\) and \(R\text{.}\) The condition of the while loop in Step 2 must also be changed somewhat.
Consider the graph in FigureΒ 10.2.12. If we apply Primβs Algorithm starting at \(a\text{,}\) we obtain the following edge list in the order given: \(\{a, f\}, \{f, e\}, \{e, c\}, \{c, d\}, \{f, b\}, \{b, g\}\text{.}\) The total of the weights of these edges is 20.
For small examples, the following table is a suggested way to demonstrate an understanding of how Primβs algorithm plays out. The first line, step 0, is the initialization of the two sets, \(L\) and \(R\text{.}\) In completing Step 3, there are two bridges of minimal weight, \(\{e,c\}\) and \(\{e,d\}\text{.}\) We selected the former. If we had selected the latter, the resulting spanning tree would be different, but would have the same total weight.
Given a connected undirected graph \(G = (V, E)\text{,}\) find a spanning tree \(T = (V, E')\) of \(G\) such that the longest path in \(T\) is as short as possible. A solution to this problem is relatively easy to obtain by combining the idea the center of a graph with the breadth first search.
The Minimum Diameter Spanning Tree Problem is trivial to solve in a \(K_n\text{.}\) Select any vertex \(v_0\) and construct the spanning tree whose edge set is the set of edges that connect \(v_0\) to the other vertices in the \(K_n\) . FigureΒ 10.2.16 illustrates a solution for \(n=5\text{.}\)
For incomplete graphs, a two-stage algorithm is needed. In short, the first step is to locate a βcenterβ of the graph. The maximum distance from a center to any other vertex is as small as possible. Once a center is located, a breadth-first search of the graph is used to construct the spanning tree.
Suppose that after Atlantis Universityβs phone system is in place, a fifth campus is established and that a transmission line can be bought to connect the new campus to any old campus. Is this larger system the most economical one possible with respect to Objective 1? Can you always satisfy Objective 2?
It might not be most economical with respect to Objective 1. You should be able to find an example to illustrate this claim. The new system can always be made most economical with respect to Objective 2 if the old system were designed with that objective in mind.
There is only one minimal spanning tree. If we start with BOS as the βright setβ, the edges in the following set are ordered according to how they are added in Primβs Algorithm: \(\{\{BOS,NY\},\{NY,PHI\},\{PHI,DC\},\{DC,ATL\},\\ \{PHI,KC\},\{KC,CHI\},\{KC,LA\},\{LA,SF\}\}.\)
Find a minimal spanning tree for the following graph using Primβs algorithm starting at vertex 1. Your tree will not be unique. How many different minimal spanning trees are there?
Suppose a weighted undirected graph had distinct edge weights. Is it possible that every minimal spanning tree includes the edge of maximal weight? If true, under what conditions would it happen?
No, every minimal spanning tree will include the edge of minimal weight? At some point, the edge of minimal weight will be part of a bridge between two sets and will be included in the spanning tree.
Edges in one solution are: \(\{8,7\},\{8,9\},\{8,13\},\{7,6\},\{9,4\},\{13,12\},\\ \{13,14\},\{6,11\},\{6,1\},\{1,2\},\{4,3\},\{4,5\},\{14,15\},
\textrm{ and } \{5,10\}\)