关于KMP算法中求next数组方法的抽象

学了这么久c语言，我认为程序就是对现实情况数据化的抽象，而算法更是如此。这一点与物理很相似，通过找到与自己目的有关的规律并抽象成数学形式，来求得自己想要的结果。

就拿KMP算法求next数组来说，我想求每一个子字符串中的对应的next值，那么就需要将这个过程抽象成一个通用的程序来计算结果。

那么我们可以把这个求解过程抽象成两个部分：特殊处理，通用处理。

无论哪种处理都要有具体处理对象，我们在此把这个处理对象定义为子字符串中的一个字符极其对应的next值。

我们知道对next值的求解实质上是一个递推过程，即对一个处理对象进行处理得出下一个对象中的next值。

首先处理开头第一个字符，那么就需要让计算机知道这是第一个字符（我们通常把第一个字符的next值置为负一），为了体现其抽象本质，我在此把第一个字符的next值置为“苹果”。其实置为什么不重要，这个过程的本质是为了让计算机知道这是第一个字符要进行特殊处理。这样计算机在进行处理读取next值时就会明白这是第一个字符要进行特殊处理。特殊处理为把下一个对象的next值置为0。

然后开始对下一个对象进行处理，此时计算机读取的next值不是“苹果”，而是一个大于等于零的整数n（这个n代表的是这个对象前面最多有几个可以相互匹配的前后缀字符），那么就应该对这个对象进行通用处理，即比较本对象的字符和第n+1个字符，看看能否匹配上，如果能那么下一个next值置为n+1；如果不能匹配那么就进行溯源操作，比较本对象的字符与“第n+1个对象中next值”对应的字符，如果匹配成功则把“第n+1个对象中next值”加1值为下一个对象的next值，如果匹配不成功则继续进行溯源操作，直到匹配成功或者发现“第n+1个对象中next值”为“苹果”为止。

一旦发现“第n+1个对象中next值”为苹果那么就说明这就是第一个字符，要停止匹配并将下一个对象中的next值置为0。

如此便实现了通过固定程序递推进行next值求解。

我这么直接说你可能不明白，简要的流程图就是一个很好的抽象：

灵魂画手の具象化解释：

注意我们推出来的是下一个对象的next值所以不需要全部遍历，//next值表示的是前面有几个匹配的字符

如果你不完全了解kmp算法的全过程可能会有如下疑问

1.为什么要回溯？

        为了在已经匹配的前后缀中找是否还有较小的可以匹配的前后缀

2.锟斤拷锟斤拷锟届瀿锟斤拷雮傡锟斤拷直锟斤拷锟？

        因为锟斤拷锟斤拷之锟斤拷锟窖э拷锟

3.说过了

4.略

5.nextval是如何算出来的？

如图

灵魂画手の具象化解释：

这个回溯计算出的本处理对象的nextval值

        注意本篇文章旨在抽象计算kmp算法中next的计算过程，而不是针对此过程的实现，所以没有任何代码：），不过我相信你可以根据这个抽象出的过程用任何代码加以实现。

       kmp算法以其巧妙的思想和极简的实现方式而闻名，其c语言代码十分简要凝练，真的有点让人摸不着头脑，很多解说都只说了思想，而没有具体解释实现方法。导致很多人看方法的时候明明白白一看代码就傻了，完全不知道这代码怎么来的。在这篇文章里我们先不追求代码的凝练，而从方法的角度一步步解析抽象出计算过程，方便大家用代码进行实现。

        注意，本篇文章抽象出的过程是一个比较简单，实现起来比较繁琐的过程，虽然本质跟kmp算法相同，但是损失了过程的简要性换来了可读性，读者可以作为初步学习了解算法过程的依据，再写出代码后再进行更深层次的抽象，去掉多余的判读或者循环，运用一些巧妙的数学思想简化代码结构，相信你最终也能把自己的代码抽象到kmp源代码一样巧妙凝练（难以理解）的。

        要是还有什么不懂的可以直接问，博主会详细回答：），（主要是因为没什么人看）

这样对next怎么算出来的就比较清楚了吧，至少比直接看c源代码清楚吧...