The string search algorithm by Knuth, Morris and Pratt.
Fabian HellauerPeter LammichPublished in: Arch. Formal Proofs (2017)
Keyphrases
- search algorithm
- string matching
- search space
- edit distance
- pattern matching
- search methods
- regular expressions
- search tree
- data structure
- heuristic search
- search strategy
- branch and bound
- path finding
- selection algorithm
- constraint satisfaction problems
- search problems
- proximity graph
- binary strings
- arbitrary length
- database
- hill climbing
- artificial intelligence
- data mining
- real world
- neural network
- databases
- real time