[POI2000]病毒

（2021的第一篇博客，当鸽子好久了，开始沉淀）

题意

给定一些(01)串，问是否存在一个任意长的(01)串不包含所给的任意一个(01)串

想法

因为有多个文本串，所以明显考虑(AC自动机)，不同的是这次是要我们来找原串，我们可以发现将(trie)树进行(fail)边匹配的时候
其实是把树扩展了图。
如果存在这样一个原串 可以不包含任意一个串 那我们来想一下他在自动机上要怎么匹配
显然是会一直匹配下去，形成一个环！
所以我们在(trie)图上找环即可，注意当一个点的(fail)边所对应的节点是结束节点的话，要把这个点也认为是结束节点

代码

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#define ll long long

ll n,cnt;

using std::queue;

char num[30005];

ll trie[40000][5],fail[40000];

bool end[40000];

void insert(){
	ll now = 0;
	ll len = strlen(num + 1);
	for(int i = 1;i <= len;++i){
		if(!trie[now][num[i] - '0'])
		++cnt,trie[now][num[i] - '0'] = cnt;;
		now = trie[now][num[i] - '0'];
	}
	end[now] = 1;
}

queue<int>QWQ;

void get_fail(){
	for(int i = 0;i <= 1;++i)
	if(trie[0][i]) fail[trie[0][i]] = 0,QWQ.push(trie[0][i]);
	while(!QWQ.empty()){
		int u = QWQ.front();QWQ.pop();
		for(int i = 0;i <= 1;++i){
		if(trie[u][i]) fail[trie[u][i]] = trie[fail[u]][i],QWQ.push(trie[u][i]);
		else trie[u][i] = trie[fail[u]][i];
		if(end[trie[fail[u]][i]])
		end[trie[u][i]] = 1;
		}
	}
}

bool ins[40000],used[40000];

bool get(ll now){
	ins[now] = 1;
	for(int i = 0;i < 2;++i){
		int v = trie[now][i];
		if(ins[v]) return 1;
		if(used[v] || end[v]) continue;
		used[v] = 1;
		if(get(v)) return 1;
	}
	ins[now] = 0;
	return 0;
} 

int main(){
	scanf("%lld",&n);
	for(int i = 1;i <= n;++i){
		scanf("%s",num + 1);
		insert();
	}
	get_fail();	
	if(get(0))
	puts("TAK");
	else
	puts("NIE");
}