寒假自学数据结构打卡 Day5 串的模式匹配算法

寒假自学数据结构打卡 Day5 串的模式匹配算法

​ 先吐槽一句，KMP算法我看了大半天也没全搞明白，提出这个算法的人简直太巨了。

BF算法

​ BF是 $Brute$ $Force$ 的英文缩写，即暴力算法。虽然看上去高大上，实际上就相当于穷举法。

​ 我们要在串S中识别到模式串T，那么可以依次对S串中连续的字符数与T相等的字串与模式串T进行比较。图示如下

​ $S$ $ababcabcacbab$

​ $T$ $abcac$

我们从S第i个字母开始的三个字符比较A的第j个字母，初识时i=1，j=1。匹配不成功则i回溯到下一个位置，j回溯到1。(为方便计数，我们默认数组的0号位置不存储元素，从1开始)

int i=1,j=1;
while(i<=S.length&&j<=T.length)
{
     if(S.ch[i]==T.ch[j]){j++;i++;}
     else {i=i-j+2;j=1;}
}
if(j>T.length)return i-T.length;
else return 0;

这种算法的时间复杂度为$O(mn)$，$m$是S的字符数，$n$是A的字符数。

KMP算法

​ BF算法优点是简单易懂，缺点是效率不高。三位科学家一起提出了以他们名字首字母命名的 $KMP$算法。KMP算法的时间复杂度仅为O(m+n)

​ 我个人觉得这个算法特别难，看网课也看不大懂，所以很长时间没有头绪。但后来偶然发现了B站一个视频恍然大悟，视频的网址为 https://www.bilibili.com/video/BV1jb411V78H?from=search&seid=10551602394593432710。虽然他没讲什么深入的东西，但对于理解来说是十分有用的。

​ 简单来说，就是当模式串遇到不匹配情况时，把不匹配处之前的模式串进行平移，使得相同的字符最长前缀移动到字符最长的后缀位置。可以证明，移动过程中不会出现匹配的情况。

​ 每次遇到不匹配的情况时，我们都要移动模式串到某个位置再比较。实际上就是对于每个不匹配点，都找一个模式串的点与主串当前点进行比较，我们用next数组来存储这些对应的模式串的点。

​ 由于我并没有完全学懂，所以我只能讲一下原理并用next数组给出一个代码，至于求next数组，只能放到以后再学了。

//1<=pos<=s.length
i=pos;j=1;
while(i<=s.length&&j<=t.length)
{
    if(j==0||s[i]=T[j]){++i;++j;}
    else j=next[j];
}
if(j>T[0])return i-T[0];
else return 0;

​ 暂时不更新了…我先练练前面的内容