字符串搜索中的一个新问题
A new problem in string searching
摘要：
我们描述了一个子串搜索问题，出现在组演示简化过程。我们建议一个两级搜索模型：跳过和匹配水平。我们给出了两个时间戳算法，跳过搜索部分的文本中没有匹配，并证明了它们的正确性。在匹配层，我们考虑了Harrison签名，Karp-Rabin指纹，Bloom滤波器和自动机匹配算法，并给出了实验性能数据。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
