Minimum bottleneck spanning tree

<h2 id="definitions">Definitions</h2>
<h3>Undirected graphs</h3>

In an undirected graph G(V, E) and a function w : E → R, let S be the set of all spanning trees Ti. Let B(Ti) be the maximum weight edge for any spanning tree Ti. We define subset of minimum bottleneck spanning trees S′ such that for every Tj ∈ S′ and Tk ∈ S we have B(Tj) ≤ B(Tk) for all i and k.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>
The graph on the right is an example of MBST, the red edges in the graph form a MBST of G(V, E).

<h3>Directed graphs</h3>

An arborescence of graph G is a directed tree of G which contains a directed path from a specified node L to each node of a subset V′ of V \{L}. Node L is called the root of arborescence. An arborescence is a spanning arborescence if V′ = V \{L}. MBST in this case is a spanning arborescence with the minimum bottleneck edge. An MBST in this case is called a Minimum Bottleneck Spanning Arborescence (MBSA).
The graph on the right is an example of MBSA, the red edges in the graph form a MBSA of G(V, E).

<h2 id="properties">Properties</h2>
A MST (or <a href="/facts/Minimum_spanning_tree/kgkGmY9s">minimum spanning tree</a>) is necessarily a MBST, but a MBST is not necessarily a MST.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>
<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a>

<h2 id="camerinis-algorithm-for-undirected-graphs">Camerini's algorithm for undirected graphs</h2>
Camerini proposed<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> an <a href="/facts/Algorithm/fnl5NmRt">algorithm</a> used to obtain a minimum bottleneck spanning tree (MBST) in a given undirected, connected, <a href="/facts/Weighted_graph/W0MqKkyE">edge-weighted graph</a> in 1978. It half divides edges into two sets. The weights of edges in one set are no more than that in the other. If a <a href="/facts/Spanning_tree/qQPN9taR">spanning tree</a> exists in subgraph composed solely with edges in smaller edges set, it then computes a MBST in the subgraph, a MBST of the subgraph is exactly a MBST of the original graph. If a <a href="/facts/Spanning_tree/qQPN9taR">spanning tree</a> does not exist, it combines each disconnected component into a new super vertex, then computes a MBST in the graph formed by these super vertices and edges in the larger edges set. A forest in each disconnected component is part of a MBST in original graph. Repeat this process until two (super) vertices are left in the graph and a single edge with smallest weight between them is to be added. A MBST is found consisting of all the edges found in previous steps.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a>

<h3>Pseudocode</h3>
The procedure has two input parameters. G is a graph, w is a weights array of all edges in the graph G.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>

function MBST(graph G, weights w)
 E ← the set of edges of G 
 if | E | = 1 then return E else
 A ← half edges in E whose weights are no less than the median weight
 B ← E - A
 F ← forest of GB
 if F is a spanning tree then
 return MBST(GB,w)
 else
 return MBST((GA)η, w) 
 
 
 
 ∪
 
 
 {\displaystyle \cup }
 
 F

In the above (GA)η is the subgraph composed of super vertices (by regarding vertices in a disconnected component as one) and edges in A.

<h3>Running time</h3>
The algorithm is running in <a href="/facts/Big-O_notation/weFFjSWg">O</a>(E) time, where E is the number of edges. This bound is achieved as follows: 

<ul><li>dividing into two sets with median-finding algorithms in O(E)</li>
<li>finding a forest in O(E)</li>
<li>considering half edges in E in each iteration T(E)=T(E/2)+O(E). By the <a href="/facts/Master_theorem_(analysis_of_algorithms)/hknsWQks">Master theorem</a>, the overall time complexity is <a href="/facts/Big-O_notation/weFFjSWg">O</a>(E).</li></ul>
NOTE: The run time estimate O(E) instead of O(E+V) (traversing a graph takes O(E+V) time), but for this case the graph is connected, therefore V-1<=E, hence, O(E+V)=O(E).

<h3>Example</h3>
In the following example green edges are used to form a MBST and dashed red areas indicate super vertices formed during the algorithm steps.

<table><tbody><tr><td></td><td>The algorithm half divides edges in two sets with respect to weights. Green edges are those edges whose weights are as small as possible.</td></tr><tr><td></td><td>Since there is a spanning tree in the subgraph formed solely with edges in the smaller edges set. Repeat finding a MBST in this subgraph.</td></tr><tr><td></td><td>Since there is not a spanning tree in current subgraph formed with edges in the current smaller edges set. Combine the vertices of a disconnected component to a super vertex (denoted by a dashed red area) and then find a MBST in the subgraph formed with super vertices and edges in larger edges set. A forest formed within each disconnected component will be part of a MBST in the original graph.</td></tr><tr><td></td><td>Repeat similar steps by combining more vertices into a super vertex.</td></tr><tr><td></td><td>The algorithm finally obtains a MBST by using edges it found during the algorithm.</td></tr></tbody></table>
<h2 id="mbsa-algorithms-for-directed-graphs">MBSA algorithms for directed graphs</h2>
There are two algorithms available for directed graph: Camerini's algorithm for finding MBSA and another from Gabow and Tarjan.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>

<h3>Camerini's algorithm for MBSA</h3>
For a directed graph, Camerini's algorithm focuses on finding the set of edges that would have its maximum cost as the bottleneck cost of the MBSA. This is done by partitioning the set of edges E into two sets A and B and maintaining the set T that is the set in which it is known that GT does not have a spanning arborescence, increasing T by B whenever the maximal arborescence of G(B ∪ T) is not a spanning arborescence of G, otherwise we decrease E by A. The total time complexity is O(E log E).<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a><a class="footnote-ref" id="fnref:10" href="#fn:10">10</a>

<h4>Pseudocode</h4>
function MBSA(G, w, T) is
 E ← the set of edges of G 
 if | E − T | > 1 then
 A ← UH(E-T)
 B ← (E − T) − A
 F ← BUSH(GBUT)
 if F is a spanning arborescence of G then
 S ← F
 MBSA((GBUT), w, T)
 else
 MBSA(G, w, TUB);

<ol><li>T represents a subset of E for which it is known that GT does not contain any spanning arborescence rooted at node “a”. Initially T is empty</li>
<li>UH takes (E−T) set of edges in G and returns A ⊂ (E−T) such that:
<ol><li>
 
 
 
 
 |
 
 A
 
 |
 
 =
 
 ⌊
 
 
 
 (
 
 |
 
 E
 −
 T
 
 |
 
 )
 
 2
 
 
 ⌋
 
 
 
 {\displaystyle |A|=\left\lfloor {\frac {(|E-T|)}{2}}\right\rfloor }
 
</li>
<li>Wa ≥ Wb , for a ∈ A and b ∈ B</li></ol></li>
<li>BUSH(G) returns a maximal arborescence of G rooted at node “a”</li>
<li>The final result will be S</li></ol>
<h4>Example</h4>
<table><tbody><tr><td></td><td>After running the first iteration of this algorithm, we get the F and F is not a spanning arborescence of G, So we run the code ⁠ M B S A ( G , w , T ∪ B ) . {\displaystyle MBSA(G,w,T\cup B).} ⁠</td></tr><tr><td></td><td>In the second iteration, we get the F ′ {\displaystyle F'} and F ′ {\displaystyle F'} is also not a spanning arborescence of G, So we run the code M B S A ( G , w , T ′ ∪ B ′ ) {\displaystyle MBSA(G,w,T'\cup B')} </td></tr><tr><td></td><td>In the third iteration, we get the F ″ {\displaystyle F''} and F ″ {\displaystyle F''} is a spanning arborescence of G, So we run the code M B S A ( G T ″ ∪ B ″ , w , T ″ ) {\displaystyle MBSA(G_{T''\cup B''},w,T'')} </td></tr><tr><td></td><td>when we run the M B S A ( G T ″ ∪ B ″ , w , T ″ ) {\displaystyle MBSA(G_{T''\cup B''},w,T'')} , the | E − T | {\displaystyle |E-T|} is equal to 1, which is not larger than 1, so the algorithm return and the final result is S = F ″ {\displaystyle S=F''} .</td></tr></tbody></table>
<h3>Gabow and Tarjan algorithm for MBSA</h3>
<a href="/facts/Harold_N._Gabow/gLt88dfp">Gabow</a> and <a href="/facts/Robert_Tarjan/kn1pMCN0">Tarjan</a> provided a modification of <a href="/facts/Dijkstra%27s_algorithm/ehun88jl">Dijkstra's algorithm</a> for single-source shortest path that produces an MBSA. Their algorithm runs in O(E + V log V) time if <a href="/facts/Fibonacci_heap/4cJIHkNQ">Fibonacci heap</a> used.<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>

<h4>Pseudocode</h4>
 For a graph G(V,E), F is a collection of vertices in V. 
 Initially, F = {s} where s is the starting point of the graph G and c(s) = -∞

1 function MBSA-GT(G, w, T)
 2 repeat |V| times
 3 Select v with minimum c(v) from F; 
 4 Delete it from the F;
 5 for ∀ edge(v, w) do
 6 if w ∉ F or ∉ Tree then
 7 add w to F; 
 8 c(w) = c(v,w);
 9 p(w) = v; 
 10 else
 11 if w ∈ F and c(w) > c(v, w) then
 12 c(w) = c(v, w);
 13 p(w) = v;

<h4>Example</h4>
The following example shows that how the algorithm works.

<table><tbody><tr><td></td></tr><tr><td></td></tr><tr><td></td></tr><tr><td></td></tr><tr><td></td></tr><tr><td></td></tr><tr><td></td></tr></tbody></table>
Another approach proposed by Tarjan and Gabow with bound of O(E log* V) for sparse graphs, in which it is very similar to Camerini’s algorithm for MBSA, but rather than partitioning the set of edges into two sets per each iteration, K(i) was introduced in which i is the number of splits that has taken place or in other words the iteration number, and K(i) is an increasing function that denotes the number of partitioned sets that one should have per iteration. K(i) = 2k(i − 1) with k(1) = 2. The algorithm finds λ* in which it is the value of the bottleneck edge in any MBSA. After λ* is found any spanning arborescence in G(λ*) is an MBSA in which G(λ*) is the graph where all its edge's costs are ≤ λ*.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a><a class="footnote-ref" id="fnref:13" href="#fn:13">13</a>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Everything about Bottleneck Spanning Tree <a href="http://flashing-thoughts.blogspot.ru/2010/06/everything-about-bottleneck-spanning.html" target="_blank">http://flashing-thoughts.blogspot.ru/2010/06/everything-about-bottleneck-spanning.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Murali, T. M. (2009), Applications of Minimum Spanning Trees (PDF) <a href="http://courses.cs.vt.edu/~cs5114/spring2009/lectures/lecture08-mst-applications.pdf" target="_blank">http://courses.cs.vt.edu/~cs5114/spring2009/lectures/lecture08-mst-applications.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">in question 3 you have a proof for this claim (PDF) <a href="https://stanford.edu/~rezab/discrete/Midterm/midterm2016_soln.pdf" target="_blank">https://stanford.edu/~rezab/discrete/Midterm/midterm2016_soln.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Traboulsi, Ahmad (2014), Bottleneck Spanning Trees (PDF), archived from the original (PDF) on 2016-03-04, retrieved 2014-12-28 <a href="https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf" target="_blank">https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Camerini, P.M. (1978), "The min-max spanning tree problem and some extensions", Information Processing Letters, 7 (1): 10–14, doi:10.1016/0020-0190(78)90030-3 <a href="/wiki/Information_Processing_Letters" target="_blank">/wiki/Information_Processing_Letters</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Traboulsi, Ahmad (2014), Bottleneck Spanning Trees (PDF), archived from the original (PDF) on 2016-03-04, retrieved 2014-12-28 <a href="https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf" target="_blank">https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Cui, Yuxiang (2013), Minimum Bottleneck Spanning Tree (PDF), archived from the original (PDF) on 2016-03-04, retrieved 2014-12-28 <a href="https://web.archive.org/web/20160304130339/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/Talks/MBST/slides.pdf" target="_blank">https://web.archive.org/web/20160304130339/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/Talks/MBST/slides.pdf</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Traboulsi, Ahmad (2014), Bottleneck Spanning Trees (PDF), archived from the original (PDF) on 2016-03-04, retrieved 2014-12-28 <a href="https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf" target="_blank">https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Camerini, P.M. (1978), "The min-max spanning tree problem and some extensions", Information Processing Letters, 7 (1): 10–14, doi:10.1016/0020-0190(78)90030-3 <a href="/wiki/Information_Processing_Letters" target="_blank">/wiki/Information_Processing_Letters</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Traboulsi, Ahmad (2014), Bottleneck Spanning Trees (PDF), archived from the original (PDF) on 2016-03-04, retrieved 2014-12-28 <a href="https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf" target="_blank">https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Gabow, Harold N; Tarjan, Robert E (1988). "Algorithms for two bottleneck optimization problems". Journal of Algorithms. 9 (3): 411–417. doi:10.1016/0196-6774(88)90031-4. ISSN 0196-6774. <a href="/wiki/Harold_N._Gabow" target="_blank">/wiki/Harold_N._Gabow</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Traboulsi, Ahmad (2014), Bottleneck Spanning Trees (PDF), archived from the original (PDF) on 2016-03-04, retrieved 2014-12-28 <a href="https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf" target="_blank">https://web.archive.org/web/20160304185257/http://people.scs.carleton.ca/~maheshwa/courses/5703COMP/14Seminars/BST-Report.pdf</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Gabow, Harold N; Tarjan, Robert E (1988). "Algorithms for two bottleneck optimization problems". Journal of Algorithms. 9 (3): 411–417. doi:10.1016/0196-6774(88)90031-4. ISSN 0196-6774. <a href="/wiki/Harold_N._Gabow" target="_blank">/wiki/Harold_N._Gabow</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
</ol>

Minimum bottleneck spanning tree open-in-new

Minimum bottleneck spanning tree