kmp分析和总结分析和总结.docxVIP

PAGE PAGE 10 2 KMP 算法： KMP 算法是由 D.E.Knuth（克努特），J.H.Morris（莫里斯），V.R.Pratt（普拉特）等人共同提出的，该算法主要消除了主串指针(i 指针)的回溯，利用已经得到的部分匹配结果将模式串右滑尽可能远的一段距离再继续比较，从而使算法效率有某种程度的提高，O(n+m)。 先从例子入手（p82）： 按 Brute-Force 算法 i=i-j+2=2-2+2=2,j=1 按 Brute-Force 算法 i=i-j+2=2-1+2=3,j=1 按 Brute-Force 算法 i=i-j+2=8-6+2=4,j=1,但从已匹配的情况看，模式串在 t[6]即“c”前的字符都是匹配的，再看已匹配的串“abaab”,t[1]t[2]与 t[4]t[5]相同，那么，因为t[4]t[5]与原串 s[6]s[7]匹配，所以t[1]t[2]必然与原串 s[6]s[7]匹配，因此说 t[3]可以直接与 s[8]匹配，按 KMP 算法 i=8,j=3 匹配成功。从上例看出在匹配不成功时，主串指针i 不动，j 指针也不回到第一个位置，而是回到一个恰当的位置，如果这时让 j 指针回到第一个位置，就可能错过有效的匹配，所以在主串指针 i 不动的前提下，j 指针回到哪个位置是问题的关键， 既不能将 j 右移太大，而错过有效的匹配，另一方面，又要利用成功的匹配，将j 右移尽可能地大，而提高匹配的效率，因此问题的关键是寻找模式串自身的规律。 // ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// 设s ? s 1 s2 ? sn ，t ?t 1 t2 ? tm 满足： s i ? j ?1  ?si ?1  ?t t ?1 ?  j ?1 t t 1 2 ?tk ?1 ?t t j ?k ?1  j ?k ? 2 ?t j ?1 (1 ? k ? j) 所以： // 直接比较s 和t ; i k 若不满足(2), 直接比较s 和t 。 i 1 //////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// 设 s=” s s ... s ”， t=” t t ... t ”，在匹配过程中，当s ≠ t (1≤i≤n-m+1,1≤j≤m)时，存在（前面的j-1 个字符已匹配）： 1 2 n ” s ... s ” =” t 1 2 t ... t m i j ” (1) i-j+1 i-1 1 2 j-1 若模式中存在可互相重叠的最长的真子串，满足： ” t1 t2 ... tk-1 ”=”tj-k+1 tj-k+2 ... tj-1 ” (2) 其中真子串最短可以是t1 ，即 t1。。t2-1 (k1)，最长的是t1。。tj-1-1 (kj)，所以(1kj)。 由(1)式说明模式串中的子串” t1 t2 ... tk-1 ”已和主串”si-k+1 si-k+2 ... si-1 ”匹配，下一次可直接比较si 和 tk ，若不存在（2）式， 则结合（1）式说明在” t1 ... t j-1 ” 中不存在任何以t1 为首字符子串与”si-j+1 si-j+2 ... s i-1 ”中以 si-1 为末字符的匹配子串，下一次可直接比较si 和 t1 。主串指针的不回溯，。 例（p82）：主串 a c a b a a b a a b c a c a a b c 模式 a b a a b c a c 现在的问题是要求next 函数，next(j)的作用是，当s 与 t 匹配失败时，s 与 t 匹配。 i j i next(j) next 函数的定义如下： ↓↓↓↓↓↓↓↓↓图形拖放 //////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// 模式串t的next函数： ?0 ?  j ? 1 next( j) ? ?max{k | (1 ? k ? j)