【BZOJ】2938: [Poi2000]病毒-AC自动机

传送门：bzoj2938

---

题解

就是求能不能找到一个无法匹配ac自动机上所有串的无限循环的串。
那么反向考虑一下怎么能匹配的上：只要跳fail的过程中跳到了某个串的末节点。
要找一个无法匹配的串，即所有是末节点，以及能跳fail到末节点的点都不能走。
需要判断在剩下的点当中是否存在一个环（包括fail链）。

---

代码

#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int N=3e4+10;
int n,jud,ch[N][2],f[N],ed[N],cnt,v[N],d[N];
char s[N];
queue<int>Q;

inline void dfs(int x)
{
	if(jud) return;
    v[x]=1;
    for(int i=0;i<2;++i){
    	if(v[ch[x][i]]){jud=1;return;}
    	else if(!ed[ch[x][i]] && !d[ch[x][i]]){
    		d[ch[x][i]]=1;dfs(ch[x][i]);
    	}
    }
    v[x]=0;
}
int main(){
	register int i,k,u,alp,kmp;
	scanf("%d",&n);
	while(n--){
		scanf("%s",s);k=strlen(s);u=0;
		for(i=0;i<k;++i){
			alp=s[i]-'0';
			if(!ch[u][alp]) ch[u][alp]=++cnt;
			u=ch[u][alp];
		}ed[u]=1;
	}
	for(i=0;i<2;++i) if(ch[0][i]) Q.push(ch[0][i]);
    while(!Q.empty()){
    	u=Q.front();Q.pop();kmp=f[u];
    	for(i=0;i<2;++i)
    	 if(ch[u][i]){
		   f[ch[u][i]]=ch[kmp][i];
		   if(ed[ch[kmp][i]]) ed[ch[u][i]]=1;
		   Q.push(ch[u][i]);
		 }else ch[u][i]=ch[kmp][i];
    }
    dfs(0);
    if(jud) printf("TAK\n");else printf("NIE\n");
}