数据结构-KMP【串匹配】

数据结构-KMP
重点就是对模式串next数组的理解：
比如已经知道ababab，q=4时，next[4]=2（k=2，表示该字符串的前5个字母组成的子串ababa存在相同的最长前缀和最长后缀的长度是3，所以k=2,next[4]=2。
重点是程序根据目前的结果怎么算next[5]的，
那么对于字符串ababab，我们计算next[5]的时候，此时q=5, k=2（上一步循环结束后的结果）。那么我们需要比较的是s[k+1]和s[q]是否相等，其实就是str[1]和str[5]是否相等！
为啥从k+1比较呢，因为上一次循环中，我们已经保证了str[k]和str[q]（注意这个q是上次循环的q）是相等的（这句话自己想想，很容易理解），所以到本次循环，我们直接比较str[k+1]和str[q]是否相等（这个q是本次循环的q）。
如果相等，那么跳出while()，进入if()，k=k+1，接着next[q]=k。即对于ababab，我们会得出next[5]=3。 这是程序自己算的，和我们观察的是一样的。
如果不等，我们可以用”ababac“描述这种情况。
不等，进行k=next[k]，这句话是说，在s[k + 1] != s[q]的情况下，我们往前找一个k，使s[k + 1]==s[q]，一旦s[k + 1] != s[q]，即在后缀里面找不到时，我是可以直接跳过中间一段，跑到前缀里面找，next[k]就是相同的最长前缀和最长后缀的长度。所以，k=next[k]就变成，k=next[2]，即k=0。此时再比较s[0+1]和s[5]是否相等。
关于KMP里面的算法，看书直接理解。

---

附上自己代码

#include<bits/stdc++.h>
using namespace std;
int next[1000];
void GetNext(string a)
{
    memset(next,0,sizeof(next));
    int j,k;
    j=0;
    k=-1;
    next[0]=-1;
    while(j<a.length()-1)
    {
        if(k==-1)
        {
            next[j+1]=0;
            j++;
            k=0;
        }
        else if(a[k]==a[j])
        {
            next[j+1]=k+1;
            j++;
            k++;
        }
        else
        {
            k=next[k];
        }
    }
}
int KMP(string a,string b)
{
    GetNext(b);
    int i=0,j=0,t=0;
    while(i<a.length()&&j<(int)b.length())
    {
        if(j==-1||a[i]==b[j])
        {
            i++;
            j++;
        }
        else
        {
            j=next[j];
        }
    }
    if(j>=b.length())
        return(i-b.length());
    else
        return -1;
}
int main()
{
    string a="acabaabaabcacx";
    string b="abaabcac";
    cout<<KMP(a,b)<<endl;
    return 0;
}