ac自动机

ac自动机

前置知识：

• $trie树$
• $KMP$

作用：

• 查询一个字符串，在一堆字符串中的匹配情况。
• 利用$fail$树还可以解决一个字符串的前缀，在其他字符串中的出现情况。
• 还有一堆神奇作用。

结构：

• 分为两个部分：$fail$树和$ac$自动机

$ac$自动机部分：

• 本质是一个$trie$树，里面包含所有字符串，即每个点都是这些字符串中的一个前缀。
• $trie$树上有$fail$边，表示失配时应该回到哪个状态继续匹配。一个点$x$的$fail[x]$表示$root$到$fail[x]$这条路径所代表的字符串前缀，是$root$到$x$这条路径所代表的字符串前缀的 最长的 能找到的 后缀（就是类似$KMPfail$）。

$fail$树部分：

• $fail$树就是$fail$边建出来的一棵树（儿子指向父亲），因为每个点（除了$root$）都有且仅有一条$fail$边。
• $fail$树上每个点都是$trie$上的一个点，所以都代表一个前缀。
• $fail$树上的祖先都是子孙的后缀（相当于是前缀的后缀）。
• 对于$fail$树上的一个点$x$，$fa[x]$所代表的前缀是$x$所代表的前缀的最长可找到的后缀。

实现过程：

• 建出$trie$树，由短到长依次找$fail$，通过$bfs$实现。
• 一个点$x$的$fail[x]$是$fail[fa[x]]$的一个$a[x]$儿子，如果没有则找$fail[fail[fa[x]]]$的一个$a[x]$儿子，以此类推，一直找到$root$。
• 为了时间优化，我们直接将$x$一个$trie树$上不存在的$next$赋成$fail[x]$(或者$fail[fail[x]]\dots$)的$next$。用父亲更新儿子，由上到下更新就会将常数降低很多。这样建出来的就是$trie$图。

例题：

• 电脑游戏 NKOJ1962
• 数数[SDOI2014] NKOJ2842
• 单词[TJOI2013] NKOJ9217
• 阿狸打字机[NOI2011] NKOJ3388
• 具体见AC自动机—helang。