KMP·匹配过程

匹配时文本指针 i 只前进不回退，模式指针 j 靠 next 回退。p[j] 与文本 s[i] 相等则同时前进；不等则 j=next[j]。当 j 走到模式串长度时说明找到一次完整匹配，再 j=next[j] 继续找下一处。