笔记KMP算法1

为什么next表只和模式串有关？
很简单，因为主串中，已经匹配的那部分子串，它一定是模式串的一部分，更准确的说，是模式串的一个前缀。
反证: 如果它不是模式串的一个前缀，就不能与主串的一个前缀一一对应，也就不可能是主串已经匹配的一部分子串了。