Algorithmen und Datenstrukturen

Algorithmus von Knuth-Morris-Pratt(2/5):
� Problem: Bestimmen des Distanzfeldes dis.
� Notwendig: Überprüfung des Musters auf sich wiederholende
Teilmuster s[0]...s[j]. Findet sich eine Wiederholung des Umfanges j≥0
links vom kritischen Vergleichsindex k, d.h. ist s[k-1-j] ...s[k-1] gleich
s[0]...s[j], so kann der Vergleich s[0]...s[j] ausgelassen werden. D.h. k
kann gleich j+1 gesetzt werden.
Beispiel:
a
0 1 2 3 4 5 6 7
i=0..4, k=0..4 s A B C A A B
8 9 10 11 12 13 14
A B C A B A B A B C A A B A B
s[0]...s[0] ist gleich s[k-1-0]...s[k-1]=s[3]
=> Verschieben auf k = j+1 = 0+1 = 1
s A B C A A B
k =1 ist zugleich der Index für
den nächsten Vergleich!
21/47