Quelltext der Seite Algorithmus von Borůvka

[[Datei:Boruvka's algorithm (Sollin's algorithm) Anim.gif|mini|Animation]]

Der '''Algorithmus von Borůvka''' gilt als erster [[Algorithmus]] zum Auffinden [[Minimaler Spannbaum|minimaler Spannbäume]] in [[Ungerichteter Graph|ungerichteten Graphen]]. Er wurde 1926 von dem tschechischen Mathematiker [[Otakar Borůvka]] beschrieben. Die beiden bekannteren Algorithmen zur Lösung dieses Problems sind der [[Algorithmus von Prim]] und der [[Algorithmus von Kruskal]]. In der Erstveröffentlichung dieser beiden Algorithmen wird Borůvka jeweils erwähnt.

== Grundprinzip und Komplexität ==
Der Algorithmus von Borůvka nutzt die Schnitteigenschaft minimaler Spannbäume. In jeder Runde wird die leichteste ausgehende Kante jedes Knoten ausgewählt und der Graph entlang dieser Kanten kontrahiert. Die beiden zu einer kontrahierten Kante inzidenten Knoten verschmelzen dabei zu einem Knoten. Der minimale Spannbaum besteht aus genau den kontrahierten Kanten. Bei geschickter Implementierung benötigt jede Runde Zeit in <math>O(|E|)</math>. Da die Anzahl der verbleibenden Komponenten in jeder Runde mindestens halbiert wird, ergibt sich eine sequentielle Laufzeit in <math>O(|E| \log |V|)</math>.

  <math>T \gets \emptyset</math>
  '''solange''' <math>|V| > 0</math>
    <math>S \gets \emptyset</math>
    '''für alle''' <math>v \in V</math>
      <math>S \gets S</math> <math>\cup</math> leichteste Kante <math>\{u, v\} \in E</math>
    '''für alle''' <math>\{u, v\} \in S</math>
      kontrahiere <math>\{u, v\}</math>
    <math>T \gets T \cup S</math>
  '''return''' <math>T</math>

== Parallele Implementierung ==

Im Folgenden sei <math>p</math> die Anzahl der Prozessoren. Der Algorithmus nutzt die Repräsentation des Graphen durch ein [[Adjazenzarray]]. Dabei sei <math>\Gamma(v)</math> die Menge der Nachbarn von <math>v</math> und entsprechend <math>|\Gamma(v)|</math> deren Anzahl. Mit <math>c(v,w)</math> wird das Gewicht der Kante von <math>v</math> nach <math>w</math> bezeichnet. Jede ungerichtete Kante wird durch zwei gegenteilig gerichtete Kanten dargestellt.

Für jeden Knoten sucht eine Teilmenge der Prozessoren parallel nach der leichtesten ausgehenden Kante.

  '''für alle''' <math>v \in V</math> '''parallel'''
    ordne <math>|\Gamma(v)|\tfrac{p}{2|E|}</math> Prozessoren Knoten <math>v</math> zu
    wähle <math>(v,w)</math> mit minimalem Gewicht <math>c(v,w)</math> in <math>\Gamma(v)</math>
    gib originale Kante <math>(v,w)</math> als Teil des Spannbaums aus (Kante vor allen Kontraktionen)
    setze <math>pred(v) \gets w</math>

Die Zuordnung der Prozessoren kann dabei mithilfe einer [[Präfixsumme#Parallele Berechnung|parallelen Präfixsumme]] geschehen, sodass <math>|\Gamma(v)|</math> in konstanter Zeit berechnet werden kann. Das <math>w</math> lässt sich dann durch eine [[Reduktion (Theoretische Informatik)|Minimumsreduktion]] zwischen den beteiligten Prozessoren bestimmen. Diese kann in Zeit <math>O\left(\tfrac{|E|}{p} + \log p\right)</math> durchgeführt werden.

Betrachte nun den gerichteten Graphen <math>(V, \{(v,pred(v)) : v \in V\})</math>. Der Graph hat Ausgangsgrad <math>1</math>. In jeder Komponente <math>C</math> dieses Graphen gibt es also <math>|C|</math> Kanten und damit handelt es sich um einen Baum mit genau einer zusätzlichen Kante. Außerdem gibt es genau einen <math>2</math>-Kreis entlang der ursprünglich leichtesten Kante <math>(u,w)</math> und alle weiteren Kanten in <math>C</math> sind zu <math>u</math> oder <math>w</math> hin gerichtet. Wir bezeichnen diese Struktur als Pseudobaum. In Zeit <math>O\left(\tfrac{|V|}{p}\right)</math> lassen sich alle Pseudobäume in gewurzelte Bäume umwandeln, also Bäume mit einer eindeutigen Wurzel auf die alle Kanten hinzulaufen. Dabei wird ein Vergleich der Knoten-Nummern (<math>v < w</math>) zur Brechung der Symmetrie der parallelen Kanten genutzt.

  '''für alle''' <math>v \in V</math> '''parallel'''
    <math>w \gets pred(v)</math>
    '''falls''' <math>v < w</math> '''und''' <math>pred(w) = v</math>
      <math>pred(v) \gets v</math>

In einem weiteren Schritt mit Laufzeit <math>O\left(\tfrac{|V|}{p} ~\log |V|\right)</math> können diese gewurzelten Bäume dann in gewurzelte Sterne umgewandelt werden. Dies sind spezielle Bäume der Höhe <math>1</math>, das heißt alle Kanten zeigen direkt auf die eindeutige Wurzel.

  '''solange''' <math>\exists v \in V : pred(pred(v)) \neq pred(v)</math>
    '''für alle''' <math>v \in V</math> '''parallel'''
      <math>pred(v) \gets pred(pred(v))</math>

Die gewurzelten Sterne können nun kontrahiert werden, indem deren Wurzeln die neue Knotenmenge bilden. Dies benötigt Zeit in <math>O\left(\tfrac{|E|}{p} + \log p\right)</math>.

  <math>k \gets</math> Anzahl der Komponenten (Sterne)
  <math>V' \gets \{1, \ldots, k\}</math>
  wähle eine bijektive Abbildung <math>f : \{\text{Sternwurzeln}\} \to \{1, \ldots, 
 k\}</math>
  <math>E' \gets \{(f(pred(u)),f(pred(v)),c,e_{\text{old}}) : (u,v,c,e_{\text{old}}) \in E \land pred(u) \neq pred(v)\}</math>

Man erhält einen Graphen <math>G'=(V',E')</math>. Die Knoten von <math>G'</math> sind dabei genau die Sternwurzeln, die von der bijektiven Abbildung <math>f</math> in <math>\{1,\ldots,k\}</math> umbenannt wurden. Dabei enthält <math>E'</math> eventuell parallele Kanten, von denen nur noch jeweils die leichteste benötigt wird. Der Graph <math>G'</math> muss jetzt für den Rekursionsschritt noch in Adjazenzarrayrepräsentation gebracht werden. Dies kann in erwarteter Zeit <math>O\left(\tfrac{|E|}{p} + \log p\right)</math> erfolgen<ref>{{Literatur |Autor=S Rajasekaran, J Reif |Titel=Optimal and Sublogarithmic Time Randomized Parallel Sorting Algorithms |Sammelwerk=SIAM Journal on Computing |Band=18 |Datum=1989 |Seiten=594–607 |DOI=10.1137/0218041}}</ref>.

Zusammengefasst ergibt sich eine erwartete Gesamtlaufzeit von <math>O\left(\tfrac{|E|}{p} + \log p\right)</math> pro Runde und damit von insgesamt <math>O\left(\tfrac{|E|}{p} \log |V| + \log^2 |V|\right)</math>.

== Literatur ==
* Borůvka, Otakar (1926). "O jistém problému minimálním (About a certain minimal problem)". Práce mor. přírodověd. spol. v Brně III (in Czech, German summary) 3: 37–58.
* Borůvka, Otakar (1926). "Příspěvek k řešení otázky ekonomické stavby elektrovodních sítí (Contribution to the solution of a problem of economical construction of electrical networks)". Elektronický Obzor (in Czech) 15: 153–154.
* Nešetřil, Jaroslav; Milková, Eva; Nešetřilová, Helena (2001). "Otakar Borůvka on minimum spanning tree problem: translation of both the 1926 papers, comments, history". Discrete Mathematics 233 (1–3): 3–36. {{doi|10.1016/S0012-365X(00)00224-7}}.
* Choquet, Gustave (1938). "Étude de certains réseaux de routes". Comptes-rendus de l’Académie des Sciences (in French) 206: 310–313.
* Florek, Kazimierz (1951). "Sur la liaison et la division des points d'un ensemble fini". Colloquium Mathematicum 2 (1951) (in French): 282–285.
* Sollin, M. (1965). "Le tracé de canalisation". Programming, Games, and Transportation Networks (in French).
* Eppstein, David (1999). "Spanning trees and spanners". In Sack, J.-R.; Urrutia, J. Handbook of Computational Geometry. Elsevier. pp. 425–461.
* Mareš, Martin (2004). "Two linear time algorithms for MST on minor closed graph classes". Archivum mathematicum 40 (3): 315–320.

== Einzelnachweise ==
<references />

[[Kategorie:Graphsuchalgorithmus|Boruvka]]
[[Kategorie:Optimierungsalgorithmus|Boruvka]]