KMP算法解析

KMP算法（听完王卓老师和天勤老师的课没懂的话可能会看懂我的解析，没听别浪费时间）

----被查找串指向i不必回溯，可以提速到O（n+m)。为此，定义next[j]函数。

a（图三解析）.先从需要查找的串的传入的位置的字符开始，和查找的串的第一个字符进行匹配，当一样时，查找的串和被查找的串都自增一位，直到遇到不相等的字符，此时，被查找的串不回溯，查找串回溯到函数next【j】对应的值的位置j上，继续进行查找。

b（图三的）.当刚开始时查找串和被查找串的第一个字符就不相等，i不变，j变为next【1】对应的值0，然后主串i和查找串j都进行自增，此时，i指向主串第二个，查找串指向第1个，再不相等，指向主串的第3个和模版串的第1个，看是否相等，以此类推。直至主串或者模版串i或者j大于他们的长度，退出循环。

c（图四的解析）.next函数从next[1]=0开始，当i=0，j=1时，由于j=0，i和j进行自增，next【1】等于j的值0，然后看1号位和2号位的字符是否相等，如果相等，此时他们都进行自增，i=3，j=2，next【3】=2，前面紧挨着的两个字符相等，以此类推，然后就是如果模版串第一个字符和第二个不相等，j等于next【1】的值0，由于j=0，那么i和j进行自增，i为3，j为1，next【3】=1，以至于当主串和模版串在这个位置匹配不上时，模版串回溯到一号位和主串进行匹配，为什么不回到二的位置呢，因为此时主串的前面肯定没有和模版串的二号位前面一样的串，为什么呢，继续看，如果模版串的一号位和二号位一样的话，i和ij会自增，给next【3】储存j的值2，如果在这个地方不一样的话，j=next【3】=2，j会来到二号位，{为啥会回到这个位置呢，不回到一号位，因为他能来到这个位置说明，主串和模版串的前两位对比是相等的，从模版串的三号位开始不相等了，那么主串的对比的前两个字符和模版串的第一个和第二个都相等，从模版第一个字符和主串的前一个字符（也就是第二个字符）开始对比一定是相等的，那就回溯到模版串的第二个字符和主串的第三个字符进行对比（他两的前一位相等），以此类推}当二号位和三号位相等时，next【4】=3，在模版串的四位不相等时，会回溯到模版串的三号位，因为第一次是一号位和二号位相等，此次二号位和三号位相等，也就是一号位和二号位连接的字符串，与二号和三号位连接的字符串相等，由于刚刚主串与模版串一号位开始的相比到模版四号位已经不同了，主串此时位前两个字符与模版串前两个相等，那么直接从模版串的三号位比起就行了，那么就是说只看模版串就行了，在模版串的几号位不匹配，就回到对应号位，以此类推得出图二模版串的next函数的出现。当i大于串的长度，说明给next函数对应号位赋值完成。在next几号位不相等时自动去几号位（图四的不相等时else时next（几号位）=对应的去另一号位

d.(图二的解释）next函数的出现，也就是说，规定next【1】=0，next【2】=1，从三号位起，到的号位前几个和第一个开始的前几个相等，next下一个号位就赋值几，在这个号位不相等时就到对应的几，当然没有相等的时，储存一，不相等时就回到一号位，以此类推出next函数对应数组。

e.(图五的解释)next数组可以进一步优化，当不相等时他回溯到的那个位置的字符和他的位置的字符相等时，可以直接跳到那个字符对应位置的next不相等时对应的位置号，当那个字符和对应不相等时的回溯位置的字符不相等，就不跳，以此类推给next数组优化一套数组。

图一

图二

图三

图四

图五

转载注明出处；