A new problem in string searching

George Havas,Jin Xian Lian
DOI: https://doi.org/10.48550/arXiv.math/9406206
1994-06-15
Abstract:We describe a substring search problem that arises in group presentation simplification processes. We suggest a two-level searching model: skip and match levels. We give two timestamp algorithms which skip searching parts of the text where there are no matches at all and prove their correctness. At the match level, we consider Harrison signature, Karp-Rabin fingerprint, Bloom filter and automata based matching algorithms and present experimental performance figures.
Group Theory
What problem does this paper attempt to address?