字符串的处理除了串搜索、插入、删除和替换外,还有其独特的运算——字符串的查找,即字符串的匹配,也就是常说的串模式匹配。
KMP算法由D.E.Knuth,J.H.Morris和V.R.Pratt同时发现,其改进在于:每当发现一趟匹配过程中出现字符比较不等时,不需回溯i指针(i指针指向串,表示当前串下标),而是利用已经得到的“部分匹配”的结果将模式串向右移动尽可能远的距离,继续进行比较。KMP算法的时间复杂度为O(m+n)
由于模式“向右移动”的距离K只与模式本身有关,而与主串无关(见《算法设计与分析》第93页证明),因此,只需用模式即可计算出K。
设next[j] = k,则next[j]表示当模式中第j个字符与主串相应字符“失配”时,在模式中需要重新和主串该字符进行比较的字符的位置。
以下是源代码实现