关闭

BZOJ2938: [Poi2000]病毒 AC自动机

110人阅读 评论(0) 收藏 举报
分类:

题目大意:给出一些01串,问是否存在一个无限长的串不包含这些串中的任意一个。
总长不超过30000。
建立AC自动机,则问题转化为在AC自动机上找环。考虑什么样的节点不能走。若一个节点是单词节点,那么所有fail指向它的节点一定包含了它作为后缀,所以这些节点都不能走。所以对于一个节点,如果它的fail节点危险,那么它也危险。所以不走危险节点,DFS查找是否有环即可。
由tarjan的过程类比,如果某次从一个点出发找不到环,那么之后这个点也不会再找到环了,所以访问后要进行标记,不再走这个点。
要注意的是三目运算符优先级比逗号运算符高,所以一定要记得加括号。

#include<cstdio>
#include<cstring>
#include<queue>
#define gm 30001
using namespace std;
struct node
{
    node *s[2],*fail;
    bool da,vis;
    node():s(),fail(),da(),vis(){}
    inline void* operator new(size_t)
    {
        static char pool[gm*sizeof(node)];
        static node* s=(node*)pool;
        static size_t k=-1;
        return s+ ++k;
    }
    bool dfs()
    {
        if(da) return 0;
        if(vis) return 1;
        vis=1;
        return (s[0]->dfs()||s[1]->dfs())?1:(da=1,0);
    }
};
struct trie
{
    node *rt;
    trie():rt(new node){}
    inline void insert(const char *s)
    {
        node *now=rt;
        while(*s)
        {
            node *&x=now->s[*s-'0'];
            if(!x) x=new node;
            now=x;
            ++s;
        }
        now->da=1;
    }
};
struct aho:public trie
{
    aho():trie(){}
    inline void operator () ()
    {
        queue<node*> q;
        rt->fail=rt;
        if(!rt->s[0]) rt->s[0]=rt;
        else rt->s[0]->fail=rt,q.push(rt->s[0]);
        if(!rt->s[1]) rt->s[1]=rt;
        else rt->s[1]->fail=rt,q.push(rt->s[1]);
        while(!q.empty())
        {
            node *now=q.front();q.pop();
            now->da|=now->fail->da;
            if(!now->s[0]) now->s[0]=now->fail->s[0];
            else now->s[0]->fail=now->fail->s[0],q.push(now->s[0]);
            if(!now->s[1]) now->s[1]=now->fail->s[1];
            else now->s[1]->fail=now->fail->s[1],q.push(now->s[1]);
        }
    }
    inline const char* circle()
    {
        return rt->dfs()?"TAK":"NIE";
    }
}tr;
int n;
char s[gm];
int main()
{
    scanf("%d",&n);
    while(n--)
    {
        scanf("%s",s);
        tr.insert(s);
    }
    tr();
    printf("%s\n",tr.circle());
    return 0;
}

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:19957次
    • 积分:1095
    • 等级:
    • 排名:千里之外
    • 原创:90篇
    • 转载:0篇
    • 译文:0篇
    • 评论:18条
    博客专栏