g1ove

摘要： KMP 自动机 定义状态 \(\texttt{nxt}_{i,j}\) 表示在 \(i\) 接一个字符 \(j\) 的最终匹配位置。 转移是显然的。 \(\texttt{nxt}_{i,j}=\texttt{nxt}_{fail_i,j}\) 注意 KMP 的字符集无关的，而 KMP 自动机依赖字符 阅读全文