bzoj2938(ac自动机)

刚学了ac自动机，去hzwer上找了道练习题；

串是安全的就说明ac自动机不会找到匹配，考虑ac自动机的匹配过程；

我们把val等于1的点删掉和fail指针指向被删掉的点删掉；

如果剩下的图有环，就有解；

#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<algorithm>
using namespace std;
const int maxn=;
int tot,vis1[maxn],vis2[maxn],q[maxn],head,tail,in[maxn];
struct node{
    int son[],f,cnt,v;
}ch[maxn];
char s[maxn];
void add(char s[]){
    int u=,len;
    len=strlen(s);
    for(int i=;i<len;++i){
        int c=s[i]-'';
        if(!ch[u].son[c]){ch[u].son[c]=++tot;}
        u=ch[u].son[c];
    }
    ch[u].v=;
    vis1[u]=;
}
void pre(){
    head=tail=;
    ch[].f=;
    for(int i=;i<;++i){
        if(ch[].son[i])q[++tail]=ch[].son[i];
    }
    while(head<tail){
        int now=q[++head];
        for(int i=;i<;++i){
            int u=ch[now].son[i];
            if(!u){ch[now].son[i]=ch[ch[now].f].son[i];continue;}
            int v=ch[now].f;
            while(v&&!ch[v].son[i])v=ch[v].f;
            ch[u].f=ch[v].son[i];
            vis1[u]|=vis1[ch[v].son[i]];
            q[++tail]=u;
        }
    }
}
bool dfs(int x){
    in[x]=;
    for(int i=;i<;++i){
        int v=ch[x].son[i];
        if(in[v])return ;
        if(vis1[v]||vis2[v])continue;
        vis2[v]=;
        if(dfs(v))return ;
    }
    in[x]=;
    return ;
}
int n;
int main(){
    scanf("%d",&n);
    for(int i=;i<=n;++i){
        scanf("%s",s);
        add(s);
    }
    pre();
    if(dfs())puts("TAK");
    else puts("NIE");
    system("pause");
    return ;
}