[BZOJ2938][POI2000]病毒 做題筆記

·· / ·– ·· ·-·· ·-·· / ·–· · ·-· ··· ·· ··· - / ··- -· - ·· ·-·· / ·· / ·– ·· -·
題目來源：http://www.lydsy.com/JudgeOnline/problem.php?id=2938

zky:

首先我們把所有串建一個AC自動機

方便起見我們直接把fail指針合併到子結點

如果一個串能無限長,也就是說它可以在AC自動機上一直進行匹配但就是匹配不上

這題trie樹的fail指針可以直接化成邊，構建fail時，一旦匹配不上，即可將ch[i][c]賦爲ch[fail[i]][c]。
注意單詞結點x本身不能走，且通過fail能走到x的y也不能走。
在新圖上dfs判環。

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <queue>
const int N=30009;
using namespace std;
int ch[N][2],fail[N],danger[N],cnt;
bool vis[N],instack[N];
char s[N];int n,m;
queue<int> q;
void ins () {
    scanf("%s",s);
    int len=strlen(s),p=1,c;
    for (int i=0;i<len;i++) {
        if (!ch[p][c=s[i]-48]) ch[p][c]=++cnt;//
        p=ch[p][c];
    }
    danger[p]=1;
}
void getfail () {
    int p=1,k,c;
    while (!q.empty()) q.pop();
    q.push(1);fail[0]=1;//
    while (!q.empty()) {
        p=q.front(); q.pop();
        for (int i=0;i<2;i++) {
            if (!ch[p][i]) { ch[p][i]=ch[fail[p]][i];continue; }//
            k=fail[p];
            while (!ch[k][i]) k=fail[k];
            fail[ch[p][i]]=ch[k][i];
            danger[ch[p][i]]|=danger[ch[k][i]];//
            q.push(ch[p][i]);
        }
    }
}
bool dfs (int x) {
    instack[x]=1;
    for (int i=0;i<2;i++) {
        if (instack[ch[x][i]]) return 1;
        if (vis[ch[x][i]]||danger[ch[x][i]]) continue;
        vis[ch[x][i]]=1;
        if (dfs(ch[x][i])) return 1;
    }
    instack[x]=0;
    return 0;
}
int main () {
    scanf("%d",&n);
    cnt=1;ch[0][0]=ch[0][1]=1;
    for (int i=1;i<=n;i++) ins();
    getfail();
    if (dfs(1)) puts("TAK");
    else puts("NIE");
    return 0;
}