bzoj2938 [Poi2000]病毒

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

Solution

一个无限长的合法串，就会在ac自动机上跑成一个环，且不会进入 danger 节点。详见代码。

#include<bits/stdc++.h>using namespace std;#define N 1000001#define rep(i, a, b) for (int i = a; i <= b; i++)struct acDFAType {    int ch[N][2], fail[N], tot;    bool danger[N], inStk[N], vis[N];    char s[N];    void insert() {        scanf("%s", s); int u = 0, len = strlen(s);        rep(i, 0, len - 1) {            if(!ch[u][s[i] - '0']) ch[u][s[i] - '0'] = ++tot;            u = ch[u][s[i] - '0'];        }        danger[u] = 1;    }    void getFail() {        register queue<int> q; rep(i, 0, 1) if(ch[0][i]) q.push(ch[0][i]);        while(!q.empty()) {            int u = q.front(); q.pop();            rep(i, 0, 1) {                int v = ch[u][i]; if(!v) { ch[u][i] = ch[fail[u]][i]; continue; } q.push(v);                int tmp = fail[u]; while(tmp && !ch[tmp][i]) tmp = fail[tmp];                fail[v] = ch[tmp][i]; danger[v] |= danger[fail[v]];            }        }    }    bool dfs(int u) {        inStk[u] = 1;        rep(i, 0, 1) {            int v = ch[u][i]; if(inStk[v]) return 1; if(danger[v] || vis[v]) continue; vis[v] = 1;            if(dfs(v)) return 1;        }        return inStk[u] = 0;    }}acm;int main() {    int n; cin >> n; while(n--) acm.insert(); acm.getFail(); puts(acm.dfs(0) ? "TAK" : "NIE");    return 0;}