摘要： KMP 几个定义： \(pre_i = s[1, i]\)，\(suf_i = s[n - i + 1, n]\)。 \(p\) 是 \(s\) 的 border 当且仅当 \(pre_p = suf_p\)，特殊的，\(n\) 一定是 \(s\) 的 border。 \(p\) 是 \(s\) 的 阅读全文