本文转载自:
题目大意:
有N个确定的二进制串是病毒的代码。当某段代码中不存在任何一段病毒代码,那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段,试问,是否存在一个无限长的安全的二进制代码。
n≤2000
所有病毒代码段的总长度不超过30000
题解:
将所有的病毒代码构建一个AC自动机,
如果存在一个可行解,必定它在trie树中,从根节点开始走,不会碰到所有病毒的末尾节点(即不可行的点)。
而一个点,显然它的fail边连的点不可行,则这个点也必定是不可行的。
那么我们可以从trie的根节点进行dfs,
注意不走危险节点,不走历史访问过而已经不在栈中的节点
记录每个节点在当前 dfs 走的路径上有没有被选中,注意要保证路径上的点不存在不可行节点
当路径中出现环,则有解
代码:
#include #define N 233333 using namespace std; int n,num,next[N][2],fail[N],end[N],vis[N],rp[N]; char s[N]; void insert(char *s) { int len=strlen(s); int u=0; for (int i=0; i
Q; for (int i=0; i<=1; i++) if (next[0][i]) Q.push(next[0][i]); while (!Q.empty()) {
int u=Q.front(); Q.pop(); for (int i=0; i<=1; i++) if (!next[u][i]) next[u][i]=next[fail[u]][i]; else {
end[next[u][i]]|=end[next[fail[u]][i]]; fail[next[u][i]]=next[fail[u]][i]; Q.push(next[u][i]); } } } bool dfs(int dep) {
vis[dep]=rp[dep]=1; for(int i=0; i<=1; i++) {
if (rp[next[dep][i]]) return 1; if (!end[next[dep][i]] && !vis[next[dep][i]] && dfs(next[dep][i])) return 1; } rp[dep]=0; return 0; } int main() {
scanf("%d",&n); for (int i=1; i<=n; i++) {
scanf("%s",s); insert(s); } build(); if (dfs(0)) printf("TAK"); else printf("NIE"); return 0; }