KMP 自动机

KMP 自动机

定义状态 $\texttt{nxt}_{i,j}$ 表示在 $i$ 接一个字符 $j$ 的最终匹配位置。

转移是显然的。

$\texttt{nxt}_{i,j}=\texttt{nxt}_{fail_i,j}$

注意 KMP 的字符集无关的，而 KMP 自动机依赖字符集大小。

struct Auto{
	char s[N];
	int n,nxt[N][26];
	void init()
	{
		n=strlen(s+1);
		int fail=0;
		for(int i=1;i<=n;i++)
		{
			int c=s[i]-'a';
			fail=nxt[fail][c];
			nxt[i-1][c]=i;
			for(int j=0;j<26;j++)
				nxt[i][j]=nxt[fail][j];
		}
	}
}