Gewurzelter Baum

Gewurzelter Baum als In-Tree mit Knoten 2 als Wurzel.

Ein gewurzelter Baum (auch Wurzelbaum oder Arboreszenz) ist in der Graphentheorie ein Baum, dessen Kanten eine ausgezeichnete Richtung besitzen, so dass im Gegensatz zum ungerichteten Baum ein Knoten als Wurzel identifiziert werden kann. Unterscheiden lassen sich:

Out-Trees, bei denen die Kanten von der Wurzel ausgehen, und
In-Trees, bei denen die Kanten in Richtung Wurzel zeigen.

Definition

Gewurzelte Bäume sind gerichtete Graphen mit einem ausgezeichneten Knoten, der so genannten Wurzel, für den gilt, dass im Falle von Out-Trees jeder Knoten durch genau einen gerichteten Pfad von diesem aus erreichbar ist oder dass im Falle von In-Trees dieser von jedem Knoten aus durch genau einen gerichteten Pfad erreichbar ist.

Weitere Begriffe

Im Falle von Out-Trees wird der maximale Ausgangsgrad als Ordnung des Baumes bezeichnet und alle Knoten mit Ausgangsgrad 0 bezeichnet man als Blätter. Als Tiefe eines Knotens bezeichnet man die Länge des Pfades von der Wurzel zu ihm und als Höhe des Baumes die Länge eines längsten Pfades, der immer von der Wurzel zu einem Blatt laufen muss. Im Falle von In-Trees bezeichnet man den maximalen Eingangsgrad des Baumes als seine Ordnung und alle Knoten mit Eingangsgrad 0 als Blätter. Als Höhe des Baumes bezeichnet man auch hier die Länge eines längsten Pfades, der immer von einem Blatt zur Wurzel laufen muss.

Wie bei ungerichteten Bäumen bezeichnet man auch in gewurzelten Bäumen alle Knoten, die kein Blatt sind, als innere Knoten. Manchmal schließt man die Wurzel dabei aber aus.

Für Out-Trees gibt es noch eine ganze Reihe weiterer Begriffe. Für einen von der Wurzel verschiedenen Knoten bezeichnet man den Knoten, durch den er mit einer eingehenden Kante verbunden ist als Vater, Vaterknoten, Mutter, Mutterknoten, Elter, Elterknoten (auch Elternknoten) oder Vorgänger von . Als Vorfahren von werden alle Knoten auf dem Pfad zur Wurzel bezeichnet.

Umgekehrt bezeichnet man alle Knoten, die von einem beliebigen Knoten aus durch eine ausgehende Kante verbunden sind als Kinder, Kinderknoten, Sohn oder Nachfolger von . Als Nachfahren von bezeichnet man alle Knoten zu denen von aus ein Pfad existiert, also alle Knoten des Unterbaums, der als Wurzel hat. Als Geschwister oder Geschwisterknoten werden in einem Out-Tree Knoten bezeichnet, die den gleichen Vorgängerknoten besitzen.

Ein Wurzelbaum, in dem für die Söhne jedes Knotens eine lineare Ordnung definiert ist, heißt geordneter Baum oder planarer Baum. Anschaulich legt die Ordnung fest, in welcher Weise die Nachfolger eines Knotens in der grafischen Darstellung des Baumes angezeigt werden (z.B. von links nach rechts gemäß Ordnungskriterium). Formal wird durch die Ordnung festgelegt, in welcher Reihenfolge die Knoten bei unterschiedlichen Traversierungsverfahren (preorder, inorder, postorder) durchlaufen werden.

Alternative Definition

Gewurzelte Bäume lassen sich auch rekursiv definieren. Sie bestehen aus einem Knoten , der die Wurzel des Baumes darstellt, welcher ausschließlich mit den Wurzeln knotendisjunkter Bäume $T_{1},T_{2},\ldots ,T_{n}$ verbunden ist, bei Out-Trees in Richtung der Wurzeln von $T_{1},T_{2},\ldots ,T_{n}$ , wobei diese selbst Out-Trees sind, und bei In-Trees in Richtung von , wobei $T_{1},T_{2},\ldots ,T_{n}$ selbst In-Trees sind.

Siehe auch

Vergleichbarkeitsgraph

Basierend auf einem Artikel in:

Wikipedia.de