代码随想录第38期Day9

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

前言

今天是跟着代码随想录刷题的第十天，今天主要解决一个比较困难的问题，KMP算法。

总结

KMP（Knuth-Morris-Pratt）算法是一种用于在文本中查找模式（子字符串）的高效字符串匹配算法。它的关键在于利用匹配失败时已经获得的信息来避免重复的比较。KMP算法的时间复杂度为O(n + m)，其中n是文本的长度，m是模式的长度。

KMP算法的核心思想包括两个部分：前缀函数（或部分匹配表）和主匹配过程。

1. 前缀函数（部分匹配表）
   前缀函数用于记录模式字符串中每个位置之前的最长相等的前缀和后缀的长度。这些信息帮助KMP算法在匹配失败时，直接跳到模式的一个合适位置继续匹配，而不是从头开始。
   前缀函数的计算方法如下：
   设模式字符串为P，长度为m。
   定义前缀函数数组π，其中π[i]表示P[0:i]的最长相等前缀和后缀的长度。
   初始化π[0] = 0。
   对于i从1到m-1，逐个计算π[i]：
   如果P[i] == P[j]，则π[i] = j + 1，其中j是π[i-1]的值。
   否则，调整j的值为π[j-1]，继续比较，直到找到匹配或j为0。

2. 主匹配过程
   主匹配过程使用前缀函数来进行高效匹配：
   设文本字符串为T，长度为n。
   使用两个指针i和j分别指向文本和模式的当前字符位置，初始时i=0，j=0。
   当T[i] == P[j]时，两个指针同时向前移动。
   当匹配失败（即T[i] != P[j]）时：
   如果j不为0，利用前缀函数数组π调整j的值为π[j-1]，然后继续匹配。
   如果j为0，直接将i向前移动一位。
   如果j达到模式的长度m，则匹配成功，记录匹配的位置并将j调整为π[j-1]，继续匹配。
   通过前缀函数和主匹配过程的配合，KMP算法避免了不必要的重复比较，从而提高了匹配效率。