Rabin-Karp：滚动散列计算将一个大素数添加到先前计算的散列中

Question

我想我在概念上理解使用滚动哈希的 RabinKarp 模式匹配算法。在通过示例实现here 时，我发现一个大素数q 被添加到先前计算的滚动哈希中。

for (int i = m; i < n; i++) {
            // Remove leading digit, add trailing digit, check for match. 
            txtHash = (txtHash + q - RM*txt.charAt(i-m) % q) % q; //Why +q here?
            txtHash = (txtHash*R + txt.charAt(i)) % q; 

            // match
            int offset = i - m + 1;
            if ((patHash == txtHash) && check(txt, offset))
                return offset;
        }

我不确定为什么需要这样做。我能得到一些帮助吗？

在我的有限测试中，无论是否包含q 术语，我都得到相同的结果。

这是否与正在实施的算法版本（蒙特卡洛/拉斯维加斯）有关？

Answer 1

+q 是为了避免处理负数。

我们希望 txtHash 始终位于区间 [0;q[ 中，没有此 +q 它也可能位于 ]-q;0[ 中。

这可能会导致模式丢失。例如，如果 patHash = 0xdead 但您计算 txtHash = -q+0xdead。这两个值在数学上是相等的 mod q 但与采用 Java 的 % q 不同。