BZOJ2938: [Poi2000]病毒

【题目描述】
二进制病毒审查委员会最近发现了如下的规律：某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码，那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段，试问，是否存在一个无限长的安全的二进制代码。
示例：
例如如果{011, 11, 00000}为病毒代码段，那么一个可能的无限长安全代码就是010101…。如果{01, 11, 000000}为病毒代码段，那么就不存在一个无限长的安全代码。
任务：
请写一个程序：
l 读入病毒代码；
l 判断是否存在一个无限长的安全代码；
l 将结果输出
【输入说明】
第一行包括一个整数n，表示病毒代码段的数目。以下的n行每一行都包括一个非空的01字符串——就是一个病毒代码段。所有病毒代码段的总长度不超过30000。
【输出说明】
你应在在文本文件WIN.OUT的第一行输出一个单词：
l TAK——假如存在这样的代码；
l NIE——如果不存在。
【样例输入】
3
01
11
00000
【样例输出】
NIE

【分析】
好讨厌啊~BZOJ上这道题不见了QAQ

Fail树的应用（其实就是AC自动机的GetFail啦……）。
问题本质是问是否存在一个无限长的串，使其无法被匹配。

首先我们对读入的串建一个AC自动机。
很显然我们的匹配不能经过val为1的点（也就是病毒串）。
所以我们只需要判断在这个Fail树上，是否存在一条不经过val为1的点的回路。DFS即可。

关于AC自动机详细解释，可以参看我的另一篇文章。

代码：

#include <cstdio>
#include <queue>
#include <cstring>
using namespace std;

const int MaxSize=1000010;
const int SigmaSize=2;

struct Aho_Carosick//AC自动机
{
    int ch[MaxSize][SigmaSize];
    int match[MaxSize],f[MaxSize];
    int sz;
    inline int idx(char c) { return c-'0'; }
    Aho_Carosick() { sz=1; memset(ch[0],0,sizeof(ch[0])); }

    void insert(char* s, int v)
    {
        int n=strlen(s),u=0; 
        for (int i=0; i<n; i++) 
        {
            int c=idx(s[i]);
            if (!ch[u][c])
            {
                memset(ch[sz],0,sizeof(ch[sz]));
                match[sz]=0;
                ch[u][c]=sz++;
            }
            u=ch[u][c];
        }
        match[u]=v;
    }

    queue <int> q;
    void GetFail()//求Fail树
    {
        f[0]=0;
        for (int c=0; c<SigmaSize; c++)
        {
            int u=ch[0][c];
            if (u) { f[u]=0; match[u]=0; q.push(u); }
        }

        while (!q.empty())
        {
            int r=q.front(); q.pop();
            for (int c=0; c<SigmaSize; c++)
            {
                int u=ch[r][c];
                if (!u) { ch[r][c]=ch[f[r]][c]; continue; }
                q.push(u);
                int v=f[r];
                while (v && !ch[v][c]) v=f[v];
                f[u]=ch[v][c];
                match[u]|=match[f[u]];
            }
        }
    }
}AC;

int ins[MaxSize],vis[MaxSize];
int dfs(int u)//dfs求环
{
    ins[u]=1;
    for (int c=0; c<SigmaSize; c++)
    {
        int x=AC.ch[u][c];
        if (ins[x]) return 1;
        if (vis[x] || AC.match[x]) continue;  
        vis[x]=1;
        if (dfs(x)) return 1; 
    }
    ins[u]=0;
    return 0;
}

char s[300010];

int main()
{
    freopen("wir.in","r",stdin);
    freopen("wir.out","w",stdout);
    int n;
    scanf("%d",&n);
    for (int i=1; i<=n; i++) { scanf("%s",&s); AC.insert(s,i); }
    AC.GetFail();
    puts(dfs(0)?"TAK":"NIE");
    return 0;
}