POI2000 病毒

       题目传送门

       题目大意：给你n个01串，问你是否可以找到一个无限长的01串使得这n个01串不在其中出现。

       那么假如问你，怎么判断一个01串是否包含这n个01串呢？

       AC自动机呀！

       于是我们先无脑的构造一棵AC自动机。

       但是题目说的是不在其中出现诶？

       那么我们设想一下，假如这个满足要求的无限长的串存在，那我们用AC自动机去匹配，会出现什么情况？

       假如给AC自动机上的末尾节点（作为某个单词的末尾的节点）加上一个end标记，并且，如果节点x可以通过fail指针走到一个end=true的节点，那么x也应该end=true（与AC自动机循环求解的原理一样）。那么我们会发现，在匹配的时候，永远都走不到带有end标记的节点。

       于是这题就可以转化成：将给出的n个01串构造一棵AC自动机，问这棵AC自动机上是否存在不包含有end标记的节点的环。

       于是我们可以把这棵AC自动机变成一张图，父亲与儿子之间的边保留，但是还要加上一些边。

       考虑一下当在AC自动机上匹配失败的时候是个什么样子：1、当前节点没有对应的儿子  2、然后我要往fail指针那里跳。

       于是就很容易想到需要加什么边啦：当一个节点没有某个儿子的时候，就让他的fail节点的那个儿子成为他的那个儿子。也就是说，将他原本应该连向儿子的边，连到它的fail节点的那个儿子那里去。

        比如，x节点没有'1'这个儿子，于是就将x的fail的'1'这个儿子当成x的'1'这个儿子。

       但是要注意一个问题，我们这个环里面是不能有 end标记等于true 的节点的，于是，对于 end标记等于true 的节点，我们不将它缺失的儿子补上，以及对于以它为根的子树，我们也不补上它们缺失的儿子（仔细想想就知道为什么啦）

       最后剩下一个小问题：求AC自动机上是否有环。这个问题我们用拓扑排序搞一搞就好了。

       于是代码在此：

#include <cstdio>
#include <cstring>

int n,len=0,tot=0;
struct node{
    int son[2],fail;
    bool end;
    node()
    {
        son[0]=son[1]=-1;
        fail=0;
        end=false;
    }
}tree[30010];
char s[30010];
void build(char *ss,int x)//建树
{
    int now=0;
    for(int i=0;i<x;i++)
    {
        if(tree[now].son[ss[i]-'0']!=-1)now=tree[now].son[ss[i]-'0'];
        else now=tree[now].son[ss[i]-'0']=++len;
    }
    tree[now].end=true;
}
struct nod{int x,fa,c;};
nod q[30010];
int st=1,ed=1;
void makefail()//构建fail指针
{
    tree[0].fail=-1;
    if(tree[0].son[0]!=-1)q[ed].x=tree[0].son[0],q[ed].c=0,q[ed++].fa=0;
    if(tree[0].son[1]!=-1)q[ed].x=tree[0].son[1],q[ed].c=1,q[ed++].fa=0;
    while(st!=ed)
    {
        int x=q[st].x,j=tree[q[st].fa].fail,c=q[st++].c;
        while(j!=-1&&tree[j].son[c]==-1)j=tree[j].fail;
        if(j!=-1)tree[x].fail=tree[j].son[c];
        if(tree[x].son[0]!=-1)q[ed].x=tree[x].son[0],q[ed].c=0,q[ed++].fa=x;
        if(tree[x].son[1]!=-1)q[ed].x=tree[x].son[1],q[ed].c=1,q[ed++].fa=x;
    }
}
int ru[30010];
void makeallend()//看一下每个点是否可以通过fail走到end=true的节点
{
    st=1;ed=2;
    q[st].x=0;
    while(st!=ed)
    {
        int x=q[st].x;
        if(tree[tree[x].fail].end)tree[x].end=true;//因为是广搜的遍历顺序，所以x的fail的end已经搞完了，直接用就好了
        if(tree[x].son[0]!=-1)q[ed++].x=tree[x].son[0];
        if(tree[x].son[1]!=-1)q[ed++].x=tree[x].son[1];
        st++;
    }
}
void makeson()//补齐所有节点缺失的儿子
{
    st=1,ed=3;
    q[1].x=tree[0].son[0];
    q[2].x=tree[0].son[1];
    while(st!=ed)
    {
        int x=q[st++].x;
        if(tree[x].end)continue;
    	if(tree[x].son[0]==-1)tree[x].son[0]=tree[tree[x].fail].son[0];//如果没有左儿子，就将fail的左儿子当成自己的左儿子，因为x的fail的左儿子已经之前搞过了，所以它一定有左儿子，虽然可能是别人的
    	else q[ed++].x=tree[x].son[0];//否则加入队列
    	if(tree[x].son[1]==-1)tree[x].son[1]=tree[tree[x].fail].son[1];
    	else q[ed++].x=tree[x].son[1];
    	ru[tree[x].son[0]]++,ru[tree[x].son[1]]++;//ru表示每个点的入度，因为x向两个儿子各连了一条边，所以儿子的入度+1
    }
}

int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        scanf("%s",s);
        build(s,strlen(s));
    }
    makefail();
    makeallend();
    makeson();
    st=0;
    for(int i=0;i<=len;i++)//找出入度为0的点
    if(!ru[i])q[++st].x=i;
    while(st>0)
    {
        int x=q[st--].x;tot++;//每次删掉一个点，tot记录有多少个点被删掉了
        ru[tree[x].son[0]]--;if(ru[tree[x].son[0]]==0)q[++st].x=tree[x].son[0];
        //因为x被删掉了，所以x的左右儿子的入度-1，如果左右儿子的入度为0，就加入栈里面
        ru[tree[x].son[1]]--;if(ru[tree[x].son[1]]==0)q[++st].x=tree[x].son[1];
    }
    if(tot<len)printf("TAK");//假如还有点没被删掉，说明存在符合要求的环
    else printf("NIE");
}