BZOJ2938 [Poi2000]病毒 解题报告【AC自动机】【DFS】

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
解题报告
这道题的题意是找一个无限长的串让他可以在AC自动机上无限的走下去，也就是永远失配。
这样就形成了一个有向图，现在要从根节点出发找一个环，使得路径上不经过单词结尾节点，DFS就是了。

#include<cstdio>#include<cstring>#include<algorithm>#include<queue>using namespace std;const int N=1000000;int ch[N+5][3],sz=0,val[N+5];void insert(char s[]){    int p = 0;    int l = strlen(s);    for(int i = 0;i < l;i ++)    {        int c = s[i] - '0';        if(!ch[p][c]) ch[p][c] = ++ sz;        p = ch[p][c];    }    val[p] ++;}int fail[N+5];queue<int> q;void build_ac(){    fail[0] = 0;    for(int i = 0;i < 2;i ++)    {        int u = ch[0][i];        if(u) { q.push(u); fail[u] = 0; }    }    while(q.size())    {        int f = q.front(); q.pop();        for(int i = 0;i < 2;i ++)        {            int u = ch[f][i];            if(!u) { ch[f][i] = ch[fail[f]][i]; continue; }            q.push(u);            int v = fail[f];            while(v && !ch[v][i]) v = fail[v];            fail[u] = ch[v][i];            val[u] |= val[fail[u]];        }    }}bool ins[N+5],vis[N+5];bool dfs(int u){    ins[u] = 1;    for(int i = 0;i < 2;i ++)    {        int v = ch[u][i];        if(ins[v]) return true;        if(val[v] || vis[v]) continue;        vis[v] = 1;        if(dfs(v)) return true;    }    ins[u] = 0;    return false;}char s[N+5];int main(){    int n;    scanf("%d",&n);    for(int i = 1;i <= n;i ++)    {           scanf("%s",s);        insert(s);     }    build_ac();    if(dfs(0)) puts("TAK");    else puts("NIE");    return 0;}