BZOJ2938: [Poi2000]病毒

2938: [Poi2000]病毒

Time Limit: 1 Sec  Memory Limit: 128 MB
Submit: 69  Solved: 35
[Submit][Status]

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

题解：

首先我们构造出AC自动机，然后把出边补齐，也就是trie图。

然后所有的节点以trie为边构成了一张有向图，我们需要在非危险节点上找有没有环，topsort即可。

代码：

#include<cstdio>

#include<cstdlib>

#include<cmath>

#include<cstring>

#include<algorithm>

#include<iostream>

#include<vector>

#include<map>

#include<set>

#include<queue>

#include<string>

#define inf 1000000000

#define maxn 100000+5

#define maxm 20000000+5

#define eps 1e-10

#define ll long long

#define pa pair<int,int>

#define for0(i,n) for(int i=0;i<=(n);i++)

#define for1(i,n) for(int i=1;i<=(n);i++)

#define for2(i,x,y) for(int i=(x);i<=(y);i++)

#define for3(i,x,y) for(int i=(x);i>=(y);i--)

#define mod 1000000007

using namespace std;

inline int read()

{

    int x=0,f=1;char ch=getchar();

    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}

    while(ch>='0'&&ch<='9'){x=10*x+ch-'0';ch=getchar();}

    return x*f;

}
int n,m,tot,cnt,inp[maxn],head[maxn],t[maxn][2],go[maxn];
struct edge{int go,next;}e[maxn];
bool v[maxn];
queue<int>q;
char s[maxn];
inline void insert(int x,int y)
{
    e[++tot]=(edge){y,head[x]};head[x]=tot;
}
inline void add()
{
    scanf("%s",s+1);m=strlen(s+1);int now=1;
    for1(i,m)
        {
            int x=s[i]-'0';
            if(!t[now][x])t[now][x]=++cnt;
            now=t[now][x];
        }
    v[now]=1;
}
void bfs()
{
    q.push(1);
    while(!q.empty())
    {
        int x=q.front(),y,j;q.pop();v[x]|=v[go[x]];
        for0(i,1)
        {
            j=go[x];
            while(j&&!t[j][i])j=go[j];
            if(t[x][i])
            {
                go[y=t[x][i]]=j?t[j][i]:1;
                q.push(y);
            }else t[x][i]=j?t[j][i]:1;
        }
    }
}
bool topsort()
{
    int num=0;
    for1(i,cnt)for0(j,1)if(!v[i]&&!v[t[i][j]])insert(i,t[i][j]),inp[t[i][j]]++;
    for1(i,cnt)if(!inp[i])q.push(i);
    while(!q.empty())
    {
        int x=q.front();q.pop();num++;
        for(int i=head[x],y;i;i=e[i].next)
        {
            inp[y=e[i].go]--;
            if(!inp[y])q.push(y);
        }
    }
    return num==cnt;
}

int main()

{

    freopen("input.txt","r",stdin);

    freopen("output.txt","w",stdout);

    n=read();cnt=1;
    for1(i,n)add();
    bfs();
    printf("%s
",topsort()?"NIE":"TAK");

    return 0;

}