BZOJ 2938: [Poi2000]病毒 AC自动机

2938: [Poi2000]病毒

Time Limit: 1 Sec  Memory Limit: 128 MB
Submit: 983  Solved: 498
[Submit][Status][Discuss]

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

trie树与fail树会构成一个有向图

如果出现图中非danger范围内有环

则TAK

#include<cmath>
#include<ctime>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<complex>
#include<iostream>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<string>
#include<bitset>
#include<queue>
#include<set>
#include<map>
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<='9'&&ch>='0'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
	return x*f;
	
}

const int N=30010;

int sz=1,tr[N][2],fail[N];

bool danger[N],flag;

inline void insert(char s[])
{
	register int i,k,now=1,len=strlen(s+1);
	for(i=1;i<=len;++i)
	{
		k=s[i]-'0';
		if(!tr[now][k])tr[now][k]=++sz;
		now=tr[now][k];
	}
	danger[now]=1;
}

int q[N];

bool book[N],vis[N];

void build()
{
	register int i,k,u,head=0,tail=1;
	fail[1]=0;q[head]=1;
	while(head<tail)
	{
		u=q[head++];
		for(i=0;i<2;++i)
		{
			if(tr[u][i])
			{
				k=fail[u];
				fail[tr[u][i]]=tr[k][i];
				if(danger[tr[k][i]])danger[tr[u][i]]=1;
				q[tail++]=tr[u][i];
			}
			else tr[u][i]=tr[fail[u]][i];
		}
	}
}

void dfs(int u)
{
	if(book[u])flag=1;
	if(flag||vis[u])return ;
	book[u]=vis[u]=1;
	for(int i=0;i<2;++i)
	{
		if(danger[tr[u][i]]&&tr[u][i]!=1)continue;
		dfs(tr[u][i]);
	}
	book[u]=0;
}

char s[N];

int main()
{
	int n=read();
	register int i;
	for(i=1;i<=n;++i){scanf("%s",s+1);insert(s);}
	tr[0][0]=tr[0][1]=1;
	build();dfs(1);
	flag?puts("TAK"):puts("NIE");
	return 0;
}
/*
3
01
11
00000

NIE
*/