KMP算法及next数组的理解

依稀记得最开始接触数据结构的时候kmp算法就如天书一般，但后面学习了算法，又重新温习了一遍，发现好像也并没有想象中的那么难。
kmp算法事为了快速解决字符串模式匹配问题而引入的，由此不得不叹息计算机前人的智慧呀，反正我是打死都想不到。
比如，给你一两个字符串，一个作为主串，一个作为模式串
A=”abcaabababaa”
B=”abab”
显然，最朴素的想法当然是一位位匹配，如果哪边失配了，直接在从头开始匹配，这样匹配的复杂度为O（nm），因为一直从头比较，所以效率很低，没有充分利用好已知的信息。
我们先来介绍两个概念
前缀：指的是字符串的子串中从原串最前面开始的子串，如abcdef的前缀有：a,ab,abc,abcd,abcde
后缀：指的是字符串的子串中在原串结尾处结尾的子串，如abcdef的后缀有：f,ef,def,cdef,bcdef
KMP算法引入了一个next数组，next[i]表示的是前i个（不包含i）字符组成的这个子串最长的相同前缀后缀的长度！
如果当前字符匹配成功（即S[i] == P[j]），则i++，j++，继续匹配下一个字符；
如果失配（即S[i]! = P[j]），令j = next[j]，相当于j回溯（也就是模式串往右移）。
下面给出一个匹配的例子。

其实确定了next数组的值后，kmp算法就变得十分简单了。下面重点介绍next数组的求解。
求next数组时，倘若j失配，此时j = next[j]，就相当于模式串也成为了它自己的主串，类似上面那个思想，我们可以简便的求出next数组。
下面贴出代码

void GetNext()
{
    int slen=strlen(s);
    //next[0]=-1;
    int k=-1;
    int j=0;
    next[0]=-1;
    while(j<slen)
    {
        if(k==-1||s[j]==s[k])//k为前缀,j为后缀 
        {
            ++k;
            ++j;
            next[j]=k;
        }
        else
            k=next[k];
    }
}

int Kmp()
{
    int i = 0,j = 0;
    int slen = strlen(s);
    int plen = strlen(p);
    while(i<slen&&j<plen)
    {
        if(j==-1 || s[i]==p[j])//匹配成功 
        {
            i++;
            j++;
        }
        else
        {
            j = next[j];
        }
    }
    if(j==plen)
        return i - j;
    else
        return -1;

}

希望对你有帮助！