Definition 20
eine Kante, die in einem Blatt endet heißt leaf-edge Definition 21
die Tiefe eines Knotens depht(v) ist (wie üblich) die Anzahl der Kanten des eindeutigen Weges von der Wurzel zum Knoten v
Stefan Posch, Institut für Informatik, Uni Halle 51
3 Suffixbäume
3.1 Definition und Anwendung
Definition 16
sei S ein String (um$∈ A/ erweitert) mit|S|=m
ein Suffixbaum ST(S) ist ein gerichteter Wurzelbaum mit:
1. jeder innere Knoten (ungleich der Wurzel) hat mindestens zwei Nachfolger 2. die Blätter sind mit 1,...,m bezeichnet
3. jede Kante ist mit einem nichtleerem String∈A˜+bezeichnet
4. von keiner Kante gehen mehrere Kanten aus, deren Markierungen mit demselben Symbol beginnen
5. für den (eindeutigen) Weg von der Wurzel zu einem Blatt i gilt:
die Konkatenation der Kantenmarkierung liefert den Suffix S[i...m]
Stefan Posch, Institut für Informatik, Uni Halle 49
Definition 17
für die Konkatenationαder Kantenmarkierung entlang eines Pfades p (beginnend an der Wurzel), der im Knoten v endet
a)αheißt Markierung(label) von p;α= label(p)
b)αheißt Pfadmarkierung (path label) von v;α= pathlabel(v) notiereα¯:= v (als “Invertierung” von pathlabel:¯ =pathlabel−1) Definition 18
ein Stringαkommt vor in ST(S), g.d.w. es gibt einβ∈A˜∗, so dassαβ¯ ein Knoten von ST(T) ist
(d.h.αβ¯ ist Pfadmarkierung eines Knoten) Definition 19
ein Stringαendet inα¯oder in einer Kanteβ,¯ βγδ¯ mitα=βγ
Stefan Posch, Institut für Informatik, Uni Halle 50