1. 程式人生 > 電腦技巧 >Excel 自動依據生日計算年齡教學與範例

Excel 自動依據生日計算年齡教學與範例

目錄

寫在前面

鳴謝:
OiWiki
「筆記」AC 自動機---LuckyBlock
字串四姐妹---老色批
AC自動機講解超詳細---某不知名大佬

Q:AC自動機?是能自己AC題目的演算法嗎?(興奮)
A:不不不,那叫自動AC機,通過開啟答案檔案輸出答案的一種小手段,在比賽中使用還會有禁賽三年的獎勵,而AC自動機是一個字串匹配演算法

AC自動機,全稱\(Aho-Corasick\ automaton\),是一種用來處理字串多模式匹配的演算法

本人將盡可能詳細的解釋AC自動機的演算法流程(其實大部分抄的Oiwiki,這是一個幫助我們共同理解的過程,畢竟作者也是個萌新。開始接受的過程可能比較困難,但多回顧幾遍還是有助於理解的


演算法流程


前置知識:Trie樹以及KMP演算法的思想

什麼是自動機?(粘個連結,感性理解就好,不要過於執著)


引例:

給定 \(n\) 個模式串 \(s_i\) 和一個文字串 \(t\),求有多少個不同的模式串在文字串裡出現過。
兩個模式串不同當且僅當他們編號不同。

概述:

結合Trie的結構

KMP的思想建立,建立一個AC自動機主要通過兩個步驟:

  • 1、建立Trie樹;

  • 2、對Trie樹上的所有結點構造失配指標

Trie樹的構建(第一步)

這個Trie樹就是普通的Trie樹,該怎麼建怎麼建

解釋一下Trie樹結點的含義:表示某個模式串的字首
後文也將稱作狀態。一個結點表示一個狀態,Trie樹的邊就是狀態的轉移

形式化的說,對於若干個模式串 \(s_1,s_2,s_3···s_n\),將它們構建一個Trie樹後的所有狀態的集合記為 \(Q\)

失配指標(第二步)

AC 自動機利用一個 fail 指標來輔助多模式串的匹配。

狀態 \(u\) 的 fail 指標指向另一個狀態 \(v\)

,其中 \(v \in Q\) ,且 \(v\)\(u\) 的最長字尾(即在若干個字尾狀態中取最長的一個作為 fail 指標)。

注意和KMP的next指標的區別:

兩者都是在失配的時候用於跳轉的指標;
next指標求的是最長的border(最長的 相同的 前後綴),而fail指標指向所有模式串的字首中匹配當前狀態的最長字尾

因為 KMP 只對一個模式串做匹配,而 AC 自動機要對多個模式串做匹配。有可能 fail 指標指向的結點對應著另一個模式串,兩者字首不同。但是另一個模式串的一定是這個模式串到這裡的一個字尾。

AC 自動機在做匹配時,同一位上可匹配多個模式串。

構建失配指標

(可以參考KMP中構建next指標的思想(

考慮更新 \(fail_u\)\(u\) 的父節點是 \(p\) , \(p\) 通過字元 \(c\) 的邊指向 \(u\) ,即 \(tr[p,c] = u\) 。假設深度小於 \(u\) 的所有結點的 \(fail\) 指標均已求得。

如果 \(tr[fail_p,c]\) 存在:則讓 \(fail_u\) 指向 \(tr[fail[p],c]\) 。相當於在 \(p\)\(fail\) 後面加一個字元 c ,分別對應 \(u\)\(fail_u\)
如果 \(tr[fail_p,c]\) 不存在:那麼我們繼續找到 \(tr[fail_{fail_p},c],c]\) 。重複 \(1\) 的判斷過程,一直跳 \(fail_u\) 指標指到根結點。
如果真的沒有,就讓 \(fail_u\) 指標指向根結點。

舉個例子,對字串 i, he, his, she, hers 組成的字典樹構建 fail 指標:

給張圖,其中黃色點表示當前結點 \(u\),綠色點表示已經 bfs 完成的點,橙邊是 fail 指標,紅邊是當前求出的 fail 指標。

重點分析一下 \(6\) 的構建

通過瞪眼法不難看出 \(fail[6]\) 應該指向結點 \(7\)

分析一下演算法流程,找到 \(6\) 的父節點 \(5\)\(fail[5] = 10\) 然而沒有 \(s\) 的出邊,所以繼續跳 \(fail\) 指標,\(fail[10] = 0\),發現 \(0\)\(s\) 的出邊並指向 \(7\),所以 \(fail[6] = 7\)

全部建完後的圖是這樣的:

這樣就完成了 \(fail\) 的構建,並得到一份比較暴力的構建方式,我們來看優化

字典樹和字典圖

先來看構建函式 build() ,該函式的目標有兩個,一個是構建 fail 指標,一個是構建自動機。

void build(){
    for(int i = 0; i < 26; ++i) if(tr[0][i]) q.push(tr[0][i]); // tr[0][i] 都指向 0 結點,所以不用賦初值
    //如果存在這個邊就入隊
    while(!q.empty()){
        int u = q.front(); q.pop();
        for(int i = 0; i < 26; ++i){
            if(tr[u][i]) fail[tr[u][i]] = tr[fail[u]][i], q.push(tr[u][i]);
            //按照上面所說的方式更新fail指標
            else tr[u][i] = tr[fail[u]][i];//這是那個優化,後面會講
        }
    }
}

我們是通過 bfs 構建 fail 指標的,而 fail 指標一定是由深度深的點指向深度淺的點。
我們由已經構建完成的點去構建未構建的點,假設我們當前的已經構建完成的一個狀態是 \(u\),通過字元 \(i\) 指向下一個狀態。

  • 如果存在下一個狀態 \(tr[u][i]\),那麼就讓 \(fail[tr[u][i]]\) 指向 \(tr[fail[u]][i]\)
    正確性應該比較顯然,如果 \(u\) 失配了會指向 \(fail[u]\),那麼在 \(u\) 後面接了一個狀態 \(i\) 後再失配就應該指向 \(fail[u]\) 在後面接一個狀態 \(i\) 在失配的位置。
    那如果沒有這個位置怎麼辦?\(fail[u]\) 的深度一定比 \(u\) 的深度淺,所以它已經被處理完了,如果 \(tr[fail[u]][i]\) 有值,那麼要麼是它在 \(fail[u]\) 的模式串下在後面接一個字元 \(i\),要麼是在 \(fail[fail[u]]\) 的模式串下在後面接一個字元 \(i\),...。不斷這麼遞迴,就算最終也沒有,那也只能說明指向了根節點,並不影響正確性。
  • 如果不存在下一個狀態 \(tr[u][i]\),我們讓它指向 \(tr[fail[u]][i]\),就是為了保證上面第一種情況的正確性。並且通過這步操作,我們可以在匹配的過程中自動跳 \(fail\) 指標,不必再單獨進行判斷。

原來的構建方法可以通過 \(while\) 迴圈尋找 \(fail\) 結點實現,迴圈太多次導致複雜度太高
上面提到的優化就是通過else語句的程式碼修改了字典樹的結構。
而它將不存在的字典樹狀態鏈連線到失配指標的對應狀態。使得再次遍歷這裡的時候會繼續向下跳轉,起到一個通過繼續開鏈來壓縮路徑的效果,這樣就能節省很多時間。
這樣 AC 自動機修改字典樹結構連出的邊就會使字典樹變為字典圖。

多模式匹配

(這只是對於引例的query函式,具體題目的函式寫法可能不太相同)

int query(char *t){
        int u = 0, res = 0;
        for(int i = 1; t[i]; ++i){
            u = tr[u][t[i] - 'a'];
            for(int j = u; j && e[j] != -1; j = fail[j]){
                res += e[j], e[j] = -1;
            }
        }
        return res;
    }

這裡 \(u\) 作為字典樹上當前匹配到的結點, \(res\) 即返回的答案。迴圈遍歷匹配串, \(u\) 在字典樹上跟蹤當前字元。利用 \(fail\) 指標找出所有匹配的模式串,累加到答案中。然後清零。對 \(cnt[j]\) 取反的操作用來判斷 \(cnt[j]\) 是否等於 \(-1\)。在上文中我們分析過,字典樹的結構其實就是一個 \(trans\) 函式,而構建好這個函式後,在匹配字串的過程中,我們會捨棄部分字首達到最低限度的匹配。\(fail\) 指標則指向了更多的匹配狀態。

例題

P3808 【模板】AC自動機(簡單版)

P3808 【模板】AC自動機(簡單版)

做法即上面的引例,這裡不再詳細介紹。

P3796 【模板】AC自動機(加強版)

P3796 【模板】AC自動機(加強版)

Solution

保證不會存在相同的字串,那麼在插入的末尾標記一下這是第幾個字串。
在詢問的時候,對於每個狀態不斷跳 \(fail\) 指標找到它的所有狀態,把遇到的末尾標記對應記錄一個 \(cnt\) 進行累加統計。
最後掃一遍 \(cnt\) 的陣列找出最大值

Code

/*
Work by: Suzt_ilymics
Knowledge: ??
Time: O(??)
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
#define LL long long
#define orz cout<<"lkp AK IOI!"<<endl

using namespace std;
const int MAXN = 1e6+5;
const int INF = 1e9+7;
const int mod = 1e9+7;

int n;
char s[220][77];
char t[MAXN];

int read(){
    int s = 0, f = 0;
    char ch = getchar();
    while(!isdigit(ch))  f |= (ch == '-'), ch = getchar();
    while(isdigit(ch)) s = (s << 1) + (s << 3) + ch - '0' , ch = getchar();
    return f ? -s : s;
}

namespace AC {
    int tr[MAXN][26], tot = 0;
    int e[MAXN], cnt[MAXN], fail[MAXN];
    queue<int> q;
    void Clear() {
        memset(tr, false, sizeof tr);
        memset(e, false, sizeof e);
        memset(cnt, false, sizeof cnt);
        memset(fail, false, sizeof fail);
        tot = 0;
    }
    void Insert(char *s, int id) {
        int now_ = 0;
        for(int i = 1; s[i]; ++i) {
            if(!tr[now_][s[i] - 'a']) tr[now_][s[i] - 'a'] = ++tot;
            now_ = tr[now_][s[i] - 'a'];
        }
        e[now_] = id;
    }
    void Get_fail() {
        for(int i = 0; i < 26; ++i) if(tr[0][i]) q.push(tr[0][i]);
        while(!q.empty()) {
            int u = q.front(); q.pop();
            for(int i = 0; i < 26; ++i) {
                if(tr[u][i]) fail[tr[u][i]] = tr[fail[u]][i], q.push(tr[u][i]);
                else tr[u][i] = tr[fail[u]][i];
            }
        }
    }
    void Query(char *t) {
        int u = 0;
        for(int i = 1; t[i]; ++i) {
            u = tr[u][t[i] - 'a'];
            for(int j = u; j; j = fail[j]) cnt[e[j]]++;
        }
    }
}

int main()
{
    while(true) {
        AC::Clear();
        n = read();
        if(!n) return 0;
        for(int i = 1; i <= n; ++i) scanf("%s", s[i] + 1), AC::Insert(s[i], i);
        scanf("%s", t + 1);
        AC::Get_fail();
        AC::Query(t);
        int Max = -1;
        for(int i = 1; i <= n; ++i) Max = max(Max, AC::cnt[i]);
        printf("%d\n", Max);
        for(int i = 1; i <= n; ++i) if(Max == AC::cnt[i]) printf("%s\n", s[i] + 1);
    }
    return 0;
}

P5357 【模板】AC自動機(二次加強版)

P5357 【模板】AC自動機(二次加強版)

Solution

顯然此時暴跳已經不能滿足我們的需求,畢竟隨便一個 \(aaa...aaa\) 的串就能把我們卡成 \(O(n^2)\) 的。

我們發現 \(fail\) 指標總是由深度深的點指向深度淺的點,那麼所有 \(u\)\(fail[u]\) 的連邊就恰好構成了一個 \(DAG\),那麼我們可以在匹配到每個節點的時候先不調 \(fail\) 指標,只是標記一下,留到最後一起跳。那樣就可以做到線性的複雜度了。

Code

/*
Work by: Suzt_ilymics
Problem: 不知名屑題
Knowledge: 垃圾演算法
Time: O(能過)
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#define LL long long
#define orz cout<<"lkp AK IOI!"<<endl

using namespace std;
const int MAXN = 2e6+5;
const int INF = 1e9+7;
const int mod = 1e9+7;

int n;
char s[MAXN];

int read(){
    int s = 0, f = 0;
    char ch = getchar();
    while(!isdigit(ch))  f |= (ch == '-'), ch = getchar();
    while(isdigit(ch)) s = (s << 1) + (s << 3) + ch - '0' , ch = getchar();
    return f ? -s : s;
}

namespace AC {
    int tr[MAXN][26], tot = 0;
    int fail[MAXN], e[MAXN], cnt[MAXN], pre[MAXN], id[MAXN];
    queue<int> q;
    void Insert(char *s, int bh) {
        int u = 0;
        for(int i = 1; s[i]; ++i) {
            if(!tr[u][s[i] - 'a']) tr[u][s[i] - 'a'] = ++ tot;
            u = tr[u][s[i] - 'a'];
        }
        e[u]++;
        pre[bh] = u;
    }
    void Get_fail() {
        for(int i = 0; i < 26; ++i) if(tr[0][i]) q.push(tr[0][i]);
        while(!q.empty()) {
            int u = q.front(); q.pop();
            for(int i = 0; i < 26; ++i) {
                if(tr[u][i]) fail[tr[u][i]] = tr[fail[u]][i], q.push(tr[u][i]), id[fail[tr[u][i]]]++;
                else tr[u][i] = tr[fail[u]][i];
            }
        }
    }
    void Query(char *s) {
        int u = 0;
        for(int i = 1; s[i]; ++i) {
            u = tr[u][s[i] - 'a'];
            cnt[u]++;
        }
    }
    void Topsort() {
        for(int i = 1; i <= tot; ++i) if(!id[i]) q.push(i);
        while(!q.empty()) {
            int u = q.front(); q.pop();
            int v = fail[u];
            cnt[v] += cnt[u];
            if(!--id[v]) q.push(v);
        }
    }
}

int main()
{
    n = read();
    for(int i = 1; i <= n; ++i) {
        scanf("%s", s + 1);
        AC::Insert(s, i);
    }
    AC::Get_fail();
    scanf("%s", s + 1);
    AC::Query(s);
    AC::Topsort();
    for(int i = 1; i <= n; ++i) {
        printf("%d\n", AC::cnt[AC::pre[i]]);
    }
    return 0;
}

P2444 [POI2000]病毒

P2444 [POI2000]病毒

Solution

如何確定它是安全的?
找到一個迴圈節,使他永遠不會迴圈到一個結尾結點。可以用 dfs 判環。
注意,如果一個結點的 \(fail\) 指標被標記,那麼它也是危險的,也應該被標記。
因為這個結點的 \(fail\) 指標指向的模式串是這個結點所對應的模式串的字尾。

Code

/*
Work by: Suzt_ilymics
Problem: 不知名屑題
Knowledge: 垃圾演算法
Time: O(能過)
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#define LL long long
#define orz cout<<"lkp AK IOI!"<<endl

using namespace std;
const int MAXN = 1e6+5;
const int INF = 1e9+7;
const int mod = 1e9+7;

int n;
char s[MAXN];

int read(){
    int s = 0, f = 0;
    char ch = getchar();
    while(!isdigit(ch))  f |= (ch == '-'), ch = getchar();
    while(isdigit(ch)) s = (s << 1) + (s << 3) + ch - '0' , ch = getchar();
    return f ? -s : s;
}

namespace AC {
    int tr[MAXN][2], tot = 0;
    int fail[MAXN], e[MAXN];
    bool vis[MAXN], f[MAXN];
    queue<int> q;
    void Insert(char *s) {
        int u = 0;
        for(int i = 1; s[i]; ++i) {
            if(!tr[u][s[i] - '0']) tr[u][s[i] - '0'] = ++ tot;
            u = tr[u][s[i] - '0'];
        }
        e[u] ++;
    }
    void Get_fail() {
        for(int i = 0; i < 2; ++i) if(tr[0][i]) q.push(tr[0][i]);
        while(!q.empty()) {
            int u = q.front(); q.pop();
            for(int i = 0; i < 2; ++i) {
                if(tr[u][i]) {
                    fail[tr[u][i]] = tr[fail[u]][i], q.push(tr[u][i]);
                    if(e[fail[tr[u][i]]]) e[tr[u][i]]++;
                }
                else tr[u][i] = tr[fail[u]][i];
            }
        }
    }
    bool dfs(int u) {
        vis[u] = true;
        for(int i = 0; i < 2; ++i) {
            if(vis[tr[u][i]]) return true;
            if(!e[tr[u][i]] && !f[tr[u][i]]) {
                f[tr[u][i]] = true;
                if(dfs(tr[u][i])) return true;
            }
        }
        vis[u] = false;
        return false;
    }
}

int main()
{
    n = read();
    for(int i = 1; i <= n; ++i) scanf("%s", s + 1), AC::Insert(s);
    AC::Get_fail();
    AC::dfs(0) ? puts("TAK") : puts("NIE");
    return 0;
}

其他例題

P5231 [JSOI2012]玄武密碼
P2292 [HNOI2004]L語言
P3121 [USACO15FEB]Censoring G
P3311 [SDOI2014] 數數 AC 自動機 + 數位 DP
CF163E e-Government AC 自動機 + 線段樹
P7582 「RdOI R2」風雨(rain) 比 CF163E 更噁心
P2414 [NOI2011] 阿狸的打字機

寫在後面

如有不懂或錯誤煩請指出,我會在最快的時間處理。

最後,屑題單求收藏qwq