KMP算法求next，用动态规划思想去理解

KMP算法求next，用动态规划思想去理解

kmp的next简介

因为想要减少不必要的匹配，比如如果一个字符串是
s1：abdaba
s2：aba

可以看到下标为2的地方失配，因为串具有头尾对称性，即具有相同真前后缀，直接把s2的串头那部分相等的拽过来，再匹配，就不用一步一步挪动了，可以跳步

next数组保存的，其实是【最长相同真前后缀】的长度

next[i]表示：主串下标 [0, i-1] 部分的子串的【最长相同真前后缀】的长度

例：

下标	 ：0  1  2  3  4  5
主串	 ：a  b  a  b  a
next ：-1 0  0  1  2  3

解释：
next[0]=-1 ：没有-1下标，故为-1，方便后续计算中作为停止条件
next[1]=0  ：下标[0, 0]子串"a"的最长真前后缀长度为0
next[2]=0  ：下标[0, 1]子串"ab"最长真前后缀长度为0
next[3