洛谷P2444 [POI2000]病毒

二进制病毒审查委员会最近发现了如下的规律：某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码，那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段，试问，是否存在一个无限长的安全的二进制代码。
换句话说，让你求一个循环节，不包括给出的所有字符串，存在输出TAK，不然输出NIE

AC自动机建模好像不算
不过思路挺好的，我们在预处理fail指针的时候，如果不存在$ch[u][i]$节点，我们一般会把它连接到$ch[fail[u]][i]$上，避免fail跳的次数过多，可以起到优化的作用，这里运用了这个小优化，因为我们连接儿子实际上是把这一棵trie树连接成了一个trie图，那么我们要求的循环节在哪呢

一定是图中的一个环，且不包括任何一个给定字符串的结尾，甚至它的fail指针指向的位置都不可以是，为什么呢，很显然，你如果指向一个病毒结尾，那么这个病毒就一定包括在当前环内啊…

那么代码就很好写

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<queue>
using namespace std;
const int maxn = 30007;

int ch[maxn][2];
int cnt,n,fail[maxn],end[maxn];
int instack[maxn],vis[maxn];
void ins(string a){
	int len=a.length(),root=0;
	for(int i=0;i<len;i++){
		if(!ch[root][a[i]-'0'])ch[root][a[i]-'0']=++cnt;
		root=ch[root][a[i]-'0'];
	}
	end[root]=1;
}

void get_fail(){
	queue<int>q;
	for(int i=0;i<=1;i++){
		if(ch[0][i])fail[ch[0][i]]=0,q.push(ch[0][i]);
	}
	while(!q.empty()){
		int u=q.front();
		q.pop();
		for(int i=0;i<=1;i++){
			int to=ch[u][i];
			if(!to)ch[u][i]=ch[fail[u]][i];
			else{
				fail[ch[u][i]]=ch[fail[u]][i];
				q.push(ch[u][i]);
				end[to]|=end[fail[to]];
			}
		}
	}
}

void dfs(int now){
	if(instack[now]){
		printf("TAK");
		exit(0);
	}
	if(vis[now]||end[now])return;
	instack[now]=vis[now]=1;
	dfs(ch[now][1]);
	dfs(ch[now][0]);
	instack[now]=0;
}

int main(){
	scanf("%d",&n);
	for(int i=1;i<=n;i++){
		string a;
		cin>>a;
		ins(a);
	}
	get_fail();
	dfs(0);
	printf("NIE");
	return 0;
}