摘要：引理：$s[1,i]$ 具有长度为 $len$ 的循环节的充要条件是：$len\ |\ i，s[1,i len]=s[len+1,i]$。 代码如下 阅读全文

摘要：引理：当计算第 $i$ 位的失配指针时，若 $j_0$ 是一个候选条件，那么小于 $j_0$ 的最大候选条件是 $fail[j_0]$。 证明：反证法。假设存在 $j_1$，使得$fail[j_0] using namespace std; int main() { ios::sync_with_s 阅读全文