Time Limit: 1 Sec Memory Limit: 128 MB
Submit: 993 Solved: 500
[Submit][Status][Discuss]
Description
二进制病毒审查委员会最近发现了如下的规律：某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码，那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段，试问，是否存在一个无限长的安全的二进制代码。
示例：
例如如果{011, 11, 00000}为病毒代码段，那么一个可能的无限长安全代码就是010101…。如果{01, 11, 000000}为病毒代码段，那么就不存在一个无限长的安全代码。
任务：
请写一个程序：
- 读入病毒代码；
- 判断是否存在一个无限长的安全代码；
- 将结果输出
Input
第一行包括一个整数n，表示病毒代码段的数目。以下的n行每一行都包括一个非空的01字符串——就是一个病毒代码段。所有病毒代码段的总长度不超过30000。
Output
你应在在文本文件WIN.OUT的第一行输出一个单词：
- TAK——假如存在这样的代码；
- NIE——如果不存在。
Sample Input
3
01
11
00000
Sample Output
NIE
思路
AC自动机+拓扑序列；
代码实现
1 #include<cstdio> 2 const int maxn=3e4+10; 3 int n; 4 char ch[maxn]; 5 int next[maxn][2],fail[maxn],sz=2; 6 bool end[maxn]; 7 void ins(){ 8 int a; 9 scanf("%s",ch); 10 for(int i=0,j=0;;i++){ 11 if(!ch[i]){end[j]=1;break;} 12 a=ch[i]-'0'; 13 if(!next[j][a]) next[j][a]=++sz; 14 j=next[j][a]; 15 } 16 } 17 int q[maxn],head,tail; 18 void build(){ 19 int a,b; 20 head=0,tail=2; 21 q[0]=1,q[1]=2; 22 while(head<tail){ 23 a=q[head++]; 24 if(next[a][0]){ 25 b=fail[a]; 26 while(!next[b][0]) b=fail[b]; 27 fail[next[a][0]]=next[b][0]; 28 if(end[next[b][0]]) end[next[a][0]]=1; 29 q[tail++]=next[a][0]; 30 } 31 else next[a][0]=next[fail[a]][0]; 32 if(next[a][1]){ 33 b=fail[a]; 34 while(!next[b][1]) b=fail[b]; 35 fail[next[a][1]]=next[b][1]; 36 if(end[next[b][1]]) end[next[a][1]]=1; 37 q[tail++]=next[a][1]; 38 } 39 else next[a][1]=next[fail[a]][1]; 40 } 41 } 42 int tot; 43 int point[maxn],nxt[maxn<<1],v[maxn<<1],in[maxn]; 44 bool vis[maxn]; 45 void add(int x,int y){tot++,nxt[tot]=point[x],point[x]=tot,v[tot]=y;} 46 void dfs(int k){ 47 vis[k]=1; 48 add(k,next[k][0]);in[next[k][0]]++; 49 if(!vis[next[k][0]]&&!end[next[k][0]]) dfs(next[k][0]); 50 add(k,next[k][1]);in[next[k][1]]++; 51 if(!vis[next[k][1]]&&!end[next[k][1]]) dfs(next[k][1]); 52 } 53 bool f_ring(){ 54 int cnt=0,a; 55 head=tail=0; 56 for(int i=0;i<sz;i++) if(!in[i]) q[tail++]=i; 57 while(head<tail){ 58 a=q[head++],cnt++; 59 for(int i=point[a];i;i=nxt[i]){ 60 in[v[i]]--; 61 if(!in[v[i]]) q[tail++]=v[i]; 62 } 63 } 64 return cnt<sz; 65 } 66 int main(){ 67 scanf("%d",&n); 68 next[0][0]=1,next[0][1]=2; 69 for(int i=1;i<=n;i++) ins(); 70 build(); 71 dfs(0); 72 if(f_ring()) puts("TAK"); 73 else puts("NIE"); 74 return 0; 75 }