KMP算法

KMP算法

计算字符串t第一次在字符串s中出现的位置的算法

最长相等前后缀

abccab 的最长相等前后缀就是ab
注意：前缀是当前字符前面的一部分子串，不包含当前字符，后缀类似。例如：abc前缀集合为{a，ab}，后缀集合为{c，bc}

假设现在有两个字符串s，t
s: a b c a b e a b c a b c
t: a b c a b c
初始时，i指向s[0], j指向t[0]

如果s[ I ] = t[ j ]， i++, j++ ，一直往后遍历，当遇到了一个不相等的字符时，

常规的暴力法是i回到之前的位置加一，j继续回到字符串t开始位置，然后继续比较。

KMP是i保持不动，让j指向0~j 最长相等前后缀的后一个位置，即j = next[ j ]，然后继续比较，这样比暴力法比较的次数要少很多

next数组：

来保存字符串t的每个[ 0, j ]区间的最长相等前后缀。
对于字符串t：a b c a b c

	0	1	2	3	4	5
next[ ]	-1	0	0	0	1	2
最长公共前后缀	-	-	-	-	a	ab

求next数组的代码

void getNext(char *t,int next[])
{
    int i = 0,j = -1,n = strlen(t);
    next[0] = -1;//第一个字符前无字符串，赋值为-1
    while(i<n-1)
    {
        if(j == -1 || t[i] == t[j])//j = -1 或比较的字符相等时
        {
            i++;
            j++;
            next[i] = j;//i和j遍历过程中相等的字符串长度即为next[i]
        }
        else//如果不相等
            j = next[j];
    }/*
    for(int i = 0; i<n; i++)
        cout<<next[i]<<" ";
    cout<<endl;*/
}

解释 j = next[j]
遍历到不相等的字符时

绿色的为遍历后相等的部分，红色即为遇到了不相等的字符

就变成了这样，到了这里应该能看出，此时j指向最长相等前后缀后一个元素， 而i指向的也是一个最长相等前后缀后面一个，此时再来比较是否相等，继续得到最长相等前后缀。如果不相等就再循环，直到j = next[ j ] = -1。

KMP算法代码

int KMP(char *s, char *t)
{
    int next[100];
    getNext(t,next);
    int i = 0,j = 0,n = strlen(s),m = strlen(t);
    while(i<n && j<m)
    {
        if(j == -1 || s[i] == t[j])
        {
            i++;
            j++;
        }
        else
        {
            j = next[j];//这里回退的思想和前面一样
        }
    }
    if(j>=m)
        return i-m;
    else
        return -1;
}