Beschreibung
Bei der Kontraktion von Teilbäumen, werden bestimmte Teilbäume eines Graphen zu Punkten geschrumpft. Während die Kanten zu den Kontraktionen hin oder von ihnen weg gleich bleiben.
Definition
Sei ein Zusammenhängener Graph und sei ein Teilgraph, welcher eine disjunkte Vereinigung von Teilbäumen ist.
Der zu Konstruierende Graph wird Quotientengraph genannt. Die Knoten von sind der Quotient der Knoten bezüglich einer Äquivalenzrelation, dessen Klassen die und sind. Seine Kanten sind , wobei wir jede Kante zwischen zwei Knoten auf die zwei Äquivalenzrelationen abbilden.