【bzoj2938】[Poi2000]病毒 AC自动机

Description

二进制病毒审查委员会最近发现了如下的规律：某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码，那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段，试问，是否存在一个无限长的安全的二进制代码。

示例：

例如如果{011, 11, 00000}为病毒代码段，那么一个可能的无限长安全代码就是010101…。如果{01, 11, 000000}为病毒代码段，那么就不存在一个无限长的安全代码。

任务：

请写一个程序：

l 读入病毒代码；

l 判断是否存在一个无限长的安全代码；

l 将结果输出

Input

第一行包括一个整数n，表示病毒代码段的数目。以下的n行每一行都包括一个非空的01字符串——就是一个病毒代码段。所有病毒代码段的总长度不超过30000。

Output

你应在在文本文件WIN.OUT的第一行输出一个单词：

l TAK——假如存在这样的代码；

l NIE——如果不存在。

Sample Input

3

01

11

00000

Sample Output

NIE

题解

建立AC自动机，一个代码为安全的当且仅当其能在AC自动机上无限匹配。

判断不走danger点是否构成环。

细节：如果一个点失配，且其连向点为danger，则其也为danger

代码

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<map>
#define ll long long
#define inf 1000000000
#define mod 1000000007
using namespace std;
inline int read()
{
int x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if (ch=='-') f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
map<pair<int,int>,bool>mp;
char s[30005];
int a[300005][2],tot,point[300005],q[300005],n;
bool flag,danger[300005],f[300005],vis[300005];
inline void ins()
{
int now=1,l=strlen(s);
for (int i=0;i<l;i++)
{
int t=s[i]-'0';
if (!a[now][t]) a[now][t]=++tot;
now=a[now][t];
}
danger[now]++;
}
inline void acmach()
{
int Head=0,tail=1;
q[1]=1;point[1]=0;
while (Head!=tail)
{
int now=q[++Head];
for (int i=0;i<2;i++)
{
if (a[now][i])
{
point[a[now][i]]=a[point[now]][i];
if (danger[point[a[now][i]]]) danger[a[now][i]]=1;
q[++tail]=a[now][i];
}
else a[now][i]=a[point[now]][i];
}
}
}
bool dfs(int now)
{
f[now]=1;
for(int i=0;i<2;i++)
{
int v=a[now][i];
if(f[v])return 1;
if(vis[v]||danger[v])continue;
vis[v]=1;
if(dfs(v))return 1;
}
f[now]=0;
return 0;
}
int main()
{
n=read();a[0][0]=a[0][1]=1;tot=1;
for (int i=1;i<=n;i++)
{
scanf("%s",s);
ins();
}
acmach();
if (dfs(1)) puts("TAK");else puts("NIE");
return 0;
}