[BZOJ]2938 [POI2000] 病毒 AC自动机

2938: [Poi2000]病毒

Time Limit: 1 Sec   Memory Limit: 128 MB
Submit: 1201   Solved: 600
[ Submit][ Status][ Discuss]

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

Sample Output

NIE

HINT

Source

[ Submit][ Status][ Discuss] 

HOME Back

　　简单的AC自动机上判环. 因为无限长的话相当于就是在AC自动机上不断失配. 能在一个点数边数都有限的图上无限走必然有环. 那么直接dfs判环就可以了. dfs判环的时候要注意多加一个bool数组来保存搜索过没有， 如果有就不搜了.

　　一开始一直在想为什么dfs判环搜索过了就可以不再搜索， 万一再搜索一次搜索过的点就会与当前这次visit过的点形成环呢? 可能只是之前visit过的点与这个点形不成环. 后来发现自己sb了， 如果它能形成环的话， 第一次dfs到它继续dfs它就一定能找出那个环.

#include<bits/stdc++.h>
using namespace std;
const int maxn = 3e4 + 5;
int n, tot;
char ss[maxn];
bool vis[maxn], ban[maxn], ins[maxn];
int c[maxn][2], fail[maxn];
inline void insert() {
	int p = 0;
	for (int i = 0; ss[i]; ++ i) {
		int idx = ss[i] - '0';
		if (!c[p][idx]) c[p][idx] = ++ tot;
		p = c[p][idx];
	}
	ban[p] = true;
}
queue<int> q;
inline void bfs() {
	for (int i = 0; i < 2; ++ i)
		if (c[0][i]) q.push(c[0][i]);
	while (!q.empty()) {
		int u = q.front(); q.pop();
		for (int i = 0; i < 2; ++ i) {
			int &v = c[u][i];
			if (!v) {v = c[fail[u]][i]; continue;}
			fail[v] = c[fail[u]][i], ban[v] |= ban[fail[v]];
			q.push(v);
		}
	}
}
void dfs(int u) {
	vis[u] = true;
	for (int i = 0; i < 2; ++ i) {
		if (vis[c[u][i]]) {
			puts("TAK");
			exit(0);
		} 
		else if (!ban[c[u][i]] && !ins[c[u][i]]) {
			ins[c[u][i]] = true;
			dfs(c[u][i]);
		}
	}
	vis[u] = false;
}
int main() {
	scanf("%d", &n);
	for (int i = 0; i < n; ++ i) {
		scanf("%s", ss);
		insert();
	}
	bfs(), dfs(0);
	puts("NIE");
	return 0;
}