AC自動機 學習筆記

AC自動機？？！！

Aho−Corasickautomaton$Aho-Corasickautomaton$ ，該算法在1975年產生于貝爾實驗室，是著名的多模匹配算法。
什麼是多模匹配？
就是給你一段m$m$ 個句子的集合S$S$ ，給出n$n$ 個單詞，查看這些單詞是否在S$S$ 中出現過;

AC自動機

學AC$AC$ 自動機之前，一定要看看Tire樹$Tire樹$ 和KMP$KMP$ 。
因爲AC$AC$ 自動機就相當於在Tire$Tire$ 樹上進行KMP$KMP$ ，
AC自動機$AC自動機$ 有一種類似於KMP$KMP$ 中next[]$next[]$ (不要寫next$next$ ,c++11會CE$c++11會CE$ 的….)的東西叫fail$fail$ 指針
fail$fail$ 指針的功能：當你匹配失敗的時候，你可以調到當前節點的fail$fail$ 指針所指的節點繼續匹配.
所以：
AC自動機$AC自動機$ 的構建過程：
1.$1.$ 先把所給的串插入Tire樹$Tire樹$ 中
2.$2.$ 然後構建fail$fail$ 指針
3.$3.$ 就可以匹配了
下面就是一個已經構造完成fail$fail$ 指針的AC自動機$AC自動機$
紅邊爲fail$fail$ 指針

fail$fail$ 指針是怎樣構建的呢？
用一句話簡單的說就是,假如你要構建now$now$ 節點的失配指針,假如它的父節點的失配指針指向的節點有一條和now$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];
        }
    }
}

如果有不正確的地方可以指出來，謝謝