KMP模板

pre数组

前缀数组是什么？ 
设pre数组为模式串的前缀数组，pre[i]表示串s[1…i]的最长前缀的长度。（前缀数组不能是整个数组） 
如果pre[i]=j,则串s[1…i]的后j个字符组成的串s[i-j+1…i]与前j个字符组成的串s[1…j]相等。 
为什么求前缀数组？ 
当前模式串匹配了第i个字符，如果模式串第i+1个字符与主串的第k个不匹配，那么我们要再找一个字符去比较判断是否与第k个匹配，因为s[1…j]=s[i-j+1…i],所以我们要找的这个字符就是模式串的第j+1个字符。 
怎么求前缀数组？ 
用第i-1个字符的前缀数组值去递推第i个字符的前缀数组值。 
设j为上一个字符的前缀数组值,模式串为s。 
如果s[i]=s[j+1],那么s[1…j+1]=s[i-(j+1)+1…i].根据前面pre数组的定义，可知pre[i]=++j. (++j的写法是为了使j始终是上一个字符的前缀数组值）。 
如果s[i]!=s[j+1]呢？那么我们令J=pre[j],s[1…J]也是s[1…i]的一个前缀，但不是最长前缀。既然这个前缀不行，那么我就换一个短一点的前缀。大不了前缀为空嘛（j=0).

KMP

设j为已经匹配的字符的个数。主串为z，模式串为s。 
枚举主串字符去与模式串匹配，如果主串第i个字符与模式串的第j+1个字符不匹配，那么我们要找另一个字符去与主串第i个字符尝试匹配，这个字符就是第pre[j]+1个。

最小循环节

什么是最小循环节？ 
对于字符串a，如果a可以由字符串b循环构成，那么字符串b是a的一个循环节。长度最小的循环节就是最小循环节。 
怎么求最小循环节？ 
设ans为最小循环节长度，len为字符串s的长度(字符串的下标从1开始），pre数组为s的前缀数组。 
ans=len-pre[len].

int pre[maxn];
void getPre()
{
    int j=0;
    memset(pre,0,sizeof(pre));
    for(int i=2;i<=m;i++)//模式串长度为m
    {
        while(j>0 && s[j+1]!=s[i])
            j=pre[j];
        if(s[j+1]==s[i])
            j++;
        pre[i]=j;
    }
}
char z[maxn],s[maxn];
bool KMP()
{
    int j=0;
    for(int i=1;i<=n;i++)
    {
        while(j>0 && z[i]!=s[j+1])
            j=pre[j];
        if(z[i]==s[j+1])
            j++;
        if(j==m) return true;
    }
    return false;
}