KMP算法 k=next[k]如何保证最长匹配前后缀的个人理解

推荐一下这位博主的文章
https://blog.csdn.net/BaiDingLT/article/details/69808221
我是看到 BaiDingLT 这位博主的文章才懂的，下文还要借用这位博主的图。

接下来我就 为什么k=next[k]能保证匹配前后缀的长度是最长的 提供一些个人理解。
首先假如当前要计算next[j]，则next[i]（i<j）表示在角标i之前已经匹配的最长前缀后缀的长度。next[i]是已经算好的
若p[k] != p[j]
则在上图中右边的绿色子串要缩短，也就是要找到一个次大的子串，长度k’<k，使得p[0]…p[k’-1] == p[j-k’]p[j-k’-1]…p[j-1]。如下图

而已经知道p[0]p[1]…p[k-1] == p[j-k]p[j-k+1]…p[j-1]，则左边绿色子串中和右边长度为k’的子串相同的是什么呢？
就是p[k-k’]…p[k-1]

如何使得这个k’最大呢？这就转化成了一个最大前后缀的子问题，而这个子问题在之前已经求得了，那就是next[k]，因此k=next[k]，而这个k也是满足条件p[0]p[1]…p[k-1] == p[j-k]p[j-k+1]…p[j-1]的次大的值。