算法训练Day9| LeetCode28. 找出字符串中第一个匹配项的下标（KMP算法）

 链接：28. 找出字符串中第一个匹配项的下标 - 力扣（LeetCode）

KMP算法理论基础知识

💡 KMP的经典思想就是:当出现字符串不匹配时，可以记录一部分之前已经匹配的文本内容，利用这些信息避免从头再去做匹配。

1. 什么是KMP

说到KMP，先说一下KMP这个名字是怎么来的，为什么叫做KMP呢。

因为是由这三位学者发明的：Knuth，Morris和Pratt，所以取了三位学者名字的首字母。所以叫做KMP

2.KMP有什么用

KMP主要应用在字符串匹配上。

KMP的主要思想是当出现字符串不匹配时，可以知道一部分之前已经匹配的文本内容，可以利用这些信息避免从头再去做匹配了。

所以如何记录已经匹配的文本内容，是KMP的重点，也是next数组肩负的重任。

Example: 要在文本串：aabaabaafa 中查找是否出现过一个模式串：aabaaf。

可以看出，文本串中第六个字符b 和 模式串的第六个字符f，不匹配了。如果暴力匹配，会发现不匹配，此时就要从头匹配了。

但如果使用前缀表，就不会从头匹配，而是从上次已经匹配的内容开始匹配，找到了模式串中第三个字符b继续开始匹配，前缀表的作用就是在不匹配的时候，告诉你下一个应该跳去什么位置继续匹配。

3. 什么是前缀表？

next数组就是一个前缀表（prefix table）。

前缀表有什么作用呢？

前缀表是用来回退的，它记录了模式串与主串(文本串)不匹配的时候，模式串应该从哪里开始重新匹配。

前缀表是啥？

记录在模式串中下标i之前（包括i）的字符串中，每个位置的最长相等前后缀。

最长相等前后缀的概念是啥？

字符串的前缀：是指不包含最后一个字符的所有以第一个字符开头的连续子串；

后缀：是指不包含第一个字符的所有以最后一个字符结尾的连续子串；

前缀表要求的就是相同前后缀的长度，此时就要问了前缀表是如何记录的呢？

"aabaaf" 
# 前缀包含 a;aa;aab;aaba,aabaa
# 后缀包含 f;af;aaf;baaf;abaaf;
# 所以它的最长相等前后缀长度为0

"a" #无前缀无后缀，最长相等前后缀长度为0
"aa" # 最长相等前后缀长度为1
"aab" # 最长相等前后缀长度为0
"aaba" # 最长相等前后缀长度为1
"aabaa" # 最长相等前后缀长度为2

人工从肉眼看，模式串“aabaaf”的前缀表是[ 0,1,0,1,2,0 ]

4. 前缀表的信息为啥就可以带我们跳去正确的地方？