洛古2444 [POI2000]病毒 ac自动机

题目大意

二进制病毒审查委员会最近发现了如下的规律：某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码，那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段，试问，是否存在一个无限长的安全的二进制代码。

示例：

例如如果{011, 11, 00000}为病毒代码段，那么一个可能的无限长安全代码就是010101…。如果{01, 11, 000000}为病毒代码段，那么就不存在一个无限长的安全代码。

任务：

请写一个程序：

1.在文本文件WIR.IN中读入病毒代码；

2.判断是否存在一个无限长的安全代码；

3.将结果输出到文件WIR.OUT中。

分析

既然这个自动机又像一个图，那我们的问题不就变成了——在AC自动机(trie图)中寻找一个环，并且环上没有任何危险节点，并且还要注意，这个环能被根节点访问到（也就是说从根节点出发能在不经过危险节点的情况下走到到这个环

code

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define MAX 50000
struct Node
{
int vis[2];
int fail,lt;
}t[MAX];
int n,tot;
char ch[MAX];
void insert(char *s)
{
int l=strlen(s+1),now=0;
for(int i=1;i<=l;++i)
{
if(!t[now].vis[s[i]-48])
t[now].vis[s[i]-48]=++tot;
now=t[now].vis[s[i]-48];
}
t[now].lt=1;
}
void Getfail()
{
queue<int> Q;
for(int i=0;i<2;++i)
if(t[0].vis[i])Q.push(t[0].vis[i]);
while(!Q.empty())
{
int u=Q.front();Q.pop();
t[u].lt|=t[t[u].fail].lt;
for(int i=0;i<2;++i)
if(t[u].vis[i])
t[t[u].vis[i]].fail=t[t[u].fail].vis[i],Q.push(t[u].vis[i]);
else t[u].vis[i]=t[t[u].fail].vis[i];
}
}
bool vis[MAX];
bool vv[MAX];
void DFS(int u)
{
if(t[u].lt)return;
if(vis[u]){puts("TAK");exit(0);}
if(vv[u])return;
vis[u]=true;vv[u]=true;
for(int i=0;i<2;++i)
if(t[u].vis[i])
DFS(t[u].vis[i]);
vis[u]=false;
}
int main()
{
scanf("%d",&n);
while(n--)
{
scanf("%s",ch+1);
insert(ch);
}
Getfail();
DFS(0);
puts("NIE");
return 0;
}