字符串匹配算法——KMP算法学习

　　KMP算法是用来解决字符串的匹配问题的，即在字符串S中寻找字符串P。形式定义：假设存在长度为n的字符数组S[0...n-1]，长度为m的字符数组P[0...m-1]，是否存在i，使得S_iS_i+1...S_i+m-1等于P₀P₁...P_m-1，若存在，则匹配成功，若不存在则匹配失败。该问题经常出现在编辑器中，即常用的find或ctrl-F命令，所以字符串匹配算法的复杂度直接影响编辑器的效率。

　　首先考虑朴素字符串匹配的方法。其思想是：循环以字符数组S中的每一个字符作为起点，与字符数组P进行匹配。其代码如下所示：

 1 int naiveStrMatch(char* s, char* p) {
 2     int i, j;
 3     int n = strlen(s), m = strlen(p);
 4     for(i=0; i<(n-m+1); i++) {
 5         for(j=0; j<m&&s[i+j]==p[j]; j++);
 6         if(j == m)
 7             return i;
 8     }
 9     return -1;
10 }

　　上面代码只返回首次匹配成功时，字符数组S的起点下标。在遍历数组S时，做了一步小的优化，即起点只能出现在[0...n-m]里。

　　假设进行下面的匹配：

S0	S1	...	Si-j	Si-j+1	...	Si-1	Si	...	Sn-1
			P0	P1		Pj-1	Pj

　　当S_i与P_j不匹配，即S_i≠P_j，此时根据上面的算法，S将把起点“回溯”至S_i-j+1，P将向前“滑动”一位，即下次将是S_i-j+1与P₀进行比较。

　　可以看到上面算法的复杂度为O(n*m)，其在每次匹配失败时，都将S的起点进行回溯，从而重新匹配。而KMP算法的思想是：在匹配失败时，不回溯S而只滑动P，来降低算法复杂度。

　　再次考虑上面的情况，当S_i与P_j不匹配，即S_i≠P_j时：

　　若P₀P₁...P_j-2≠P₁P₂...P_j-1时，则朴素匹配的下一步，S将把起点“回溯”至S_i-j+1，P将向前“滑动”一位，可直接跳过

　　若P₀P₁...P_j-3≠P₂P₃...P_j-1时，则朴素匹配的下下一步，S将把起点“回溯”至S_i-j+2，P将向前“滑动”两位，也可直接跳过

　　直到P₀P₁...P_k-1=P_j-kP_j-k+1...P_j-1时，S无需回溯，直接将P向前滑动j-k位，即S_i与P_k进行比较，这便是KMP算法的核心思想。

　　为了算法方便，可引入next[]数组来记录满足P₀P₁...P_k-1=P_j-kP_j-k+1...P_j-1的k值

　　

　　k保证最大，可确保P滑动位数j-k最小，从而确保不会移动过多，错过匹配。

　　假设已知next[]数组，KMP算法如下代码所示：

 1 int KMPStrMatch(char* s, char* p, int* next) {
 2     int i, j;
 3     int n = strlen(s), m = strlen(p);
 4     /*for循环保证S不回溯*/
 5     for(i=0, j=0; i<n; i++) {
 6         /*当s[i]!=p[j]时，只滑动p至p[next[j]]*/
 7         while(j>=0 && s[i]!=p[j])
 8             j = next[j];
 9         /*j++表示比较下一位*/
10         if(j==-1 || s[i]==p[j])
11             j++;
12         /*返回匹配成功的起点*/
13         if(j == m)
14             return i-m+1;
15     }
16     return -1;
17 }

　　接下来，问题将转换为如何求next[]数组。

　　方法一：直接根据上述定义来求，即对于每一个j，使K从j-1到1依次遍历，若满足P₀P₁...P_k-1=P_j-kP_j-k+1...P_j-1，则break，并记录k值，具体代码如下：

 1 void getNext1(char* p, int* next) {
 2         int i, j, k;
 3         int m = strlen(p);
 4         next[0] = -1;
 5         for(j=1; j<m; j++) {
 6                 for(k=j-1; k>0; k--) {
 7                         for(i=0; i<k&&p[i]==p[j-k+i]; i++);
 8                         if(i == k)
 9                                 break;
10                 }
11                 next[j] = k;
12         }
13 }

　　方法二：将next[]数组的求解问题转换为KMP字符串匹配问题，然后使用递归的方式求解

　　假设已知next[j]=k，求next[k+1]，其计算过程如下图所示

P0	P1	...	Pj-k	Pj-k+1	...	Pj-1	Pj	Pj+1
			P0	P1	...	Pk-1	Pk

　　因为next[j]=k，所以P₀P₁...P_k-1=P_j-kP_j-k+1...P_j-1

　　若P_k=P_j，则P₀P₁...P_k-1P_k=P_j-kP_j-k+1...P_j-1P_j，所以next[j+1]=k+1

　　若P_k≠P_j，则该问题可类比于KMP字符串匹配问题，上图中第一行相当于字符串S，第二行相当于字符串P，此时S不回溯，只对P向前滑动，即滑动到P_next[k]与P_j来进行比较，所以可递归的令k=next[k]，直到P_k=P_j时，next[j+1]=k+1

　　将上述思想转换为代码如下：

 1 void getNext2(char* p, int* next) {
 2         int j, k;
 3         int m = strlen(p);
 4         next[0] = -1; next[1] = 0;
 5         k = 0;
 6         for(j=1; j<m; j++) {
 7                 while(k>=0 && p[k]!=p[j])
 8                         k = next[k];
 9                 k++;
10                 next[j+1] = k;
11         }
12 }

　　至此，KMP算法的完整思想学习完毕。

 

KMP算法中next[]数组的其它应用：参考HDU 1358

　　题意：字符串S，若其某个前缀满足A^k，即前缀有k个字符串A连接而成，则输出前缀的长度和k。若某个前缀可有多个满足，则只输出最大的k

　　解决：假设A的长度为i，若长度为j的前缀满足A^k，即P₀P₁...P_i-1P_iP_i+1...P_2i-1......P_(k-1)iP_(k-1)i+1...P_ki-1P_j，此时j=k*i，根据上面的定义，可以知道next[j]=(k-1)*i，所以字符串A的长度i=j-next[j]，k=j/i，且j%i==0

　　如何证明此时的循环次数k为最大？使用反证法即可，若有更大的k，再推导出已知不成立

　　所以本题的代码如下：

 1 #include<stdio.h>
 2 
 3 char s[1000005];
 4 int next[1000005];
 5 
 6 void get_next(int n){
 7     int i, j, k;
 8     next[0] = -1; next[1] = 0;
 9     k = 0;
10     for(j=1; j<n; j++) {
11         while(k >= 0 && s[j]!= s[k])
12             k = next[k];
13         k++;
14         next[j+1] = k;
15     }
16 }
17 
18 int main() {
19     int case_num = 0, n;
20     int i, j, k;
21     scanf("%d", &n);
22     while(n) {
23         getchar();
24         case_num++;
25         scanf("%s", s);
26         printf("Test case #%d\n", case_num);
27         get_next(n);
28         for(i=2; i<=n; i++) {
29             j = i - next[i];
30             k = i/j;
31             if(i%j == 0 && k > 1) {
32                 printf("%d %d\n", i, k);
33             }
34         }
35         printf("\n");
36         scanf("%d", &n);
37     }
38     return 0;
39 }

 

 

 

 

 

转载于:https://www.cnblogs.com/zghaobac/p/3419451.html