KMP算法（快速模式匹配算法）详解

快速模式匹配算法，简称 KMP 算法，是在 BF 算法基础上改进得到的算法。

学过 BF 算法的读者应该知道，该算法的实现思想很简单，就是 "傻瓜式" 地将模式串（假定为子串的串）与主串中的字符一一匹配。KMP 算法不一样，它可以略过一些原本就不可能成功的匹配过程，提高模式匹配的效率。

例如，对主串 A（"ABCABCE"）和模式串 B（"ABCE"）进行模式匹配，KMP 算法只需要匹配 2 次。

图 1 第一次人为模式匹配

图 1b) 显示第一次匹配失败，从整个匹配过程可以获得的信息是：模式串中 "ABC" 和主串对应的字符相同，但模式串中的字符 'A' 与 'B' 和 'C' 不同。这也就意味着，下次模式匹配时没必要再让串 B 中的 'A' 与主串中的字符 'B' 和 'C' 一一匹配，它们绝不可能相等。

因此第二次模式匹配开始前，我们改变指针 j 的指向，如图 2a) 所示：