<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="de">
	<id>https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Algorithmus_von_Prim</id>
	<title>Algorithmus von Prim - Versionsgeschichte</title>
	<link rel="self" type="application/atom+xml" href="https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Algorithmus_von_Prim"/>
	<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Algorithmus_von_Prim&amp;action=history"/>
	<updated>2026-05-24T19:30:41Z</updated>
	<subtitle>Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://wiki-de.moshellshocker.dns64.de/index.php?title=Algorithmus_von_Prim&amp;diff=14090&amp;oldid=prev</id>
		<title>imported&gt;PlusMinuscule: /* Vergleich mit dem Algorithmus von Kruskal */  Pfeil am Absatzende entfernt.</title>
		<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Algorithmus_von_Prim&amp;diff=14090&amp;oldid=prev"/>
		<updated>2025-06-24T14:34:08Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Vergleich mit dem Algorithmus von Kruskal: &lt;/span&gt;  Pfeil am Absatzende entfernt.&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Neue Seite&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Der &amp;#039;&amp;#039;&amp;#039;Algorithmus von Prim&amp;#039;&amp;#039;&amp;#039; dient der Berechnung eines [[Minimal spannender Baum|minimalen Spannbaumes]] in einem [[Zusammenhang von Graphen|zusammenhängenden]], [[Ungerichteter Graph|ungerichteten]], kantengewichteten [[Graph (Graphentheorie)|Graphen]].&lt;br /&gt;
&lt;br /&gt;
Der Algorithmus wurde 1930 vom tschechischen Mathematiker [[Vojtěch Jarník]] entwickelt. 1957 wurde er zunächst von [[Robert C. Prim]] und dann 1959 von [[Edsger W. Dijkstra]] wiederentdeckt. Daher wird der [[Algorithmus]] in der Literatur auch gelegentlich unter anderen Namen geführt, so etwa &amp;#039;&amp;#039;&amp;#039;Prim-Dijkstra-Algorithmus&amp;#039;&amp;#039;&amp;#039; oder &amp;#039;&amp;#039;&amp;#039;Algorithmus von Jarnik, Prim und Dijkstra&amp;#039;&amp;#039;&amp;#039;, im englischen Sprachraum auch &amp;#039;&amp;#039;Jarnik’s algorithm&amp;#039;&amp;#039; oder &amp;#039;&amp;#039;DJP algorithm&amp;#039;&amp;#039;.&lt;br /&gt;
&lt;br /&gt;
== Beschreibung ==&lt;br /&gt;
[[Datei:MAZE 30x20 Prim.ogv|mini|Der Prim-Algorithmus hat viele Anwendungen, beispielsweise bei der Erzeugung dieses [[Labyrinth]]s, bei dem der Prim-Algorithmus auf einen zufällig gewichteten Gittergraphen angewendet wird.]]&lt;br /&gt;
Der [[Algorithmus]] beginnt mit einem trivialen [[Graph (Graphentheorie)|Graphen]] &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt;, der aus einem beliebigen [[Knoten (Graphentheorie)|Knoten]] des gegebenen Graphen besteht. In jedem Schritt wird nun eine [[Kante (Graphentheorie)|Kante]] mit minimalem Gewicht gesucht, die einen weiteren Knoten mit &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; verbindet. Diese und der entsprechende Knoten werden zu &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt. Das Ganze wird solange wiederholt, bis alle Knoten in &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; vorhanden sind; dann ist &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; ein minimaler Spannbaum:&lt;br /&gt;
&lt;br /&gt;
* Wähle einen beliebigen Knoten als Startgraph &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Solange &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; noch nicht alle Knoten enthält:&lt;br /&gt;
** Wähle eine Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; mit minimalem Gewicht aus, die einen noch nicht in &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; enthaltenen Knoten &amp;lt;math&amp;gt;v&amp;lt;/math&amp;gt; mit &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; verbindet.&lt;br /&gt;
** Füge &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;v&amp;lt;/math&amp;gt; dem Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzu.&lt;br /&gt;
&lt;br /&gt;
Der skizzierte Algorithmus wird durch folgenden [[Pseudocode]] beschrieben:&lt;br /&gt;
&lt;br /&gt;
 G: Graph&lt;br /&gt;
 V&amp;lt;sub&amp;gt;G&amp;lt;/sub&amp;gt;: Knotenmenge von G&lt;br /&gt;
 w: Gewichtsfunktion für Kantenlänge&lt;br /&gt;
 r: Startknoten (r ∈ V&amp;lt;sub&amp;gt;G&amp;lt;/sub&amp;gt;)&lt;br /&gt;
 Q: Prioritätswarteschlange&lt;br /&gt;
 π[u]: Elternknoten von Knoten u im Spannbaum&lt;br /&gt;
 Adj[u]: Adjazenzliste von u (alle Nachbarknoten)&lt;br /&gt;
 wert[u]: Abstand von u zum entstehenden Spannbaum&lt;br /&gt;
&lt;br /&gt;
 &amp;#039;&amp;#039;algorithmus_von_prim&amp;#039;&amp;#039;(G,w,r)&lt;br /&gt;
 01  Q &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; V&amp;lt;sub&amp;gt;G&amp;lt;/sub&amp;gt;   &amp;#039;&amp;#039;//Initialisierung&amp;#039;&amp;#039;&lt;br /&gt;
 02  &amp;#039;&amp;#039;&amp;#039;für alle&amp;#039;&amp;#039;&amp;#039; u ∈ Q&lt;br /&gt;
 03      wert[u] &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; ∞&lt;br /&gt;
 04      π[u] &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; 0&lt;br /&gt;
 05  wert[r] &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; 0&lt;br /&gt;
 06  &amp;#039;&amp;#039;&amp;#039;solange&amp;#039;&amp;#039;&amp;#039; Q ≠ &amp;lt;math&amp;gt;\varnothing&amp;lt;/math&amp;gt;&lt;br /&gt;
 07      u &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; &amp;#039;&amp;#039;extract_min&amp;#039;&amp;#039;(Q)&lt;br /&gt;
 08      &amp;#039;&amp;#039;&amp;#039;für alle&amp;#039;&amp;#039;&amp;#039; v ∈ Adj[u]&lt;br /&gt;
 09          &amp;#039;&amp;#039;&amp;#039;wenn&amp;#039;&amp;#039;&amp;#039; v ∈ Q und w(u,v) &amp;lt; wert[v]&lt;br /&gt;
 10              &amp;#039;&amp;#039;&amp;#039;dann&amp;#039;&amp;#039;&amp;#039; π[v] &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; u&lt;br /&gt;
 11                  wert[v] &amp;lt;math&amp;gt;\leftarrow&amp;lt;/math&amp;gt; w(u,v)&lt;br /&gt;
&lt;br /&gt;
Nachdem der [[Algorithmus]] endet, ergibt sich der [[Minimaler Spannbaum|minimale Spannbaum]] wie folgt:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;T = \left(V_G, \lbrace\left(u, \pi[u]\right) | u \in V_G \backslash \lbrace r \rbrace\rbrace\right)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Zum Finden der leichtesten Schnittkante kann eine [[Prioritätswarteschlange]] verwendet werden. Dabei werden vom Algorithmus insgesamt &amp;lt;math&amp;gt;|V|&amp;lt;/math&amp;gt; extractMin-Operationen und &amp;lt;math&amp;gt;|E|&amp;lt;/math&amp;gt; decreaseKey-Operationen ausgeführt. Mit einem [[Fibonacci-Heap]] (extractMin in amortisiert &amp;lt;math&amp;gt;O(\log |V|)&amp;lt;/math&amp;gt; und decreaseKey in amortisiert &amp;lt;math&amp;gt;O(1)&amp;lt;/math&amp;gt;) als [[Datenstruktur]] ergibt sich eine [[Laufzeit (Informatik)|Gesamtlaufzeit]] von &amp;lt;math&amp;gt;O(|E| + |V| \cdot \log |V|)&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Die [[Schleife (Programmierung)|Schleife]] ist inhärent sequentiell, da sich die leichteste [[Kante (Graphentheorie)|Kante]] im Schnitt von &amp;lt;math&amp;gt;S&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;V \setminus S&amp;lt;/math&amp;gt; mit dem Hinzufügen eines neuen [[Knoten (Graphentheorie)|Knotens]] zu &amp;lt;math&amp;gt;S&amp;lt;/math&amp;gt; ändern kann. Es ist jedoch für die Korrektheit wichtig, dass immer die aktuell leichteste Kante ausgewählt wird.&lt;br /&gt;
&lt;br /&gt;
Auf einer [[Parallel Random Access Machine]] mit insgesamt &amp;lt;math&amp;gt;O(|V|)&amp;lt;/math&amp;gt; [[Prozessor]]en lässt sich der Zugriff auf die [[Vorrangwarteschlange|Prioritätswarteschlange]] zu konstanter Zeit beschleunigen&amp;lt;ref name=&amp;quot;A_Parallel_Prio_4-21&amp;quot;/&amp;gt;, sodass sich eine [[Laufzeit (Informatik)|Gesamtlaufzeit]] in &amp;lt;math&amp;gt;O(|E|+|V|)&amp;lt;/math&amp;gt; ergibt. Insgesamt bieten der [[Algorithmus von Kruskal]] und der [[Algorithmus von Borůvka]] bessere Parallelisierungsansätze.&lt;br /&gt;
&lt;br /&gt;
== Beispiel ==&lt;br /&gt;
In diesem Beispiel wird der Ablauf des Algorithmus von Prim an einem einfachen [[Graph (Graphentheorie)|Graphen]] gezeigt. Der aktuelle [[Baum (Graphentheorie)|Baum]] &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; ist jeweils grün hervorgehoben. Alle [[Knoten (Graphentheorie)|Knoten]], die im jeweiligen Schritt über eine einzelne [[Kante (Graphentheorie)|Kante]] mit dem Graphen verbunden werden können, sind zusammen mit der jeweiligen Kante geringsten Gewichts blau hervorgehoben. Der Knoten und die Kante, die hinzugefügt werden, sind hellblau markiert.&lt;br /&gt;
&lt;br /&gt;
{| class=&amp;quot;wikitable&amp;quot;&lt;br /&gt;
|[[Datei:Prim Algorithm 0.svg|200px]]&lt;br /&gt;
|Dies ist der Graph, zu dem der Algorithmus von Prim einen minimalen Spannbaum berechnet. Die Zahlen bei den einzelnen Kanten geben das jeweilige Kantengewicht an.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 1.svg|200px]]&lt;br /&gt;
|Als Startknoten für den Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; wird der Knoten &amp;lt;math&amp;gt;D&amp;lt;/math&amp;gt; gewählt. (Es könnte auch jeder andere Knoten ausgewählt werden.) Mit dem Startknoten können die Knoten &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;E&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;F&amp;lt;/math&amp;gt; jeweils unmittelbar durch die Kanten &amp;lt;math&amp;gt;DA&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;DB&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;DE&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;DF&amp;lt;/math&amp;gt; verbunden werden. Unter diesen Kanten ist &amp;lt;math&amp;gt;DA&amp;lt;/math&amp;gt; diejenige mit dem geringsten Gewicht und wird deshalb zusammen mit dem Knoten &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt; zum Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 2.svg|200px]]&lt;br /&gt;
|Mit dem bestehenden Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; kann der Knoten &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; durch die Kanten &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;DB&amp;lt;/math&amp;gt;, der Knoten &amp;lt;math&amp;gt;E&amp;lt;/math&amp;gt; durch die Kante &amp;lt;math&amp;gt;DE&amp;lt;/math&amp;gt; und der Knoten &amp;lt;math&amp;gt;F&amp;lt;/math&amp;gt; durch die Kante &amp;lt;math&amp;gt;DF&amp;lt;/math&amp;gt; verbunden werden. Unter diesen vier Kanten ist &amp;lt;math&amp;gt;DF&amp;lt;/math&amp;gt; diejenige mit dem geringsten Gewicht und wird deshalb zusammen mit dem Knoten &amp;lt;math&amp;gt;F&amp;lt;/math&amp;gt; zum Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 3.svg|200px]]&lt;br /&gt;
|Mit dem bestehenden Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; kann der Knoten &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; durch die Kanten &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;DB&amp;lt;/math&amp;gt;, der Knoten &amp;lt;math&amp;gt;E&amp;lt;/math&amp;gt; durch die Kanten &amp;lt;math&amp;gt;DE&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;FE&amp;lt;/math&amp;gt; und der Knoten &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; durch die Kante &amp;lt;math&amp;gt;FG&amp;lt;/math&amp;gt; verbunden werden. Unter diesen Kanten ist &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; diejenige mit dem geringsten Gewicht und wird deshalb zusammen mit dem Knoten &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; zum Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 4.svg|200px]]&lt;br /&gt;
|Mit dem bestehenden Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; kann der Knoten &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt; durch die Kante &amp;lt;math&amp;gt;BC&amp;lt;/math&amp;gt;, der Knoten &amp;lt;math&amp;gt;E&amp;lt;/math&amp;gt; durch die Kanten &amp;lt;math&amp;gt;BE&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;DE&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;FE&amp;lt;/math&amp;gt; und der Knoten &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; durch die Kante &amp;lt;math&amp;gt;FG&amp;lt;/math&amp;gt; verbunden werden. Unter diesen Kanten ist &amp;lt;math&amp;gt;BE&amp;lt;/math&amp;gt; diejenige mit dem geringsten Gewicht und wird deshalb zusammen mit dem Knoten &amp;lt;math&amp;gt;E&amp;lt;/math&amp;gt; zum Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 5.svg|200px]]&lt;br /&gt;
|Mit dem bestehenden Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; kann der Knoten &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt; durch die Kanten &amp;lt;math&amp;gt;BC&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;EC&amp;lt;/math&amp;gt; und der Knoten &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; durch die Kanten &amp;lt;math&amp;gt;EG&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;FG&amp;lt;/math&amp;gt; verbunden werden. Unter diesen Kanten ist &amp;lt;math&amp;gt;EC&amp;lt;/math&amp;gt; diejenige mit dem geringsten Gewicht und wird deshalb zusammen mit dem Knoten &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt; zum Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 6.svg|200px]]&lt;br /&gt;
|Der verbliebene Knoten &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; kann durch die Kanten &amp;lt;math&amp;gt;EG&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;FG&amp;lt;/math&amp;gt; mit dem Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; verbunden werden. Da &amp;lt;math&amp;gt;EG&amp;lt;/math&amp;gt; unter diesen beiden das geringere Gewicht hat, wird sie zusammen mit dem Knoten &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; zum Graphen &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt.&lt;br /&gt;
|-&lt;br /&gt;
|[[Datei:Prim Algorithm 7.svg|200px]]&lt;br /&gt;
|Der Graph &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; enthält jetzt alle Knoten des Ausgangsgraphen und ist ein minimaler Spannbaum dieses Ausgangsgraphen.&lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
== Effizienz und Laufzeit ==&lt;br /&gt;
Für eine effiziente [[Implementierung]] des Algorithmus von Prim muss man möglichst einfach eine [[Kante (Graphentheorie)|Kante]] finden, die man dem entstehenden [[Baum (Graphentheorie)|Baum]] &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzufügen kann. Man benötigt also eine [[Prioritätswarteschlange]], in der alle [[Knoten (Graphentheorie)|Knoten]] gespeichert sind, die noch nicht zu &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; gehören. Alle Knoten haben einen Wert, der dem der leichtesten Kante entspricht, durch die der Knoten mit &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; verbunden werden kann. Existiert keine solche Kante, wird dem Knoten der Wert &amp;lt;math&amp;gt;\infty&amp;lt;/math&amp;gt; zugewiesen. Die [[Warteschlange (Datenstruktur)|Warteschlange]] liefert nun immer einen Knoten mit dem kleinsten Wert zurück.&lt;br /&gt;
&lt;br /&gt;
Die Effizienz des Algorithmus hängt infolgedessen von der Implementierung der [[Warteschlange (Datenstruktur)|Warteschlange]] ab. Bei Verwendung eines [[Fibonacci-Heap]]s ergibt sich eine optimale [[Laufzeit (Informatik)|Laufzeit]] von &amp;lt;math&amp;gt;\mathcal{O}(|E| + |V| \log |V|)&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
== Korrektheitsbeweis ==&lt;br /&gt;
Sei &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; ein [[Zusammenhängender Graph|zusammenhängender]], kantengewichteter [[Graph (Graphentheorie)|Graph]]. Bei jeder Iteration des [[Algorithmus]] muss eine [[Kante (Graphentheorie)|Kante]] gefunden werden, die einen [[Knoten (Graphentheorie)|Knoten]] in einem [[Teilgraph]]en mit einem Knoten außerhalb des Teilgraphen verbindet. Weil &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; zusammenhängend ist, gibt es immer einen [[Pfad (Graphentheorie)|Pfad]] zu jedem Knoten. Der resultierende Graph &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; des Algorithmus ist ein [[Baum (Graphentheorie)|Baum]], da die dem Baum hinzugefügte Kante und der Knoten verbunden sind.&lt;br /&gt;
&lt;br /&gt;
Sei &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; ein [[minimaler Spannbaum]] des Graphen &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt;. Wenn &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; gleich &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; ist, dann ist &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; ein minimaler Spannbaum.&lt;br /&gt;
&lt;br /&gt;
Andernfalls sei &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; die erste Kante, die während der Konstruktion des Baums &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt wird, die sich nicht im Baum &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; befindet, und &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; sei die Menge der Knoten, die durch die vor der Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; hinzugefügten Kanten verbunden waren. Dann befindet sich ein Knoten der Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; in der Menge &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; der schon verbundenen Knoten und der andere nicht. Weil der Baum &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; ein Spannbaum des Graphen &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; ist, gibt es im Baum &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; einen Pfad, der die beiden Endknoten verbindet. Wenn man den Pfad entlang fährt, muss man auf eine Kante &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; stoßen, die einen Knoten der Menge &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; mit einem Knoten verbindet, der nicht in der Menge &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; liegt. Bei der Iteration, in der die Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; zu Baum &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; hinzugefügt wurde, könnte nun auch die Kante &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; hinzugefügt worden sein und sie würde anstelle der Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; hinzugefügt, wenn ihr Gewicht kleiner als das Gewicht von &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; wäre, und weil die Kante &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; nicht hinzugefügt wurde, schließen wir daraus, dass ihr Gewicht mindestens so groß ist wie das Gewicht von &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Der Baum &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; sei der Graph, der aus &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; durch Entfernen der Kante &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; und Hinzufügen der Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; entsteht. Es ist einfach zu zeigen, dass der Baum &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; zusammenhängend ist, die gleiche Anzahl von Kanten wie der Baum &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; hat und das Gesamtgewicht seiner Kanten nicht größer als das von Baum &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; ist, daher ist &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; auch ein minimaler Spannbaum des Graphen &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; und er enthält die Kante &amp;lt;math&amp;gt;e&amp;lt;/math&amp;gt; und alle Kanten, die während der Konstruktion der Menge &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; hinzugefügt wurden. Wiederholt man die bisherigen Schritte, dann erhält man schließlich einen minimalen Spannbaum des Graphen &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt;, der mit dem Baum &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; identisch ist. Dies zeigt, dass &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; ein minimaler Spannbaum ist.&lt;br /&gt;
&lt;br /&gt;
== Vergleich mit dem Algorithmus von Kruskal ==&lt;br /&gt;
Wie auch der [[Algorithmus von Kruskal]], der ebenfalls einen minimal spannenden Baum konstruiert, ist Prims Algorithmus ein [[Greedy-Algorithmus]]. Beide [[Algorithmus|Algorithmen]] beginnen mit einem [[Graph (Graphentheorie)|Graphen]] ohne Kanten und fügen in jedem Schritt eine Kante mit minimalem Gewicht hinzu. Sie unterscheiden sich vor allem darin, wie die Bildung eines [[Kreis (Graphentheorie)|Kreises]] vermieden wird.&lt;br /&gt;
&lt;br /&gt;
Während der Algorithmus von Kruskal global nach möglichen Kanten mit dem kleinsten Gewicht sucht und bei der Aufnahme dieser Kanten in den Lösungsgraph die Kreisbildung aktiv vermeidet, betrachtet der Algorithmus von Prim nur Kanten, die von den Knoten der bisher konstruierten Teilknotenmenge zu Knoten der Komplementärmenge verlaufen. Da aus dieser Kantenmenge eine Kante ausgewählt wird, vermeidet der Algorithmus per Konstruktion das Auftreten von Kreisen.&lt;br /&gt;
&lt;br /&gt;
Ein Vergleich der [[Laufzeit (Informatik)|Laufzeit]] der beiden [[Algorithmus|Algorithmen]] ist schwierig, da im Algorithmus von Prim die &amp;#039;&amp;#039;Knoten&amp;#039;&amp;#039; die zentrale Komplexitätsschranke bestimmen, während der Algorithmus von Kruskal auf Basis einer sortierten Kantenliste arbeitet und daher dessen Laufzeit von der Anzahl der &amp;#039;&amp;#039;Kanten&amp;#039;&amp;#039; dominiert wird.&amp;lt;ref&amp;gt;vgl. dazu {{Literatur |Autor=Ellis Horowitz, [[Sartaj Sahni]] | Titel=Fundamentals of Computer Algorithms |Hrsg=Computer Science Press |Datum=1984-09 |Seiten=174-183 |ISBN= 978-0914894223 |Sprache=en}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Parallele Implementierung ==&lt;br /&gt;
[[Datei:Distributed adjacency matrix for parallel prim.png|mini|Grafische Darstellung der Aufteilung einer [[Adjazenzmatrix]] für die Parallelisierung von Prims Algorithmus. In jeder Iteration des Algorithmus wird von jedem Prozessor sein Teil des Kostenvektors &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt; aktualisiert. Hierfür wird die Reihe des neu gewählten Knotens in den zugehörigen Spalten des Prozessors betrachtet und anschließend der lokal optimale Knoten bestimmt. Die Ergebnisse aller Prozessoren werden anschließend gesammelt um den nächsten Knoten des Spannbaums zu bestimmen]]&lt;br /&gt;
&lt;br /&gt;
Der Algorithmus von Prim ist grundlegend [[Sequentieller Zugriff|sequentieller]] Natur, da sich die äußere [[Schleife (Programmierung)|Schleife]] aufgrund von Datenabhängigkeiten zwischen den [[Iteration]]en nicht parallelisieren lässt. Es ist allerdings möglich, die &amp;#039;&amp;#039;extract_min&amp;#039;&amp;#039; Operation zu parallelisieren. Hierfür kann zum Beispiel eine parallele [[Implementierung]] einer [[Prioritätswarteschlange]] verwendet werden. Auf einer [[Parallel Random Access Machine]] mit insgesamt &amp;lt;math&amp;gt;O(|V|)&amp;lt;/math&amp;gt; [[Prozessor]]en lässt sich der Zugriff auf die Prioritätswarteschlange zu konstanter Zeit beschleunigen&amp;lt;ref name=&amp;quot;A_Parallel_Prio_4-21&amp;quot;&amp;gt;{{cite journal&lt;br /&gt;
 | last1 = Brodal&lt;br /&gt;
 | first = Gerth Stølting&lt;br /&gt;
 | last2 = Träff&lt;br /&gt;
 | first2 = Jesper Larsson&lt;br /&gt;
 | last3 = Zaroliagis&lt;br /&gt;
 | first3 = Christos D.&lt;br /&gt;
 | date = 1998-02-25&lt;br /&gt;
 | title = A Parallel Priority Queue with Constant Time Operations&lt;br /&gt;
 | journal = Journal of Parallel and Distributed Computing&lt;br /&gt;
 | volume = 49&lt;br /&gt;
 | issue = 1&lt;br /&gt;
 | pages = 4–21&lt;br /&gt;
 | language=en&lt;br /&gt;
 | doi=10.1006/jpdc.1998.1425}}&amp;lt;/ref&amp;gt;, sodass sich eine [[Laufzeit (Informatik)|Gesamtlaufzeit]] in &amp;lt;math&amp;gt;O(|E|+|V|)&amp;lt;/math&amp;gt; ergibt. Alternativ können die [[Knoten (Graphentheorie)|Knoten]] zwischen mehreren Prozessoren aufgeteilt werden, sodass jeder Prozessor die eingehenden Kanten zu seinem Teil der Knoten verwaltet.&amp;lt;ref name=&amp;quot;grama2003&amp;quot;&amp;gt;{{cite book|title=Introduction to Parallel Computing|last1=Grama|first1=Ananth|last2=Gupta|first2=Anshul|last3=Karypis|first3=George|last4=Kumar|first4=Vipin|publisher=|year=2003|isbn=978-0-201-64865-2|location=|pages=444–446|language=en}}&amp;lt;/ref&amp;gt; Dies wird in folgendem [[Pseudocode]] dargestellt.&lt;br /&gt;
&lt;br /&gt;
# Weise jedem Prozessor &amp;lt;math&amp;gt;P_i&amp;lt;/math&amp;gt; einen Teil &amp;lt;math&amp;gt;V_i&amp;lt;/math&amp;gt; der Knoten, sowie die dazugehörigen (eingehenden) Kanten zu. Bei Verwendung einer [[Adjazenzmatrix]] entspricht dies gerade einem Teil der Spalten.&lt;br /&gt;
# Erstelle auf jedem Prozessor einen Vektor &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt;, welcher die aktuellen Kosten für jeden Knoten in &amp;lt;math&amp;gt;V_i&amp;lt;/math&amp;gt; enthält. Initialisiere diesen Vektor mit &amp;lt;math&amp;gt;\infty&amp;lt;/math&amp;gt;&lt;br /&gt;
# Wiederhole folgende Schritte solange nicht alle Knoten im Spannbaum enthalten sind:&lt;br /&gt;
## Auf jedem Prozessor: bestimme den Knoten &amp;lt;math&amp;gt;v_i&amp;lt;/math&amp;gt; und dazugehörige Kante &amp;lt;math&amp;gt;e_i&amp;lt;/math&amp;gt; welcher den minimalen Wert in &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt; besitzt (lokale Lösung).&lt;br /&gt;
## Bestimme aus den lokalen Lösungen den Knoten dessen Verbindung zum aktuellen Spannbaum die geringsten Kosten hat. Dies ist mithilfe einer Minimum-Reduktion über alle Prozessoren möglich.&lt;br /&gt;
## Teile jedem Prozessor den gewählten Knoten mithilfe eines [[Broadcast]] mit.&lt;br /&gt;
## Füge den neuen Knoten sowie die dazugehörige Kante (es sei denn es handelt sich um den ersten Knoten) dem Spannbaum hinzu&lt;br /&gt;
## Auf jedem Prozessor: aktualisiere &amp;lt;math&amp;gt;C&amp;lt;/math&amp;gt; indem die Kanten des neu eingefügten Knotens zu dem eigenen Knotenset betrachtet werden.&lt;br /&gt;
&lt;br /&gt;
Diese Variation von Prims Algorithmus lässt sich sowohl auf [[Verteiltes System|Verteilten Systemen]],&amp;lt;ref name=&amp;quot;grama2003&amp;quot; /&amp;gt; auf [[Shared Memory]] Systemen&amp;lt;ref&amp;gt;{{Literatur |Autor=Michael J. Quinn, Narsingh Deo  |Titel=Parallel Graph Algorithms |DOI=10.1145/2514.2515 |Sammelwerk=[[Association for Computing Machinery|ACM]] Computing Surveys (CSUR) |Nummer=16 |Band=3 |Seiten=319–348 |Datum=1984 |Sprache=en}}&amp;lt;/ref&amp;gt;, sowie auf [[Grafikprozessor]]en&amp;lt;ref&amp;gt;{{Cite journal|last1=Wang|first1=Wei|last2=Huang|first2=Yongzhong|last3=Guo|first3=Shaozhong|date=2011|title=Design and Implementation of GPU-Based Prim’s Algorithm|journal=International Journal of Modern Education and Computer Science (IJMECS)|volume=3|issue=4|language=en|doi=10.5815/ijmecs.2011.04.08}}&amp;lt;/ref&amp;gt; implementieren. Die [[Laufzeit (Informatik)|Laufzeit]] beträgt dabei&lt;br /&gt;
:&amp;lt;math&amp;gt;O\left(\frac{|V|^2}{|P|}\right) + O(|V| \log |P|)&amp;lt;/math&amp;gt;,&lt;br /&gt;
da in jeder der &amp;lt;math&amp;gt;|V|&amp;lt;/math&amp;gt; Iterationen des Algorithmus jeweils &amp;lt;math&amp;gt;\tfrac{|V|}{|P|}&amp;lt;/math&amp;gt; Einträge betrachtet werden müssen. Zusätzlich wird angenommen, dass sowohl die Minimum-Reduktion als auch der [[Broadcast]] in &amp;lt;math&amp;gt;O(\log |P|)&amp;lt;/math&amp;gt; Zeit durchgeführt werden können.&amp;lt;ref name=&amp;quot;grama2003&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Als weitere Alternative für eine parallele Umsetzung von Prims Algorithmus wurde eine Variante präsentiert, in welcher der sequentielle Algorithmus parallel von verschiedenen Startknoten aus ausgeführt wird.&amp;lt;ref&amp;gt;{{Cite journal|last=Setia|first=Rohit|last2=Nedunchezhian |first2=Arun |last3=Balachandran |first3=Shankar |date=2009|title=A new parallel algorithm for minimum spanning tree problem|journal=Proc. International Conference on High Performance Computing (HiPC)|language=en|url=https://www.hipc.org/hipc2009/documents/HIPCSS09Papers/1569250351.pdf |format=PDF}}&amp;lt;/ref&amp;gt; Im Allgemeinen eignen sich andere [[Minimal spannender Baum|MST]] Algorithmen, wie beispielsweise der [[Algorithmus von Borůvka]], jedoch besser für eine Parallelisierung.&lt;br /&gt;
&lt;br /&gt;
== Programmierung ==&lt;br /&gt;
Das folgende Beispiel in der [[Programmiersprache]] [[C-Sharp|C#]] zeigt die Implementierung des Algorithmus von Prim. Bei der Ausführung des Programms wird die [[Methode (Programmierung)|Methode]] &amp;#039;&amp;#039;Main&amp;#039;&amp;#039; verwendet, die die Kanten und die [[Abstand|Abstände]] auf der Konsole ausgibt. Die [[Matrix (Mathematik)|Matrix]] für die Abstände wird in einem zweidimensionalen [[Feld (Datentyp)|Array]] vom [[Datentyp]] [[Integer (Datentyp)|Integer]] gespeichert.&amp;lt;ref&amp;gt;{{Internetquelle |url=https://www.geeksforgeeks.org/prims-minimum-spanning-tree-mst-greedy-algo-5/ |titel=Prim’s Algorithm for Minimum Spanning Tree (MST) |werk=geeksforgeeks |datum=2024-12-05 |abruf=2025-01-29 |sprache=en}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;syntaxhighlight lang=&amp;quot;c#&amp;quot;&amp;gt;&lt;br /&gt;
using System;&lt;br /&gt;
&lt;br /&gt;
class Program&lt;br /&gt;
{&lt;br /&gt;
	// Diese Methode gibt den Index des Knotens mit dem minimalen Abstand zum Teilgraphen zurück&lt;br /&gt;
	static int GetMinimumIndex(int[] distances, bool[] includedNodes)&lt;br /&gt;
	{&lt;br /&gt;
		int minimumDistance = int.MaxValue;&lt;br /&gt;
		int minimumIndex = -1;&lt;br /&gt;
		for (int i = 0; i &amp;lt; distances.Length; i++)&lt;br /&gt;
		{&lt;br /&gt;
			if (!includedNodes[i] &amp;amp;&amp;amp; distances[i] &amp;lt; minimumDistance)&lt;br /&gt;
			{&lt;br /&gt;
				minimumDistance = distances[i];&lt;br /&gt;
				minimumIndex = i;&lt;br /&gt;
			}&lt;br /&gt;
		}&lt;br /&gt;
		return minimumIndex;&lt;br /&gt;
	}&lt;br /&gt;
	&lt;br /&gt;
	// Diese Methode verwendet den Algorithmus von Prim und gibt den minimalen Spannbaum zurück&lt;br /&gt;
	static void Prim(int[,] distanceMatrix, int numberOfNodes, out int[] parent, out int[] distances)&lt;br /&gt;
	{&lt;br /&gt;
		parent = new int[numberOfNodes];&lt;br /&gt;
		distances = new int[numberOfNodes];&lt;br /&gt;
		bool[] includedNodes = new bool[numberOfNodes];&lt;br /&gt;
		for (int i = 0; i &amp;lt; numberOfNodes; i++)&lt;br /&gt;
		{&lt;br /&gt;
			distances[i] = int.MaxValue;&lt;br /&gt;
			includedNodes[i] = false;&lt;br /&gt;
		}&lt;br /&gt;
		distances[0] = 0;&lt;br /&gt;
		parent[0] = -1;&lt;br /&gt;
		for (int i = 0; i &amp;lt; numberOfNodes - 1; i++)&lt;br /&gt;
		{&lt;br /&gt;
			int minimumIndex = GetMinimumIndex(distances, includedNodes);&lt;br /&gt;
			includedNodes[minimumIndex] = true;&lt;br /&gt;
			for (int j = 0; j &amp;lt; numberOfNodes; j++)&lt;br /&gt;
			{&lt;br /&gt;
				if (distanceMatrix[minimumIndex, j] != 0 &amp;amp;&amp;amp; !includedNodes[j] &amp;amp;&amp;amp; distanceMatrix[minimumIndex, j] &amp;lt; distances[j])&lt;br /&gt;
				{&lt;br /&gt;
					parent[j] = minimumIndex;&lt;br /&gt;
					distances[j] = distanceMatrix[minimumIndex, j];&lt;br /&gt;
				}&lt;br /&gt;
			}&lt;br /&gt;
		}&lt;br /&gt;
	}&lt;br /&gt;
	&lt;br /&gt;
	// Hauptmethode, die das Programm ausführt&lt;br /&gt;
	public static void Main()&lt;br /&gt;
	{&lt;br /&gt;
		int[, ] distanceMatrix = new int[,] { {0, 2, 0, 6, 0},&lt;br /&gt;
			{2, 0, 3, 8, 5},&lt;br /&gt;
			{0, 3, 0, 0, 7},&lt;br /&gt;
			{6, 8, 0, 0, 9},&lt;br /&gt;
			{0, 5, 7, 9, 0} }; // Deklariert und initialisiert die Matrix mit den Abständen zwischen allen Punkten als zweidimensionales Array vom Typ int&lt;br /&gt;
		int[] parent;&lt;br /&gt;
		int[] distances;&lt;br /&gt;
		int numberOfNodes = 5;&lt;br /&gt;
		Prim(distanceMatrix, numberOfNodes, out parent, out distances);&lt;br /&gt;
		Console.WriteLine(&amp;quot;Kante\tAbstand&amp;quot;); // Ausgabe auf der Konsole&lt;br /&gt;
		for (int i = 1; i &amp;lt; numberOfNodes; i++)&lt;br /&gt;
		{&lt;br /&gt;
			Console.WriteLine(parent[i] + &amp;quot; - &amp;quot; + i + &amp;quot;\t&amp;quot; + distanceMatrix[i, parent[i]]); // Ausgabe auf der Konsole&lt;br /&gt;
		}&lt;br /&gt;
		&lt;br /&gt;
		Console.ReadLine();&lt;br /&gt;
	}&lt;br /&gt;
}&lt;br /&gt;
&amp;lt;/syntaxhighlight&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Literatur ==&lt;br /&gt;
* {{Literatur |Autor=[[Robert C. Prim]] |Titel=Shortest connection networks and some generalisations |Sammelwerk=Bell System Technical Journal |Nummer=6 |Band=36 |Datum=1957-11 |DOI=10.1002/j.1538-7305.1957.tb01515.x |Seiten=1389–1401 |Sprache=en}}&lt;br /&gt;
* {{Literatur |Autor=David Cheriton, [[Robert Tarjan]] |Titel=Finding Minimum Spanning Trees |Sammelwerk=SIAM Journal on Computing |Band=5 |Nummer=4 |Datum=1976-12 |Seiten=724–741 |DOI=10.1137/0205051 |Sprache=en}}&lt;br /&gt;
* {{Literatur |Autor=Ellis Horowitz, [[Sartaj Sahni]] | Titel=Fundamentals of Computer Algorithms |Hrsg=Computer Science Press |Datum=1984-09 |Seiten=174-183 |ISBN= 978-0914894223 |Sprache=en}}&lt;br /&gt;
&lt;br /&gt;
== Weblinks ==&lt;br /&gt;
{{Commonscat|Prim&amp;#039;s algorithm|Algorithmus von Prim|audio=0}}&lt;br /&gt;
{{Wikibooks|Algorithmensammlung: Graphentheorie: Algorithmus von Prim|Algorithmus von Prim|suffix=Implementierungen in der Algorithmensammlung}}&lt;br /&gt;
* {{Webarchiv |url=http://www-m9.ma.tum.de/material/de/mst-prim/ |wayback=20150614233605 |text=Reza Sefidgar: Interaktives Applet zur Lernen, Ausprobieren und Demonstrieren des Algorithmus}}&lt;br /&gt;
* {{Webarchiv |url=http://www.unf.edu/~wkloster/foundations/PrimApplet/PrimApplet.htm |wayback=20211228013007 |text=Java-Applet zur Schritt-für-Schritt-Visualisierung}}&lt;br /&gt;
* {{Webarchiv |url=http://www-i1.informatik.rwth-aachen.de/~algorithmus/algo21.php |wayback=20160127080051 |text=&amp;#039;&amp;#039;Anschauliche Darstellung des Algorithmus im Rahmen des Informatikjahres, 2006&amp;#039;&amp;#039;}}&lt;br /&gt;
&lt;br /&gt;
== Einzelnachweise ==&lt;br /&gt;
&amp;lt;references /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Kategorie:Graphsuchalgorithmus|Prim, Algorithmus von]]&lt;br /&gt;
[[Kategorie:Optimierungsalgorithmus|Prim, Algorithmus von]]&lt;br /&gt;
[[Kategorie:Wikipedia:Artikel mit Video]]&lt;/div&gt;</summary>
		<author><name>imported&gt;PlusMinuscule</name></author>
	</entry>
</feed>