【KMP】从原理上详解next数组和nextval数组

最新推荐文章于 2025-03-29 13:10:13 发布
最新推荐文章于 2025-03-29 13:10:13 发布
阅读量1.7w 收藏 318
点赞数 99
分类专栏： 算法 文章标签： 数据结构 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/coding_with_smile/article/details/125521122
版权

本文将从原理上详细解释KMP算法中的next数组以及nextval数组，尽量让大家明白它们到底在记录什么，为什么要这样算。以及现在普遍的KMP算法实现当中的next数组与前两者有何不同。篇幅较长，但尽量讲清楚。

文章目录

next数组

next数组到底在记录什么？

虽然数据结构中对next数组有定义，但并不易于理解，因此我个人对next数组进行了一个简单解释：

next数组指示了当前模式串在该位置匹配冲突（即失配，个人习惯称冲突）时，应该将模式串的哪一位与此位对齐。

这里为刚学习KMP的朋友解释一下，KMP算法进行字符串匹配时，被检索的串称为“文本串”，要检索的目标串称为“模式串”。next数组与nextval数组的求解只与模式串有关。

举个例子：
假设需要在字符串 “abaabbcabaabcac” 中查找是否存在字符串 “abaabcac”，那么 "abaabbcabaabcac"就是文本串，"abaabcac"就是模式串。

这里其它的许多详解中会直接告诉你，next数组的第一位是0，第二位是1，然后从第三位开始继续算什么的，但很少看到有解释为什么第一位一定是0，第二位一定是1。

为了解释这个问题，我们首先要搞清楚模式串的“位”是什么样的。
对“abaabcac”来说，第一个字符a就是第一位，不要受一些编程语言思维的影响认为这是第0位。

位数 1 2 3 4 5 6 7 8
模式串 a b a a b c a c

但是为了便于理解，我们假想模式串的最前面还有一个空白字符位，称为第0位，即：

位数 0 1 2 3 4 5 6 7 8
模式串 a b a a b c a c

现在，我们再来对照前面给出的定义：
next数组指示了当前模式串在该位置匹配冲突时，应该将模式串的哪一位与此位对齐。

是不是就理解为什么第一位一定是0，第二位一定是1了？
还没有？那我们再假想一个文本串加上来。

待求位：      1  2  3  4  5  6  7  8
文本串：      x  x  x  x  x  x  x  x  x  x  x  x  x  x  x  x
模式串：      a  b  a  a  b  c  a  c

现在标红的位置发生冲突，那么下一步应该让模式串的哪一位跟当前冲突的 x 位对齐呢？没错，就是第0位。也就是变成：

待求位：      1  2  3  4  5  6  7  8
文本串：      x  x  x  x  x  x  x  x  x  x  x  x  x  x  x  x
模式串：          a  b  a  a  b  c  a  c
位数：          0  1  2  3  4  5  6  7  8

所以，当模式串的第一位发生冲突时，应该将模式串的第0位与当前位置对齐，也就是next[1]=0;

继续看第二位发生冲突的情况：

待求位：      1  2  3  4  5  6  7  8
文本串：      a  x  x  x  x  x  x  x  x  x  x  x  x  x  x  x
模式串：      a  b  a  a  b  c  a  c

此时需要将模式串移动为：

待求位：      1  2  3  4  5  6  7  8
文本串：      a  x  x  x  x  x  x  x  x  x  x  x  x  x  x  x
模式串：          a  b  a  a  b  c  a  c
位数：          0  1  2  3  4  5  6  7  8

所以，当模式串的第二位发生冲突时，应该将模式串的第1位与当前位置对齐，也就是next[2]=1;

无论模式串如何变化，只要其长度大于等于2，这两种情况都是固定的，因此next[1]一定为0，next[2]一定为1。

继续看第三位发生冲突的情况：

待求位：      1  2  3  4  5  6  7  8
文本串：      a  b  x  x  x  x  x  x  x  x  x  x  x  x  x  x
模式串：      a  b  a  a  b  c  a  c

这时，假如我们仍然只移

最低0.47元/天 解锁文章
详解又详解KMP中的next和nextval的算法
魔指仙境RPG
10-23 2万+
一、定义KMP算法是一种改进的字符串匹配算法，由D.E.Knuth，J.H.Morris和V.R.Pratt同时发现，因此人们称它为克努特——莫里斯——普拉特操作（简称KMP算法）。二、图解原理以下借用http://www.cnblogs.com/c-cloud/p/3224788.html的部分内容 这种算法不太容易理解，网上有很多解释，但读起来都很费劲。直到读到这篇文章，我才真正理解这种算法。
KMP算法 ← C++实现
hnjzsyjyj的专栏
09-29 1745
KMP算法中模式串T的next数组，是KMP算法的核心。 KMP算法中的next数组仅取决于模式串本身，而与相匹配的主串无关。 next数组的核心作用是“当模式串T的第j位与主串S的第pos位失配时（即 T[j]≠S[pos] 时），让模式串T的第next[j]位与主串S的第pos位再进行比较”。这相当于让模式串T往右移动了j-next[j]位后，再进行比较。
【数据结构】next数组、nextval数组
最新发布
wuyufei_sun的博客
03-29 658
不相等，则向前继续寻找next值对应的元素与前一位进行比较，直到找到与前一位相同的元素；若找到，则找到的这个位置的next值+1，就是所求的next值；若直到第一个元素，都没有找到与前一位元素相同的，则所求next值为0。相同，该位置的nextval的值就是在该位置next值对应元素的nextval的值。从第二位开始，依次判断该位置的next值对应的元素与该位置的元素是否相同。不相同，该位置的nextval的值就是该位置的next值。相等，所求的next值就是前一位的next值+1。
KMP中next和nextval算法简析
热门推荐
吕布_超的博客
09-14 1万+
KMP中next和nextval算法简析
KMP算法计算next和nextval
ybbgrain的历程
09-21 8345
1.KMP。 例如：ababa（求next数组值） 从0开始 ab（默认0，1） 然后看最大匹配长度，也就是相同字符的最大匹配的长度（例如abab：最大匹配长度就是2（ab:ab）） 还没有理解看看下图（最大匹配长度为3的next数组值） 所以next数组值分别为（0,1,1,2,3） 2.KMP算法的改进（主要是因为回溯得过多，造成不必要的时间开销了） 改进了就增加了一个nextval值 nextval第一个和第二个值照写 1. a的next值为1他就回到第一个位置处，而第..
KMP算法的nextval数组
weixin_41423494的博客
11-10 2034
nextval数组是在next数组缺陷的情况下提出的，例如：模式“aaaab”在和主串"aaabaaaab"匹配时，当i=4,j=4时s.ch[i]！=T.ch[j]，由于next[j]=3的指示，会模式串右滑一位进行i=4,j=3的比较，接着有根据next数组的指示会进行i=4,j=2,i=4,j=1的比较。实际上，因为模式串1～3个字符和第四个字符都相等，因此不需要再和主串中第第四个字符比较，...
KMP算法和next数组详解
zhanghangqian的博客
01-03 580
KMP算法主要是用来求解子串在主串中第一次出现的位置，并返回这个子串的位置的一种提高效率的方法。在讲解KMP算法之前，我们先来看看求子串在主串中位置的一般解法，即暴力解法。 1.暴力解法 public static int BF(String str,String sub){ if(str == null || sub == null){ return -1; } int lenStr = str.length(); .
KMP算法详解：Next与NextVal数组的作用与实现
8. 实现细节：KMP算法的实现涉及对模式串和文本串的遍历比较，并使用Next数组或NextVal数组进行匹配过程中的位置跳转。 9. 学习资源：资源包中的新建文本文档和kmp-master文件为学习和实现KMP算法提供了实践材料和...
KMP模式匹配算法（包含求next、nextval数组的详解+源码）
m0_68320520的博客
11-01 6685
求next数组的详细计算、KMP算法的改进——nextval数组
KMP算法之Next和Nextval详解
Android developer.
07-28 1万+
KMP算法是模式匹配专用算法它是在已知模式串的next或nextval数组的基础上执行的。如果不知道它们二者之一，就没法使用KMP算法，因此我们需要计算它们。 KMP算法由两部分组成： 第一部分，计算模式串的next或nextval数组。 第二部分，利用计算好的模式串的nextval数组，进行模式匹配。 KMP算法中有next数组和nextval数组之分。 他们代表的意义和作用完全一
KMP算法求next 和 nextval
12-28
网上看到的，对kmp算法很好的总结，传上了与大家分享
简单易懂-KMP算法next数组和nextval数组
qq_34942239的博客
11-03 3610
第6位，找前一个字母p[5]，是c，next[5]=3，我们就看第3个字母，是a，与p[5]不相等，那就继续往前找，next[3]=1，我们就看第1个字母，是a，与p[5]还不相等，那么next[6]，只能等于0+1=1了。求nextval数组，用p[i]与p[next[i]]比较，如果相等，nextval[i]=nextval[next[i]],否则等于next[i]第8位，找前一个字母p[7]，是b,next[7]=2,看第2个字母，是b，与p[7]相等，那么next[8]=next[7]+1=3。
KMP算法 —— 对Next数组与Nextval数组原理的简单梳理
Azreal7的博客
01-14 1969
对KMP算法原理及其Next数组原理的讲解
next数组_KMP算法（next数组、nextval数组、有限自动机【AC自动机】）———附带模版代码和完整示例...
weixin_39938746的博客
12-05 433
文章目录1 next数组1.1 概念1.2 暴力求解next数组1.3 递推求解next数组1.3.1 总结思路1.3.2 模版代码2 KMP2.1 概念2.2 暴力求解 O(nm)2.3 KMP O(n+m)2.3.1 思想2.3.2 模版思路2.3.3 模版代码2.3.4 统计模式串在文本串出现的次数2.3.4.1 思想2.3.4.2 实现代码2.3.4.3 时间复杂度计算2.4 nextva...
KMP算法求next数组和nextval数组的简单方法
coderew的专栏
03-06 1286
next数组的求解方法是：第一位的next值为0，第二位的next值为1。后面求解每一位的next值时，根据前一位进行比较。首先将前一位与其next值对应的内容进行比较，如果相等，则该位的next值就是前一位的next值加上1；如果不等，向前继续寻找next值对应的内容来与前一位进行比较，直到找到某个位上内容的next值对应的内容与前一位相等为止，则这个位对应的值加上1即为需求的next值；如果找
kmp算法中的nextval
Jcsim~
06-17 4489
参考：https://www.cnblogs.com/lanqingzhou/p/8267975.html 求nextval数组值有两种方法，一种是不依赖next数组值直接用观察法求得，一种方法是根据next数组值进行推理，两种方法均可使用，视更喜欢哪种方法而定。 本文主要分析nextval数组值的第二种方法 （第n位与其next位（n的next）比较。不同，则第n位的nextval值为其ne...
KMP算法求next数组和nextval数组
crisy1991的博客
06-07 1320
KMP 算法我们有写好的函数帮我们计算 Next 数组的值和 Nextval 数组的值，但是如果是考试，那就只能自己来手算这两个数组了，这里分享一下我的计算方法吧。 计算前缀 Next[i] 的值: 我们令 next[0] = -1 。从 next[1] 开始，每求一个字符的 next 值，就看它前面是否有一个最长的"字符串"和从第一个字符开始的"字符串"相等(需要注意的是，这2个"字
将数组变成字符串
03-18
<think>好的，我现在需要帮用户解决如何将数组转换为字符串的问题。首先，我得弄清楚用户的具体需求是什么。用户提到的是“将数组变成字符串”，但数组里的元素类型是什么？是整数、字符，还是其他类型？不同的类型转换方法可能不同。比如，整数数组可能需要每个元素转为字符串后拼接，而字符数组可能直接拼接即可。 接下来，我需要考虑用户可能的背景。如果用户是编程新手，可能需要详细的步骤和示例代码；如果是有经验的开发者，可能更关注效率或特定语言的方法。用户之前的问题是关于中心扩展法的，这可能是在处理字符串相关的问题，比如回文子串，这时候可能需要将字符数组转换为字符串进行比较或输出。 然后，常见的编程语言中处理数组转字符串的方法各有不同。比如在Python中，可以直接用join方法；在Java中，可能需要使用StringBuilder来拼接；在JavaScript中，数组有join方法。用户可能在使用哪种语言？之前的例子中用户提供了Java代码，所以可能用户更熟悉Java，但不确定，所以需要覆盖多种语言的情况。 另外，用户可能遇到的问题包括如何处理数组中的特殊字符，或者是否需要分隔符。例如，数字数组[1, 2, 3]转为字符串可能变成"123"或"1,2,3"，这取决于需求。需要提醒用户注意分隔符的选择，以及空值或null值的处理。 还需要考虑效率问题。对于大数组，频繁的字符串拼接可能效率低下，比如在Java中使用“+”操作符会生成多个中间对象，而StringBuilder更高效。这时候需要给出最佳实践的建议，比如在循环中使用StringBuilder。 同时，可能需要处理多维数组的情况，但用户的问题没有提到，所以可能暂时不需要涉及。但如果用户有这方面需求，可能需要进一步扩展。 最后，总结可能的步骤：确定元素类型，选择合适的方法，处理分隔符，注意效率和特殊情况。然后给出不同语言的示例，并解释每种方法的优缺点，帮助用户根据具体情况选择合适的方法。</think>### **数组转字符串方法详解** #### **一、核心需求分析** 将数组元素按顺序连接成字符串，需明确以下关键点： 1. **元素类型**：数字、字符、对象或其他类型 2. **分隔符要求**：是否需要添加逗号等分隔符号 3. **空值处理**：遇到`null`或空元素时的处理策略 4. **语言特性**：不同编程语言的实现方式差异 --- #### **二、通用实现步骤** **步骤分解**： 1. **遍历数组**：逐个访问数组元素 2. **类型转换**：将每个元素转为字符串形式 3. **拼接操作**：连接转换后的字符串（可选添加分隔符） 4. **结果优化**：处理首尾多余分隔符或特殊格式 --- #### **三、主流语言实现方案** ##### **1. Python实现** ```python # 数字数组转字符串（无分隔符） arr = [1, 2, 3] result = ''.join(map(str, arr)) # 输出："123" # 添加分隔符 result_with_comma = ','.join(map(str, arr)) # 输出："1,2,3" # 处理嵌套数组（二维转字符串） matrix = [[1,2], [3,4]] flatten = '|'.join([','.join(map(str, row)) for row in matrix]) # 输出："1,2|3,4" ``` ##### **2. Java实现** ```java // 基本类型数组（效率优化） int[] arr = {1, 2, 3}; StringBuilder sb = new StringBuilder(); for (int num : arr) { sb.append(num); } String result = sb.toString(); // 输出："123" // 对象数组（带分隔符） String[] strArr = {"A", "B", "C"}; String joined = String.join("-", strArr); // 输出："A-B-C" // 处理null值 Object[] mixedArr = {1, null, "test"}; String safeStr = Arrays.stream(mixedArr) .map(obj -> obj != null ? obj.toString() : "null") .collect(Collectors.joining("|")); // 输出："1|null|test" ``` ##### **3. JavaScript实现** ```javascript // 基础转换 const arr = [1, 2, 3]; const str1 = arr.join(''); // 输出："123" const str2 = arr.join(','); // 输出："1,2,3" // 处理复杂对象 const objArr = [{name: 'Alice'}, {name: 'Bob'}]; const objStr = objArr.map(item => item.name).join(' & '); // 输出："Alice & Bob" // 多层数组展开 const nestedArr = [[1,2], [3,4]]; const flatStr = nestedArr.flat().join(':'); // 输出："1:2:3:4" ``` ##### **4. C#实现** ```csharp // 基础数组转换 int[] arr = { 1, 2, 3 }; string result = string.Join("", arr); // 输出："123" // 自定义格式转换 string[] strArr = { "2023", "08", "15" }; string dateStr = string.Join("-", strArr); // 输出："2023-08-15" // 处理特殊字符 char[] charArr = { '<', 'a', '>' }; string encoded = string.Join("", charArr.Select(c => HttpUtility.HtmlEncode(c.ToString()))); ``` --- #### **四、关键问题处理技巧** | **场景** | **解决方案** | **示例代码** | |-------------------------|-------------------------------------------|----------------------------------------| | **空数组处理** | 返回空字符串或指定默认值 | `arr.length > 0 ? join() : "empty"` | | **混合类型元素** | 显式类型转换+异常捕获 | `obj.toString()`配合`try-catch`块 | | **超大数组优化** | 分块处理+内存复用 | Java的`StringBuffer`分块追加 | | **Unicode字符处理** | 指定编码格式 | Python的`.encode('utf-8')` | | **科学计数法数字** | 格式化输出 | `String.format("%.2f", num)` | --- #### **五、性能对比分析** | **方法** | 时间复杂度 | 空间复杂度 | 适用场景 | |---------------------|------------|------------|---------------------------| | 直接拼接(+) | $O(n^2)$ | $O(n)$ | 小型数组（<100元素） | | StringBuilder | $O(n)$ | $O(n)$ | Java/C#大型数组处理 | | Join内置方法 | $O(n)$ | $O(n)$ | 带分隔符的标准需求 | | Stream处理 | $O(n)$ | $O(n)$ | 需要链式操作或过滤的场景 | > **注**：Python的`join()`方法在底层用C实现，效率远高于循环拼接 --- #### **六、特殊需求实现** **1. 带格式化的数字转换** ```python # 保留两位小数+千分位分隔 nums = [1234.56, 7890.12] formatted = ','.join(["{:,.2f}".format(x) for x in nums]) # 输出："1,234.56,7,890.12" ``` **2. 嵌套JSON结构转换** ```javascript // 将对象数组转为JSON字符串 const users = [{id:1, name:"Alice"}, {id:2, name:"Bob"}]; const jsonStr = JSON.stringify(users); // 输出：'[{"id":1,"name":"Alice"},{"id":2,"name":"Bob"}]' ``` **3. 二进制数据转换** ```java // 字节数组转Hex字符串 byte[] bytes = {(byte)0xAB, (byte)0xCD}; StringBuilder hex = new StringBuilder(); for (byte b : bytes) { hex.append(String.format("%02X", b)); } System.out.println(hex); // 输出："ABCD" ``` --- #### **七、常见错误规避** 1. **直接调用`toString()`** - 错误：`int[] arr = {1,2,3}; System.out.println(arr.toString());` - 结果：输出对象地址而非数组内容 - 修正：使用`Arrays.toString(arr)` 2. **未处理null值** - 错误：`String.join(",", arrayWithNull)` - 结果：抛出`NullPointerException` - 修正：先过滤或替换null值 3. **编码不一致** - 错误：中文字符直接拼接未指定编码 - 结果：出现乱码 - 修正：明确指定字符集，如`new String(bytes, "UTF-8")` --- #### **八、最佳实践建议** 1. **优先使用语言内置方法** - Python的`join()`、Java的`String.join()`等方法经过深度优化 2. **大数组处理原则** - 避免频繁创建中间字符串对象 - 使用可扩容缓冲区（如`StringBuilder`） 3. **安全防护措施** - 对用户输入内容进行HTML转义 - 限制最大输出长度防止内存溢出 4. **可读性优化** - 长字符串添加换行符 - 复杂结构使用标准格式（如JSON、XML） --- 通过上述方案，可根据具体需求选择最适合的数组转字符串方法，兼顾效率与可维护性。
评论 12
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值