ld_long的博客

然后再次判断pattern[j] 是否 = pattern [k]，如果相等，说明这个更小的字串是合适的，那么next[j] = k+1,同时，把k更新为 k = next[j]。next[6]=3 表示pattern[0:6](闭区间，包含头尾）中，后缀串等于前缀串的最长后缀串长度为3.下面说成最长相等前缀串或者最长相等后缀串为3。0时，next[k-1]=next[-1]是不合法的。那么next[j] = k+1,同时，把k更新为 k = next[j]。如果不相等，则让j回溯到next[j-1]。

引索与数量的关系

单调栈