Algorithm Engineering „Zeichenkettensuche“

Stefan Edelkamp

Motivation

Übersicht

Brute-Force

Best-, Average- und Worst-Case

Rabin-Karp Algorithmus

In der Praxis

Algorithmus

Korrektheit

Induktives Argument

Laufzeit

Endliche (Stringerkennungs-) Automaten

Maximaler Präfix-Suffix String

Beispiellauf

Reguläre Ausdrücke

Äquivalenz Reg. Ausdruck, NFA

Erste Erkenntnisse

Matching mit NFAs

Pseudo-Code

Laufzeit

Knuth-Morris-Pratt

„Wenn hier einer Anna nass macht“

Berechnung der Fehlerfunktion

Textsuche

„Wer ‚a‘ sagt muss auch ‚b‘ sagen …“

Laufzeiten

Endliche Automaten und KMP

Boyer-Moore

„Schlechte Charaktere“

„Happy End“

Zusammenspiel der beiden Heuristiken

Best-, Average, Worst-Case

Aho & Corasick

Fehlerfunktion

Endlich ein Bild

Pseudo-Code

Laufzeit

Konstruktion eines Automatens

Schon wieder ein Bild

Laufzeit Aho-Corasick

Wild-Cards

Beweis durch Pseudo-Code

Letztes Beispiel

Probleme Aho-Corasick