Algorithmus von Hopcroft und Tarjan
aus Wikipedia, der freien Enzyklopädie
Der Algorithmus von Hopcroft und Tarjan ist ein Algorithmus aus dem mathematischen Teilgebiet der Graphentheorie. Mit ihm lässt sich in einen beliebigen zusammenhängenden ungerichteten Graphen ohne Brücken eine Orientierung der Kanten finden, so dass der entstehende gerichtete Graph stark zusammenhängend ist. Der Name des Algorithmus geht auf die Computerwissenschaftler John E. Hopcroft und Robert Tarjan zurück.
[Bearbeiten] Algorithmus
- Gegeben: zusammenhängender ungerichteter Graph G = (V,E) ohne Brücken
- Gesucht: Orientierung H von G, so dass H stark zusammenhängend ist
Der Algorithmus von Hopcroft und Tarjan geht in zwei Schritten vor: Zuerst werden die Kanten eines Gerüstes orientiert, der über Tiefensuche bestimmt wird, anschließend werden die restlichen Kanten orientiert.
Es sei
- M die Menge der markierten Knoten,
- NM die Menge der nicht markierten Knoten,
die Markierung der Knoten,- OM die Menge der Bögen, die durch die Orientierung der Kanten von G entstanden sind.
1. Wähle einen beliebigen Knoten 
von G aus, der markiert wird:
- Setze
2. Suche jetzt einen Knoten y von M, der eine maximale Markierung m(y) und gleichfalls adjazent zu einem Knoten z aus NM ist. Markiere jetzt z mit m(z) = m(y) + 1. Orientiere anschließend die Kante {y,z} von y zu z, so dass der Bogen (y,z) entsteht.
Der markierte Knoten z wird aus NM entfernt und zu M hinzugefügt, und der Bogen (y,z) wird zu OM hinzugefügt:
Überprüfe, ob alle Knoten markiert wurden: Gilt 
, dann wiederhole Schritt 2.
3. Es gilt:
- Alle Knoten wurden markiert: M = V,
- ein Gerüst von G ist orientiert.
Es lässt sich beweisen, dass alle Kanten, die jetzt noch keine Richtung haben, immer zwei Knoten mit unterschiedlicher Markierung verbinden. Jede nicht orientierte Kante {x,y} mit m(x) > m(y) wird nun von x nach y orientiert, d.h. vom Knoten mit der größeren zum Knoten mit der kleineren Markierung, und zu OM hinzugefügt.
Die auf diese Weise konstruierte Orientierung H = (V,OM) des Graphen G ist stark zusammenhängend.
