理论概念
KMP：利用模式串的 next 数组，失配时模式指针回退而文本指针不回溯，达到 O(n+m)。
next[i] 表示模式串前 i 个字符的真前缀与真后缀的最大匹配长度。
匹配实验
KMP：利用模式串的 next 数组，失配时模式指针回退而文本指针不回溯，达到 O(n+m)。
next[i] 表示模式串前 i 个字符的真前缀与真后缀的最大匹配长度。
