AC自动机 学习笔记

AC自动机？？！！

$Aho-Corasick automaton$，该算法在1975年产生于贝尔实验室，是著名的多模匹配算法。
什么是多模匹配？
就是给你一段$m$个句子的集合$S$，给出$n$个单词，查看这些单词是否在$S$中出现过;

AC自动机

学$AC$自动机之前，一定要看看$Tire树$和$KMP$。
因为$AC$自动机就相当于在$Tire$树上进行$KMP$，
$AC自动机$有一种类似于$KMP$中$next[]$(不要写$next$,$c++11会CE$的….)的东西叫$fail$指针
$fail$指针的功能：当你匹配失败的时候，你可以调到当前节点的$fail$指针所指的节点继续匹配.
所以：
$AC自动机$的构建过程：
$1.$先把所给的串插入$Tire树$中
$2.$然后构建$fail$指针
$3.$就可以匹配了
下面就是一个已经构造完成$fail$指针的$AC自动机$
红边为$fail$指针

$fail$指针是怎样构建的呢？
用一句话简单的说就是,假如你要构建$now$节点的失配指针,假如它的父节点的失配指针指向的节点有一条和$now$节点到它父亲的边一样的边，那么$now$节点的失配指针指向这一条边所指向的节点.

代码

代码就比较好理解了，

inline void Build(char s[])
{
    int l=strlen(s);
    int now=0;
    for(int i=0;i<l;++i)
    {
        if(AC[now].vis[s[i]-'a']==0)
        AC[now].vis[s[i]-'a']=++cnt;
        now=AC[now].vis[s[i]-'a'];
    }
    AC[now].end+=1;
}
void Get_fail()
{
    queue<int> que; 
    for(int i=0;i<26;++i)
    {
        if(AC[0].vis[i]!=0)
        {
            AC[AC[0].vis[i]].fail=0;
            que.push(AC[0].vis[i]);
        }
    }
    while(!que.empty())
    {
        int u=que.front(); que.pop();
        for(int i=0;i<26;++i)
        {
            if(AC[u].vis[i]!=0)
            {
                AC[AC[u].vis[i]].fail=AC[AC[u].fail].vis[i];
                Q.push(AC[u].vis[i]); 
            }
            else 
                AC[u].vis[i]=AC[AC[u].fail].vis[i];
        }
    }
}

如果有不正确的地方可以指出来，谢谢