BZOJ2938 POI2000病毒

我们不能让重复过的字串出现在无限串上（就叫这个了。。。）

也就是要自动机一直能匹配但就是匹配不到，那么就是在自动机上找一个环。

dfs判环即可。注意是个有向图。

#include<bits/stdc++.h>
using namespace std;
const int N=30005;
struct node
{
    int v[3],f,s;
}t[N];
int n,cnt;
queue<int>q;
char s[1000005];
void build()
{
    int l=strlen(s);int now=0;
    for(int i=0;i<l;++i)
    {
        if(t[now].v[s[i]-'0']){
            now=t[now].v[s[i]-'0'];
        }
        else{
            now=t[now].v[s[i]-'0']=++cnt;
        }
    }
    t[now].s++;
}
void getfail()
{
    for(int i=0;i<2;++i)
    {
        if(t[0].v[i])q.push(t[0].v[i]),t[t[0].v[i]].f=0;
    }
    while(!q.empty())
    {
        int x=q.front();q.pop();
        for(int i=0;i<2;++i)
        {
            if(t[x].v[i]){
                q.push(t[x].v[i]);
                t[t[x].v[i]].f=t[t[x].f].v[i];
                t[t[x].v[i]].s|=t[t[t[x].v[i]].f].s;//我们不是统计个数而是坚决拒绝结束标记的存在
            }
            else{
                t[x].v[i]=t[t[x].f].v[i];
            }
        }
    }
}
bool in[N],v[N];
bool dfs(int x)
{
    in[x]=1;
    for(int i=0;i<2;++i)
    {
        int y=t[x].v[i];
        if(in[y])return 1;
        if(t[y].s||v[y])continue;
        v[y]=1;
        if(dfs(y))return 1;
    }
    in[x]=0;return 0;
}
int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;++i)
    {
        scanf("%s",s);
        build();
    }
    getfail();
    if(dfs(0))puts("TAK");
    else puts("NIE");
    return 0;
}