KMP算法重点讲k=next[k]

2401_84149824

于 2024-04-11 02:34:49 发布

阅读量674

点赞数 15

分类专栏：程序员文章标签：算法

本文链接：https://blog.csdn.net/2401_84149824/article/details/137619029

版权

程序员专栏收录该内容

119 篇文章 0 订阅

订阅专栏

System.out.println("next = " + Arrays.toString(next));
return next;
}

先说几个结论:

先说几个结论, KMP的设计思路除了getNext之外, 假设你已经懂了。对于主串char[] t, 子串char[] p

1、next[j]: 表示当p[j] != t[j]时, p串前后缀相等的最大长度。
2、next[j] = -1: 表示主串和子串均需要右移

结合这两个结论来分析getNext方法

getNext数组求解过程

public static int[] getNext(String ps) {
char[] p = ps.toCharArray();
int[] next = new int[p.length];
int j = 0, k = -1;
next[0] = -1;
while (j < p.length - 1) {
if (k == -1 || p[j] == p[k]) {
// 这里有一个优化的点, 但是这里只写最原始的代码, 如何优化可以参考其他文章
next[++j] = ++k;
} else {
k = next[k];
}
}
System.out.println("next = " + Arrays.toString(next));
return next;
}

看了很多文章, 都在讲核心就是k = next[k], 都说这个地方是核心, 但是却都选择一笔带过, 学习KMP时浪费了大量的时间在无用的文章上面。

1、分析流程

1、p[j] == p[k]
2、k = next[k];
3、k == -1;

2、p[j] == p[k]

当p[J0] != t[i] && p[J0] = p[K0], j0点对应的相等前后缀的最大长度为K0, 也就是说next[J0] = K0; 那么此时是不是有next[J1] = K1呢?

推导公式就是:
P[J0] == P[K0], next[J0] == K0
推导出===> next[J1] == K0 + 1 == K1;

3、K = next[K]

第一个公式很简单, 就是顺时+1, 这里K = next[K]这个就容易比较让人懵逼了, 我觉得这里应该用的是完全归纳法得出来的结论, 恰好这里又把完全归纳法的过程给省略了…

所以这里如果不讲完全归纳法, 就很难搞懂这一块儿

结合公式二的流程:
(1) 假设next[J0] = K0 && P[J0] == P[K0], 那么此时有next[J1] == K0 + 1 == K1
(2) 以此类推, 如果P[J1] == P[K1], 那么得出 next[J2] = K1 + 1 = K2;
如下图所示, 直接顺时推导出K2的位置, 依次求得next[J1…JN]的值

如果P[J1] != P[K1]

那么如果当P[J1] != P[K1]时, 接下来应该如何操作才能正确的计算出next[J2]呢???

此时需要将K1进行左移, 直到找到K3保证P[J1] == P[K3], 此时next[J2] == K3
开始推导K = next[K]公式:
(1) K1左移得到J2的最长公共前后缀K3节点, 此时有next[J2] = K3, P[0 ~ K3-1] == P[ J1-K3+1 ~ J1]
(2) 也就是P[J1] == P[K3 - 1], P[J0] == P[K3 - 2]…
(3) 咱们还记得之前的P[J0] == P[K0]吗?
(4) 根据(3)得出: P[K0] == P[K3 - 1]
(5) 步骤(2)和步骤(4)是不是一模一样的? 结合K3 < K1, 且P[K0] == P[K3 - 1],
注意咱们这里是对于任意节点K, 并不是特指他在数组哪个位置吧. 因此可以得出非常牛逼的结论:
K3就是K1的最长公共前后缀的节点, 既然K3就是K1的最长公共前后缀的节点, 那么是否满足K == next[K]呢?
(6) 根据步骤(5), 既然找到的节点K3就是K1的最长公共前后缀的节点, 那么就可以直接通过K = next[K]获得K3的值。
上面六步其实完全就是执果索因, 根据结论通过完全归纳法倒推出K = next[K]的由来。

4、K==-1

当P[J1] != P[K1]时, 需要将K进行左移, 当K移动到初始化位置-1处, 都还是没有找到最长公共前后缀节点时, 也就是表明此时J2没有公共前后缀, 此时将next[J2] == 0, 也就是++K (因为此时K == -1)
自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数初中级Android工程师，想要提升技能，往往是自己摸索成长或者是报班学习，但对于培训机构动则近万的学费，着实压力不小。自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年Android移动开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Android开发知识点，真正体系化！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！

如果你觉得这些内容对你有帮助，可以扫码获取！！（备注：Android）

最后

文章不易，如果大家喜欢这篇文章，或者对你有帮助希望大家多多点赞转发关注哦。文章会持续更新的。绝对干货！！！

Android进阶学习全套手册
关于实战，我想每一个做开发的都有话要说，对于小白而言，缺乏实战经验是通病，那么除了在实际工作过程当中，我们如何去更了解实战方面的内容呢？实际上，我们很有必要去看一些实战相关的电子书。目前，我手头上整理到的电子书还算比较全面，HTTP、自定义view、c++、MVP、Android源码设计模式、Android开发艺术探索、Java并发编程的艺术、Android基于Glide的二次封装、Android内存优化——常见内存泄露及优化方案、.Java编程思想（第4版）等高级技术都囊括其中。