BZOJ 2938 [Poi2000]病毒

2938: [Poi2000]病毒

Time Limit: 1 Sec   Memory Limit: 128 MB
Submit: 516   Solved: 267
[ 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

HINT

【题目分析】

    貌似是第一次写bzoj的权限题。这道题读完题之后，想到了AC自动机，然后再trie 图里找一个环就是无限长的安全代码了。至于判环的方法，还是学习了一下别人的拓扑排序的方法。

【代码】

#include <cstdio>
#include <cstring>
#include <string>
#include <queue>
#include <algorithm>
using namespace std;
#define M(a) memset(a,-1,sizeof a)
#define F(i,j,k) for (int i=j;i<=k;++i)
char s[30010];
int en=0,sum=1,trie[30010][2],fail[30010],v[30100],in[300010],h[300010],ne[300010],fr[300010],go[300010];
inline void insert()
{
	scanf("%s",s);
	int now=1,l=strlen(s)-1;
	F(i,0,l)
	{
		if (!trie[now][s[i]-'0']) trie[now][s[i]-'0']=++sum;
		now=trie[now][s[i]-'0'];
	}
	v[now]++;
}
inline void add(int u,int v)
{
	en++;
	fr[en]=u;
	go[en]=v;
	ne[en]=h[u];
	h[u]=en;
	
}
inline void bfs()
{
	queue <int> q;
	q.push(1);
	while (!q.empty())
	{
		int x=q.front();q.pop();v[x]|=v[fail[x]];
		F(i,0,1)
		{
			int j=fail[x];
			while (j&&!trie[j][i]) j=fail[j];
			if (trie[x][i]) fail[trie[x][i]]=j?trie[j][i]:1,q.push(trie[x][i]);
			else trie[x][i]=j?trie[j][i]:1;
		}
	}
}
inline bool ts()
{
	queue <int> q;
	F(i,1,sum) F(j,0,1) if (!v[i]&&!v[trie[i][j]]) in[trie[i][j]]++,add(i,trie[i][j]);
	F(i,1,sum) if (!in[i]) q.push(i);
	int num=0;
	while (!q.empty())
	{
		int x=q.front(); q.pop(); num++;
		for (int i=h[x];i;i=ne[i])
		{
			in[go[i]]--;
			if (!in[go[i]]) q.push(go[i]);
		}
	}
	return num>=sum;
}
int main()
{
	M(h);M(ne);M(ne);M(fr);
	int n;
	scanf("%d",&n);
	for (int i=1;i<=n;++i) insert();
	bfs();
	printf("%s",ts()?"NIE":"TAK");
}