bzoj 2938: [Poi2000]病毒

题目大意，问是否存在一个无限长的串，且不包含题目给出的子串。

AC自动机。

将给出的n个串建一颗AC自动机，如果有一个无限长串能在上面一直跑且一直不经过匹配点就满足条件。

容易想到即要在自动机上存在一个不包含匹配点的环。

dfs一遍就好了。

code：

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<queue>
#include<algorithm>
#include<cstring>
using namespace std;
struct trnode{
	int fail,a[3];
}tr[30005];int root=1,tot=1;
int n;
bool check[30005];
char s[30005];
void build()
{
	int len=strlen(s+1),x=root;
	for(int i=1;i<=len;i++)
	{
		int c=s[i]-'0';
		if(!tr[x].a[c]) tr[x].a[c]=++tot;
		x=tr[x].a[c];
	}
	check[x]=true;
}
queue<int> q;
void make_fail()
{
	q.push(root);
	while(!q.empty())
	{
		int x=q.front();q.pop();
		for(int i=0;i<2;i++)
		{
			if(!tr[x].a[i]) continue;
			if(x==root) tr[tr[x].a[i]].fail=root;
			else
			{
				int j=tr[x].fail;
				while(j!=root&&!tr[j].a[i]) j=tr[j].fail;
				tr[tr[x].a[i]].fail=tr[j].a[i];
				check[tr[x].a[i]]|=check[tr[j].a[i]];
			}
			q.push(tr[x].a[i]);
		}
	}
}
bool vis[30005],ins[30005];
bool dfs(int x)
{
	if(ins[x]) return true;
	if(vis[x]||check[x]) return false;
	vis[x]=ins[x]=true;
	for(int i=0;i<2;i++)
	{
		int k=x;
		while(k!=root&&!tr[k].a[i]) k=tr[k].fail;
		if(dfs(tr[k].a[i])) return true;
	}
	ins[x]=false;
	return false;
}
int main()
{
	scanf("%d",&n);
	memset(check,false,sizeof(check));
	for(int i=0;i<2;i++) tr[root].a[i]=++tot;
	for(int i=1;i<=n;i++)
	{
		scanf("%s",s+1);
		build();
	}
	make_fail();
	memset(vis,false,sizeof(vis));
	memset(ins,false,sizeof(ins));
	if(dfs(root)) printf("TAK");
	else printf("NIE");
}