KMP算法详解 - joylnwang的专栏 - 博客频道 - CSDN.pdfVIP

2016/11/11 KMP算法详解 - j oylnwang 的专栏 - 博客频道 - CSDN.NET KMP算法详解 [1] 20 11-09-16 23 :38 120790人阅读 评论(4 7) 收藏 举报 版权声明：本文为博主原创文章，未经博主允许不得转载。 [2] KMP算法 ，是由Knuth ，Morris ，Pratt共同提出的模式匹配算法，其对于任何模式和目标序列，都可以在线性 时间内完成匹配查找，而不会发生退化，是一个非常优秀的模式匹配算法。但是相较于其他模式匹配算法，该算 法晦涩难懂，第一次接触该算法的读者往往会看得一头雾水，主要原因是KMP算法在构造跳转表next过程中进行 了多个层面的优化和抽象，使得KMP算法进行模式匹配的原理显得不那么直白。本文希望能够深入KMP算法，将 该算法的各个细节彻底讲透，扫除读者对该算法的困扰。 KMP算法对于朴素匹配算法的改进是引入了一个跳转表next[] 。以模式字符串abcabcacab 为例，其跳转表为： j   1  2  3  4  5  6  7  8  9 10 pattern [j] a b c a b c a c a b next[j] 0 1 1 0 1 1 0 5 0 1 跳转表的用途是，当目标串target 中的某个子部target[m...m+(i-1)]与pattern 串的前i个字符pattern [1...i]相匹配 时，如果target[m+i]与pattern [i+ 1] 匹配失败，程序不会像朴素匹配算法那样，将pattern [1]与target[m+ 1]对其， 然后由target[m+ 1] 向后逐一进行匹配，而是会将模式串向后移动i+ 1 - next[i+ 1]个字符，使得pattern [next[i+ 1]] 与target[m+i]对齐，然后再由target[m+i] 向后与依次执行匹配。 举例说明，如下是使用上例的模式串对目标串执行匹配的步骤   1  2  3  4  5  6  7  8  9 10 11 12 13 14 15 16 17 18 19 20 2 1 22 23 24 25 26 b a b c b a b c a b c a a b c a b c a b c a c a b c a b c a b c a c a b                                   a b c a b c a c a b                                         a b c a b c a c a b                                       a b c a b c a c a b                                         a b c a b c a c a b                                       a b c a b c a c a b   通过模式串的5次移动，完成了对目标串的模式匹配。这里以匹配的第3步为例，此时pattern 串的第1个字母与 target[6]对齐，从6 向后依次匹配目标串，到target[13]时发现target[13] a ，而pattern [8] c ，匹配失败，此时 next[8] 5 ，所以将模式串向后移动8-next[8] 3个字符，将pattern [5]与target[13]对齐，然后由t