《LeetCode力扣练习》代码随想录——字符串(KMP算法学习补充——针对next数组构建的回退步骤进行解释)

《LeetCode力扣练习》代码随想录------字符串(KMP算法学习补充------针对next数组构建的回退步骤进行解释)



学习路径
代码随想录:28. 实现 strStr()
CSDN:【详解】KMP算法------多图,多例子(c语言)
个人补充
看了以上学习路径后,对于KMP有了很深的认识,但是两位作者都没有提到一个重要的步骤的原因------构造next数组时 k=next[k]; // 向前回退 这一步骤的原因和思想。其实这一步我认为是KMP的精髓所在,也是KMP思想的体现,所以在理解之后,将想法记录下来,方便回顾。
个人理解KMP的精髓是:不要浪费。已经匹配过的字符串就算遇到不匹配的字符也不要浪费,还有利用的空间,有点像剥削了...
CSDN文章中,构造next数组的时候,当遇到不匹配的字符时,需要向前回退的例子还是过于特殊,导致回退一次就可以匹配上,这里我又重新构造了新的字符串:
分别是求next[6]和next[8]的值。
在构建next数组的时候,同时也运用到了KMP算法,并不是在搜寻字符串的时候才运用到,有点递归的感觉
以第二个next为例,当根据之前的最长相等前后缀aba、aba无法直接求得更长的前后缀时(b!=c,否则可以直接构成abac、abac了,直接赋值4),这时候不能直接放弃,还没有榨干之前字符串的价值,我们需要跳转 k=next[k];
重点来了,为什么要跳转到next[k]呢?
aba、aba是两个最长相等前后缀,同时他们自己也有自己的最长相等前后缀。并且第一个aba的最长相等前缀和第二个aba的最长相等后缀(因为两个字符串是相等的)这一点很重要!!!
next[k]还有一层含义:阻止当前的最大相等前后缀成长为更长的相等前后缀的字符,也就是说这个字符阻止了更长的最大相等字符串的出现!!!
当第一个next[k]匹配失败后,我们跳到第二个next[k],组织第一个aba的最长相等前后缀a变得更长的字符b的位置,因为上面所说的,我要尝试一下第一个aba的前缀+阻止字符和第二个aba的后缀+当前字符next[7]对应的b能否组成一对最长相等前后缀,这样的话(aba、aba这一对就没有被浪费,还可以利用他们本身的前后缀再次查找,并且由于这一对本身没有成功,所以他们的字串如果成功的话必然是最大的相等前后缀)
总结一下,这个回退的操作有点像二分法的感觉,第一个前后缀不行,就把他们分开,看前缀的前缀+阻止字符和后缀的后缀+新匹配的字符 能否构成新的前后缀,如果还不行就在回退,再一分为二,一直到第一个字符都不行,next[k]为-1,就代表着一点都不一样,赋值为0,表示没有了。
构建next数组和字符串匹配都用到了KMP,区别是什么呢?next是用前缀的前缀去匹配后缀的后缀;字符串匹配是前缀不行,换前缀的前缀上,不行的话再试。两个操作基本一样,但是next在于写入值,字符串匹配在于移动。
到这里我个人的解释就结束了,我是自己把这里想明白之后,KMP算法就顿悟了,没想明白之前,每次回退都十分忐忑。
我的具体实现代码在这里:《LeetCode力扣练习》代码随想录------字符串(实现 strStr()---Java)

相关推荐
jerry20110817 分钟前
AI学习笔记
学习
每天被帅醒()24 分钟前
复杂度的讲解
c语言·数据结构·算法
文人sec35 分钟前
泷羽sec学习打卡-Windows基础命令
android·网络·windows·学习·安全·web安全
向上的车轮35 分钟前
ODOO学习笔记(4):Odoo与SAP的主要区别是什么?
笔记·学习·sap·odoo
LNTON羚通41 分钟前
视频智能分析平台LiteAIServer算法定制工业排污检测算法:科技赋能环保监管
大数据·科技·算法·目标检测·音视频·监控
边疆.1 小时前
C++类和对象 (下)
c语言·开发语言·c++·算法
single5941 小时前
c++学习:封装继承多态
开发语言·c++·git·vscode·学习
Ddddddd_1581 小时前
C++ | Leetcode C++题解之第551题学生出勤记录I
c++·leetcode·题解
大飞攻城狮1 小时前
如果你没有必须要离职的原因,我建议你在忍忍
人工智能·学习·大模型·大模型学习·大模型入门·大模型教程
scc21402 小时前
Spark的学习-02
大数据·学习·spark