数据结构模式匹配——KMP算法

在两个字符串S[i]与T[j]中i可以不回溯，模式向右滑动到新比较起点k，并且k仅与模式串T有关。
因此可以先看一下我之前通过看网课写的一篇KMP算法的基本解释
令k=next[j]，则：
next[j]=-1（j==0）
next[j]=max{k|0<k<j且T0…Tk-1=Tj-k+1…Tj-1}
next[j]=0(其他情况)
next[j]函数象征着模式T中最大相同前缀字串和左字串的长度。
这里有个很好的小例子

next[j]的算法分析

k=next[j-1];
while(k!=-1)&&(t[k]!=t[j-1])
k=next[k];
next[j]=++k;
next[j]的算法分析：
k=next[j-1]（由next[的定义可以知道：t0t1…tk-1=tj-k…tj-3tj-2）
1.如果t[k]t[j-1]或k-1（不存在长度相同的前缀字串和左字串）
则则t0t1…tk-1tk= tj-k…tj-3tj-2tj-1，因此
next[j]=k+1，next[j]计算结束
否则， 查找t0t1…tk的最长左子串
k=next[k]，转 1 继续执行

否则查找t0t1…tk的最长左字串
k==next[k]，转1继续执行


1. 在串S和串T中分别设比较的起始下标i和j；
2. 循环直到S中所剩字符长度小于T的长度或T中所有字符均比较完毕
2.1 如果S[i]==T[j]，继续比较S和T的下一个字符；否则
2.2 将j向右滑动到next[j]位置，即j=next[j]；
2.3 如果j=-1，则将i和j分别加1，准备下一趟比较；
3. 如果T中所有字符均比较完毕，则返回匹配的起始下标；否则返回-1；