数据结构kmp算法王道教材思维疏导

（需要结合教材，跟着一步步看，不提供图片）

一、j=next【j】的推导

相信通过自己分析能手算求出部分匹配值pm，值得注意的是这个表不需要与程序联系在一起，手算理解即可，因为由于next【1】=0的存在以及求next数组程序的递推性可以依次求出next【i】i>1。

对于右移位数=已匹配字符数-对应部分匹配值；这个公式自己在草稿纸上画个图就能搞懂。因此我们会得到一个字母公式

                       move(模式串移动量)=j-1-pm【j-1】；

值得注意的是这里的j是当前匹配位数，不属于已匹配数的范围，所以要减一，for example，匹配到第五个数时出现争议，那么已匹配数就是四；而实际上模式串并不是移动的，只是数组下标再进行变换，通过个人分析，模式串移动量就是j指针的倒退量，因此下标的变换公式

                         j=j-move=1+pm【j-1】

而为了整洁我们令next【j】等于p【j-1】，这样pm表的每一个值向右移动一位即可，最高位溢出舍弃，最低位补个-1。得到

                        j=next【j】+1；这里的next表是对于数组下标为零的

因此由于王道书字符串数组下标都是以1开始，且为了简洁；我们让next数组整体加一就得到

                         j=next【j】；   这里的next表是对于数组下标为