KMP算法详解-next函数数学推导

最新推荐文章于 2026-04-01 14:34:31 发布

原创

最新推荐文章于 2026-04-01 14:34:31 发布 · 4k 阅读

标签

#算法 #字符串 #数据结构

KMP算法是一种用于字符串模式匹配的高效算法，由Knuth、Morris和Pratt提出。它通过构造next数组避免了BF算法在失配后的无效回溯，从而将时间复杂度降低到O(n+m)。本文详细介绍了KMP算法的思想，next数组的求解过程，以及算法优化的要点。

文章目录

简介

KMP 算法是 D.E.Knuth、J,H,Morris 和 V.R.Pratt 共同提出的，称之为 Knuth-Morria-Pratt 算法，简称 KMP 算法。主要用于解决字符串模式匹配。

一般的解法-BF算法

BF算法思想

Brute-Force算法又称做"蛮力匹配"算法，从主串S的第pos个字符开始，和模式串T的第一个字符进行比较，若相等，继续逐个比较后续字符，否则回溯到主串S的pos+1个字符重新和模式串T进行比较。以此轮推，直到匹配成功，或者退出循环匹配失败。

图解

如初始化pos=0，S串和T串如下
在这里插入图片描述
比较i指针指向的字符和j指针指向的字符是否一致。如果一致就都向后移动，如果不一致，如下图：

A和E不相等，那就把i指针移回第1位（假设下标从0开始），j移动到模式串的第0位，然后又重新开始这个步骤：
在这里插入图片描述
直到匹配成功或退出循环。

程序代码

public static int bf(String S,int pos ,String T) {
   
   
	int i = pos; // 主串的位置
    int j = 0; // 模式串的位置
    while (i < S.length() && j < T.length()) {
   
   
   		if (S.charAt(i) == T.charAt(j)) {
   
    // 当两个字符相同，就比较下一个
            i++;
            j++;
   		} else {
   
   
            i = i - j + 1; // 一旦不匹配，i后退
            j = 0; // j归0
        }
    }
    if (j == T.length()) {
   
   
        return i - j;
    }
    else {
   
   
       return -1;
    }     
}