BZOJ2938:[POI2000]病毒(AC自动机)
Description
二进制病毒审查委员会最近发现了如下的规律：某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码，那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段，试问，是否存在一个无限长的安全的二进制代码。
示例：
例如如果{011, 11, 00000}为病毒代码段，那么一个可能的无限长安全代码就是010101…。如果{01, 11, 000000}为病毒代码段，那么就不存在一个无限长的安全代码。
任务：
请写一个程序：
l 读入病毒代码；
l 判断是否存在一个无限长的安全代码；
l 将结果输出
Input
第一行包括一个整数n，表示病毒代码段的数目。以下的n行每一行都包括一个非空的01字符串——就是一个病毒代码段。所有病毒代码段的总长度不超过30000。
Output
你应在在文本文件WIN.OUT的第一行输出一个单词：
l TAK——假如存在这样的代码；
l NIE——如果不存在。
Sample Input
3
01
11
00000
01
11
00000
Sample Output
NIE
Solution
QvQ现在才理解AC自动机buildfail的时候继承儿子其实就相当于把trie树补成trie图
对于这个题只需要建好trie图，然后在trie图上找一个环
为什么呢？因为我们如果拿一个安全代码在自动机上跑
一定会不停的跑而到不了单词的结束点，这就要求必须有个环
而且这个环要求必须经过根节点，且不经过一些限制节点
限制节点包括单词的结束节点，还有若一个点的fail指向的点是限制节点
那么这个点也是限制节点。
因为fail指向的是当前串的最长后缀，
fail指向的后缀都是病毒了，那当前串本身一定也是病毒了
Code
1 #include<iostream> 2 #include<cstring> 3 #include<cstdio> 4 #include<queue> 5 #define N (100000+100) 6 using namespace std; 7 int Son[N][27],Fail[N],End[N],Ind[N]; 8 int n,sz,head[N],num_edge; 9 bool vis[N],flag; 10 char s[N]; 11 queue<int>q; 12 13 void Insert(char s[]) 14 { 15 int now=0,len=strlen(s); 16 for (int i=0; i<len; ++i) 17 { 18 int x=s[i]-'0'; 19 if (!Son[now][x]) Son[now][x]=++sz; 20 now=Son[now][x]; 21 } 22 ++End[now]; 23 } 24 25 void Build_Fail() 26 { 27 for (int i=0; i<=1; ++i) 28 if (Son[0][i]) 29 q.push(Son[0][i]); 30 while (!q.empty()) 31 { 32 int now=q.front(); 33 q.pop(); 34 for (int i=0; i<=1; ++i) 35 { 36 if (!Son[now][i]) 37 { 38 Son[now][i]=Son[Fail[now]][i]; 39 continue; 40 } 41 Fail[Son[now][i]]=Son[Fail[now]][i]; 42 if (End[Fail[Son[now][i]]]) End[Son[now][i]]++; 43 //因为fail指针指向的点代表的字符串一定是当前字符串的一个最长后缀 44 //若后缀都是病毒了，那他本身一定也是病毒了 45 q.push(Son[now][i]); 46 } 47 } 48 } 49 50 int ins[N],used[N]; 51 bool Dfs(int x) 52 { 53 ins[x]=1; 54 for(int i=0; i<2; i++) 55 { 56 int v=Son[x][i]; 57 if(ins[v])return 1; 58 if(used[v]||End[v])continue; 59 used[v]=1; 60 if(Dfs(v))return 1; 61 } 62 ins[x]=0; 63 return 0; 64 } 65 66 int main() 67 { 68 scanf("%d",&n); 69 for (int i=1; i<=n; ++i) 70 scanf("%s",s),Insert(s); 71 Build_Fail(); 72 if(Dfs(0))puts("TAK"); 73 else puts("NIE"); 74 }
