KMP

理论部分网上一大堆，新学的我也没弄透，只是在这里稍微总结一下。

应付笔试：

看不懂就点这里，更详细： july的从头到尾彻底理解KMP
http://blog.csdn.n et/v_july_v/article/details/7041827
next数组：不考虑当前位元素的子串中，求出最大公共前后缀长度。其中next[0]=-1;

nextval数组：因为next数组还是有过多的重复匹配，优化一下。

nextval[0]=-1
nextval[1]= 0, 因为b !=a,即:模式串[1] !=模式串[0] ,即:模式串[1]!=模式串[next[1]]
nextval[2]=-1,因为a==a,即:模式串[2]==模式串[0], 即:模式串[2]!=模式串[next[2]]
nextval[3]= 0, 因为b==b,即:模式串[3]==模式串[1],即:模式串[3]!=模式串[next[3]]

网上找的都是-1开始，此时求出的next数组的数值表示“数组下角标”。
教科书上的是 0开始，此时求出的next数组的数组表示“第几个元素”。

从0开始的例子：看不懂就点这里，更详细：小二晨Ellen
http://blog.sina.com.cn/s/blog_59b4a0b701015jtk.html

下角标	0	1	2	3	4	5	6	7
模式串	a	b	a	a	b	c	a	c
next	0	1	1	2	2	3	1	2
nextval	0	1	0	2	1	3	0	2

从-1开始的其实就是将上表的所有值减1就行了