KMP算法详解：字符串匹配与next数组构建

1. 算法背景与问题定义

字符串匹配是计算机科学中的经典问题，KMP算法由Knuth、Morris和Pratt三位学者在1977年联合提出，解决了传统暴力匹配算法在最坏情况下时间复杂度偏高的问题。洛谷P3375题目正是要求我们实现这个经典算法，并额外计算模式串的next数组。

在实际编程竞赛和工程应用中，KMP算法的高效性使其成为处理文本搜索、DNA序列比对、代码查重等场景的首选方案。以IDE的代码搜索功能为例，当我们在百万行代码库中查找特定模式时，KMP算法能保证稳定的线性时间复杂度。

2. 核心原理深度解析

2.1 部分匹配表（next数组）构建

next数组的本质是预处理模式串的自相似性信息。对于模式串"ABABC"，其next数组构建过程如下：

1. 初始化next[0] = -1，next[1] = 0
2. 比较位置i=2的'A'与前缀：
   • 前一个字符'B' != 当前前缀'A'，next[2]=0
3. 位置i=3的'B'：
   • 前一个字符'A' == 首字符'A'，next[3]=1
4. 位置i=4的'C'：
   • 前一个字符'B' == 第二字符'B'，next[4]=2

关键点在于理解：next[i]表示当模式串第i位匹配失败时，可以直接跳转到该位置继续匹配，避免回溯。

2.2 匹配过程优化

传统暴力匹配在最坏情况下（如主串"AAAAAA"，模式串"AAAAB"）时间复杂度为O(mn)。KMP算法通过next数组将时间复杂度降为O(m+n)，其核心优化在于：

• 失配时，主串指针不回溯
• 模式串根据next数组跳跃
• 每次匹配至少推进主串或模式串中的一个指针

3. 算法实现细节

3.1 C++标准实现

cpp复制void computeNext(const string& pattern, vector<int>& next) {
    next[0] = -1;
    int i = 0, j = -1;
    while (i < pattern.length()) {
        if (j == -1 || pattern[i] == pattern[j]) {
            next[++i] = ++j;
        } else {
            j = next[j];
        }
    }
}

int kmpSearch(const string& text, const string& pattern) {
    vector<int> next(pattern.length() + 1);
    computeNext(pattern, next);
    
    int i = 0, j = 0;
    while