kmp算法next求解详解

原创已于 2023-04-16 11:46:47 修改 · 1.9k 阅读

32 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#算法

于 2023-03-16 22:40:31 首次发布

文章详细介绍了KMP算法中next数组的求解过程，包括‘非平凡前缀’和‘非平凡后缀’的概念，以及在求解next数组时遇到的两种情况：当p[j+1]=p[i]和p[j+1]≠p[i]时如何处理。通过代码示例和解释，帮助读者理解如何利用现有条件进行字符串匹配。

文章目录

前言
一、基本概念
二、next数组里的两种情况
总结

在这里插入图片描述

前言

相信大家在学习kmp算法时，如果会求next了，那么对于kmp算法基本就懂了，可是求解next数组的理解和求解比较困难，那么我今天就来详细的来讲解kmp算法的next的求解，此文章是建立在你对于kmp算法有一定的了解之后，而对于next的求解比较头疼的基础之上的，如果懂可以去自行了解(我之后可能会出kmp算法得完整详解)

一、基本概念

1️⃣“非平凡前缀”：指除了最后一个字符以外，一个字符串的全部头部组合。
2️⃣“非平凡后缀”：指除了第一个字符以外，一个字符串的全部尾部组合。（后面会有例子，均简称为前/后缀）
3️⃣s[ ]是模式串，即母串。
4️⃣p[ ]是模板串，即需要匹配的字符串

二、next数组里的两种情况

1.产生两种情况的原因及介绍

我们先拿一个典型的代码来做演示

for (int i = 1, j = -1; i < m; i ++ )//i从1开始是因为next第一个永远为-1，j从-1开始是为了后面下标j所在位置的next就是j所在的位置
    {
    	ne[0] = -1;
        while (j >= 0 && p[j + 1] != p[i])//j+1也是为了使j的所在位置的next就是j所在的位置
        {
        	 j = next[j]；
        }
        if (p[j + 1] == p[i]) 
        {
        	j ++ ;
        }
        next[i] = j;
    }