bzoj2938，tyvj4338，病毒（trie+拓扑判环）

2938: [Poi2000]病毒

Time Limit: 1 Sec   Memory Limit: 128 MB
Submit: 345   Solved: 176
[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安全图内无限走，就是是否有环。

基本思路就是把Trie安全图提出来，拓扑判断是否有环（判环的问题需要整理一下）

实现好乱。呜呜呜

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<queue>
using namespace std;

int n,tot=1,ch[100005][2],val[100005],fail[100005];//Trie  
int num,in[100005],head[100005],cnt,pre[100005],to[100005],V;//safe graph
char s[30005];
bool b[100005];
inline int idx(char ch){return ch-'0';}
void addedge(int x,int y)
{
	in[y]++;to[++cnt]=y;pre[cnt]=head[x];head[x]=cnt;
}
void insert(char *s)
{
	int k=1,len=strlen(s);
	for (int i=0;i<len;i++)
	{
		int id=idx(s[i]);
		if (ch[k][id]==0) ch[k][id]=++tot;
		k=ch[k][id];
	}
	val[k]=1;
}
void getfail()
{
	queue<int> q;
	q.push(1);
	while (!q.empty())
	{
		int x=q.front(),y,j;q.pop();
		val[x]|=val[fail[x]];
		for (int i=0;i<=1;i++)
		{
			j=fail[x];
			while (j&&!ch[j][i]) j=fail[j];
			if (ch[x][i])
			{
				fail[y=ch[x][i]]=j?ch[j][i]:1;
				q.push(y);
			}
			else ch[x][i]= (j?ch[j][i]:1);
		}
	}
}
bool circle()
{
	queue<int> q;
	int sum=0;
	for (int i=1;i<=tot;i++)
	{
		if (val[i]) sum++;
		else for (int j=0;j<=1;j++) 
		if (!val[ch[i][j]])
			addedge(i,ch[i][j]);
	}
	for (int i=1;i<=tot;i++) if (!val[i]&&!in[i]) q.push(i);
	while (!q.empty())
	{
		int x=q.front();q.pop();sum++;
		for(int i=head[x];i;i=pre[i])
		{
			int y=to[i];
			in[y]--;
			if (!in[y]) q.push(y);
		}
	}
	return sum==tot;
}
int main()
{
	scanf("%d",&n);
	for (int i=1;i<=n;i++)
	{
		scanf("%s",s);
		insert(s);
	}
	getfail();
	if (circle()) printf("NIE");else printf("TAK");
	return 0;
}