KMP算法理解

                                        KMP算法理解

KMP算法是一种改进的字符串匹配的算法，在之前我们看到在字符串A中找出字符串B的位置这样的题时，第一反应就是用两个for循环来进行查找，这样的效率比较低，如果两个字符串的长度非常大的话，就会需要花费很长的时间来进行查找。KMP算法就是将从原来普通匹配的O(n*m)时间复杂度，缩短为O（n+m）的时间复杂度，大大的提高了效率。

KMP算法的关键是利用匹配失败后的信息，尽量减少模式串与主串的匹配次数以达到快速匹配的目的。具体实现就是查找子串的next[]数组，通过next[]数组中的值来实现KMP算法，减少一些不必要的比较。next[]中存储的是当前字符与子串前缀的最大匹配，也就是这个字符和之前的字符与子串的前缀相同，next[]数组的存储有两种，一种是0型的，一种是-1型的。我明白了那种0型的，-1型的知道它是0型类的优化，但是看了很多资料还是没有能够理解，问了学长知道了它的优化之处就在于当next[]数组中当前的值是-1是可以不用再进行判断直接跳过，判断下一个，而0型的next[]数组只是当它匹配不成功时，返回到下标为它前一个next[]数组值的字符进行判断。

在查找0型next[]数组是我比较习惯从标0的时候定义为0，next[]数组的的查找就是自身字符的比较，后面下标为i的字符与前面下标为j的字符进行比较，当相等时next[i]=j+1；说明下标为i的字符与子串前缀第j+1个字符相同，i与j都向后走，继续查找；当j等于0时不相等的话下标i继续向后走与下一个比较，当j大于0不相等时，j更新为next[j-1]继续查找。直到为子串的所有字符都的next[]值都赋值上。

KMP算法在比较两个字符串时代码和存储next[]数组的代码是差不多的，都是判断相等，j是否为0时的不相等。关于KMP算法的应用本次的练习有求子串在主串中的位置，主串中含有几个子串，主串进行循环移位是否含有子串及一些直接运用next[]数组找模式串的前缀后缀循环，及不同长度下的模式串是否循环求长度和循环数；这些都是对KMP算法模板的简单变形。