KMP 与字典树

KMP 算法

概述

KMP 算法全称是 Knuth-Morris-Pratt 字符串查找算法，是用于在一个字符串（匹配串）中查找另一个字符串（模式串）的快速算法

KMP算法会在匹配前预处理模式串 $P$ 得到 fail 数组, 借助 fail 数组，可以在匹配过程中减少很多冗余的操作，时间复杂度 ： $\mathcal{O}(n+m)$, 其中， $n$ 和 $m$ 是两个串的长度

算法流程

fail 数组的预处理

KMP 算法的核心是 fail 数组，对于字符串 $s=s_0,s_1,s_2,\dots ,s_{n-1}$ ，如果 $j$ 满足 $s_{0\dots i}=s_{i-j\dots i}$ 的最大值，则 $fail[i]=j$ 注意：$j\le i$ 其中，$s_{a\dots b}$ 表示字符串 $s$ 从 $a$ 号位到 $b$ 号位的子串

对于不存在 $s_{0\dots i}=s_{i-j\dots i}$ 的最大值，fail[i] = -1

对于字符串 “aababaab” 则 fail 值如下：

匹配过程

对于上面的过程，当 a 和 ? 比较时失败了，那么我们要把母串的起始位置移动到下一个位置，对于 $2$ 指向的匹配，这时候我们没必要从头开始比较，因为我们知道 fail[i] = 1 如果红色块可以完美匹配，那么应该等于 $4$ , 第 $3$, $4$ 次也是同理，所以直接跳到匹配 %5%

这就是 KMP 的本质：利用已经计算过了的信息加速匹配过程

代码

#include <iostream>
#include <cstring>
using namespace std;
const int maxn = 100;
int fail[maxn];
void getFail(char *P) {
   
    int m = strlen(P);
    fail[0] = -1;
	for (int i = 1; i < m; ++i) {
   
    	int j = fail[i - 1];
        while (j >= 0 && P[j + 1] != P[i]) {
   
            j = fail[j];
        }
        if (P[j + 1] == P[i]) {
   
            j++;
        }
        fail[i] = j;
    }
}
int KMP(char *T, char *P) {
   
    int n = strlen(T), m = strlen(P);
    int j = -1;
    for (int i = 0; i < n;