KMP算法

关于我被折磨疯了这件事——代码要常看，不然总是似懂非懂

---

首先，我们来看看朴素的匹配算法，真的到做题的时候，真的只能想到这个方案，我表示很难过

朴素匹配算法

主串：ababaaabae

子串：bae

从第一个位置开始匹配，由上图，匹配失败，然后i+1

然后发现匹配成功，所以i+1+1，j+1。

然后发现b！=e，（画图略）

所以，下一位匹配的时候j又变回第一位0，这个时候i也要回溯一下，回到原来的位置+1，变成这样·~

然后依次类推，匹配到最后，就是朴素匹配的，正常应该都能看懂。

int index(String S,String T){
//返回的数为匹配成功的首位置例如，母串abc 子串bc，所以返回的是下标1
    int i=1,j=1;        
    while(i<=S[0] && j<= T[0]){
            if(S[i] == T[j])
            {  
                i++;
                j++;
            }
            else {
                i=i-j+2;
                j=1;
            }
    }
    if(j > T[0])
        return i-T[0];
    else 
        return 0;
}

但是我们不能只追求于朴素匹配算法，我们要向往更高层次。

---

KMP匹配算法

主串：ab abaaaba ababccc

子串：ab abaaaba x

区分为朴素匹配的话，朴素匹配中我们在回溯的时候是直接回溯到子串的头部，但是我们的kmp匹配的话，不是匹配到头部，而是尽可能的短的匹配。例如我们在ababaaaba中，假设我们已经匹配到前面ababaaaba是符合情况的，那么也就是说我们可以知道我们的aba依旧是我们的头部的情况，也就是我们在进行匹配的时候是不需要再重新从头开始，而是从aba后面的位置开始。如下图

那么我们就可以发现，我们最主要的就是回溯的次数不一样，朴素算法是全部回溯的情况，而kmp算法主要从回溯的次数的减少，去改变我们我们算的次数，改变我们的复杂度，这就是优化模型。

那么我们应该怎么知道这个回溯的次数呢？

我们可以发现我们回溯的次数，主要是和我们子串自己的的相似度有关，也就是说，其实就是看我们的子串前面有多少重合的数是多少，敲重点了，就是这个位置是重点，与前面重合的数。

因此我们要求的是我们要回溯的次数数组Next（）；

---

首先我们来上一下程杰的《大话数据结构的代码》

/* 通过计算返回子串T的next数组。 */
void get_next(String T, int *next) 
{
    int i,k;
      i=1;
      k=0;
      next[1]=0;
      while (i<T[0])  /* 此处T[0]表示串T的长度 */
     {
        if(k==0 || T[i]== T[k]) 
        {
              ++i;  
            ++k;  
            next[i] = k;
        } 
        else 
            k= next[k];    /* 若字符不相同，则k值回溯 */
      }
}

然后是我们的代码数据

然后我们再看一看我们的一步一步数据

大概依次类推吧，这边建议自己推一下，因为我发现到后面颜色更多就更乱了，我感觉看到这里估计不少朋友已经头很大了，但是还是建议自己推一下，这里的回溯位置就是我们的next数组，要回溯的次数。我自己看懵了的地方是在第六步的时候。用代码往回推才理解的。

因为吧-》首先，我们的k到第四的位置，发现不符合情况，然后就跳会next（k）

依旧是蓝色的位置，第四行，然后我们的k就变成2了我们在匹配的时候拿的是

粉红色的a和蓝色的b，最主要是已经粉红色的a前面也有一个a，蓝色的b前面也有一个a，所以从匹配的角度讲，他们的前一个数是匹配的。 所以才跳到了k==2的位置。

（重点）

然后发现a！=b，所以继续回溯，跳到了1的位置。然后再依次类推。

---

好了讲完了，废话真多，我尽量缩短了，但是真的要多看看代码，也就是半年没看了吧，完全忘了这个算法，感觉自己已经用最简洁的语言讲这个了。

但是还是要自己多写代码，实操大于一切，我也要去实操一下这块代码了。

哎~头大大大大大

---

推荐 程杰《大话数据结构》