字符串——KMP算法

KMP

 $KMP$算法，又称模式匹配算法，能够在线性时间内判定字符串$A[1\to N]$是否为字符串$B[1\to M]$的子串，并求出字符串$A$在字符串$B$中各次出现的位置。

 首先，有一个$O(NM)$的暴力做法，尝试枚举字符串$B$中的每一个位置$i$，把字符串$A$与字符串$B$的后缀$B[i\to M]$对齐，向后扫描逐一比较$A[1]$与$B[i]$，$A[2]$与$B[i+1]$…是否相等。我们把这种比较过程称为$A$与$B$尝试进行“匹配”。

 如果你会字符串$Hash$，那么你就能自然地想到$Hash$也能做到在线性时间内求解。只需要检查字符串$A$的$Hash$值与字符串$B$的子串$A[i-N+1\to i]$的$Hash$值是否相同。

 $KMP$算法能够更高效、跟准确地处理这个问题，并且能为我们提供一些额外的信息。详细地讲，$KMP$算法分为两步。

KMP算法流程：

 1.对字符串$A$进行自我“匹配”，求出一个数组$next$，其中$next[i]$表示“$A$中以$i$结尾的非前缀(就是不包含此项)子串”与“$A$的前缀”能够匹配的最长长度，即：
$$next[i]=max(j),其中j<i并且A[i-j+1\to i]=A[1\to j]$$
 特别的，当不存在这样的$j$时，令$next[i]=0$;
 2.对字符串A和字符串B进行匹配，求出一个数组f，其中f[i]表示“B中以i结尾的子串”与“A的前缀”能够匹配的最长长度即：
$$f[i]=max(j)其中j\le i并且B[i-j+1\to$$