算法重新出发：1.KMP字符串匹配算法

算法重新出发：1.KMP字符串匹配算法

自从前年疫情之后再没怎么刷题了，现在打算开始准备找实习找工作之类的，记录一下每天的进度。目前是在leetcode上刷题，每刷到忘记的知识点相关题会写一篇新的博客

• leetcode 28. 实现 strStr()

class Solution {
public:
    int strStr(string haystack, string needle) {
        int len1 = haystack.length(), len2 = needle.length();
        if(len2==0) return 0;
        if(len1==0) return -1;
        int next[len2];
        int j = 0, k = -1;
        next[0]=-1;
        while(j<len2-1){
            if(k == -1 || needle[j] == needle[k]) next[++j] = ++k;
            else k = next[k];
        }
        int h = 0, i = 0;
        while(i < len1 && h < len2) {
            if(h==-1 || haystack[i] == needle[h]) {
                i++;
                h++;
            }
            else h=next[h];     
        }
        if(h >= len2) return (i-len2);
        else return (-1);               
    }
};

KMP 算法主要是通过记录并运用模式串的重复部分消除主串指针的回溯来提高匹配的效率的。
对于每模式串 t 的每个元素 $t_j$，都存在一个实数 $k$ ，使得模式串 $t$ 开头的 $k$ 个字符（$t_0,t_1\dots t_{k-1}$）与 $t_j$ 前面的 $k$个字符（$t_{j-k},t_{j-k+1}\dots t_{j-1}$)相等，取最大的$k$放入$next$数组中，记$next[j]=k$。

$next$数组的赋值过程如下

int next[len2];
        int j = 0, k = -1;
        next[0]=-1;
        while(j<len2-1){
            if(k == -1 || needle[j] == needle[k]) next[++j] = ++k;
            else k = next[k];
        }

$k$为$-1$即代表从头开始匹配

很容易就能理解if(needle[j] == needle[k]) next[++j] = ++k;

如图当模式串下标为$k-1$的字符和下标为$j-1$的字符相等的时候，$next[j]$值为$k$，（意思是$j$的前$k$个字符与开头$k$个字符相匹配，由于下标从0开始所以这里用到的是$k$而非$k-1$，由于是$j$的前$k$个字符不包含下标为$j-1$的字符本身，所以给$next[j]$赋值）并且继续比较模式串下标为$k$的字符和下标为$j$的字符

那么if(needle[j] ！= needle[k])k = next[k]; 是从哪来的呢？
由于不匹配，如图若比较模式串下标为$j$的字符和下标为$k$的字符，发现不匹配，将$next[k]$赋值给$k$，不改动$j$和$k$，因为$next$数组不包含本身的比较，所以下一次还要再判断模式串下标为$j$的字符和改动后下标为$k$的字符是否匹配