BZOJ2938: [Poi2000]病毒 AC自动机

原创 2017年01月02日 20:50:03

题目大意:给出一些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;
}

版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

【AC自动机】【bzoj 2938】: [Poi2000]病毒

http://www.lydsy.com/JudgeOnline/problem.php?id=2938 自从zky发了题解之后,这题做的人蛮多的 我也来写一写 就是建图之后再判环就可以了 ...

bzoj2938 [Poi2000]病毒 AC自动机+DP

Description二进制病毒审查委员会最近发现了如下的规律:某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码,那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段...

AC自动机【poi2000】bzoj2938 病毒

题目大意: 给一些01串,询问有没有无限长的串其中不包括给定的串。题目分析: 如果想要无限长的串,那它应该是一个循环的串。 只需要建一个AC自动机,然后在其中找到一个不包含单词节点的环就能顺着这...
  • Todobe
  • Todobe
  • 2016年12月27日 19:27
  • 195

BZOJ 2938: [Poi2000]病毒 AC自动机

Description二进制病毒审查委员会最近发现了如下的规律:某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码,那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段...
  • LZJ209
  • LZJ209
  • 2016年12月28日 18:41
  • 83

BZOJ 2938 Poi2000 病毒 AC自动机+拓扑排序

题目大意:给定n个01串,问是否存在一个无限长的01串,不包含这n个01串中的任何一个 建出Trie图之后判环即可 我这傻逼一开始居然跑了一个DFS去判环23333 #include #inc...
  • PoPoQQQ
  • PoPoQQQ
  • 2015年03月08日 17:00
  • 1484

bzoj2938【Poi2000】病毒

AC自动机+拓扑排序

BZOJ 2938 | AOJ 844 AC自动机 + dfs

校赛上一题, 当时AC自动机没入门, 不过想到了验证环还。。。还好补上了题解 若存在无限长的串满足不和模式串匹配, 那么它在模式串的AC自动机(trie图)匹配的结果必存在环 所以这题是判断trie图...
  • ADjky
  • ADjky
  • 2017年04月03日 16:40
  • 211

bzoj 2938(AC自动机+拓扑排序)

传送门 题意:略构建AC自动机,无限长的安全代码满足能一直在AC自动机上匹配但始终匹配不上任何一个危险串。从根往下dfs(只走不作为危险串结尾的结点),如果能找到一个环,就存在无限长的安全代码,否则...
  • KGV093
  • KGV093
  • 2017年08月05日 18:24
  • 68

bzoj2938: [Poi2000]病毒

传送门:http://www.lydsy.com:808/JudgeOnline/problem.php?id=2938 思路:构建AC自动机,无限长的安全代码就是能一直在AC自动机上匹配而匹配不上...

BZOJ 2938 [Poi2000]病毒

AC自动机+拓扑排序
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:BZOJ2938: [Poi2000]病毒 AC自动机
举报原因:
原因补充:

(最多只允许输入30个字)