2938: [Poi2000]病毒

标签: ac自动机
1人阅读 评论(0) 收藏 举报
分类:

考虑如果已经有了一个无限长的串,那么现在就是判断这个串能不能合法。
对于所有串建立ac自动机,那么显然如果一个点是病毒,其以后的点都是病毒,
并且如果一个点的fail是病毒,那么这个点也应该是病毒。
在ac自动机上跑,如果能一直不经过所有标记过的点(即为环)那么一定存在这个串。

c++代码如下:

#include<bits/stdc++.h>
#define rep(i,x,y) for(register int i = x; i <= y;++ i)
#define repd(i,x,y) for(register int i = x; i >= y;-- i)
using namespace std;

const int N = 3e4+500;
int n,sz,fail[N],t[N][2];
char s[N]; bool val[N];

inline void insert(char*s)
{
    int n = strlen(s + 1);
    int x = 1;
    rep(i,1,n)
    {
        if(val[x]) return;
        if(!t[x][s[i] - '0']) t[x][s[i] - '0'] = ++ sz;
        x = t[x][s[i] - '0'];
    }

    val[x] = 1;
}

int q[N],st,en;
inline void build_ac()
{
    t[0][0] = t[0][1] = 1;
    q[0] = 1;
    while(st <= en)
    {
        int x = q[st++];
        rep(i,0,1)
            if(t[x][i]){
                int y = fail[x];
                while(!t[y][i]) y = fail[y];
                fail[t[x][i]] = t[y][i];
                val[t[x][i]] |= val[t[y][i]];
                q[++en] = t[x][i];
        }
    }
}

void pre(int x,bool e)
{
    e |= val[x];val[x] |= e;
    rep(i,0,1) if(t[x][i]) pre(t[x][i],e);
}

bool vis[N],inq[N];
bool dfs(int x)
{
    if(inq[x]) return true;
    if(vis[x]) return false;
    vis[x] = 1; inq[x] = 1;
    rep(i,0,1)
        if(t[x][i] && !val[t[x][i]]){
            if(dfs(t[x][i])) return true;
    }
    if(x != 1 && !t[x][0])
    {
        int y = fail[x];
        while(!t[y][0]) y = fail[y];
        y = t[y][0];
        if(!val[y] && dfs(y)) return true;
    }

    if(x != 1 && !t[x][1])
    {
        int y = fail[x];
        while(!t[y][1]) y = fail[y];
        y = t[y][1];
        if(!val[y] && dfs(y)) return true;
    }

    inq[x] = 0;
    return false;
}

int main()
{
    sz = 1;
    scanf("%d",&n);
    if(n <= 1) return puts("TAK"),0;
    rep(i,1,n)
    {
        scanf("%s",s + 1);
        insert(s);
    }

    build_ac();

    pre(1,0);
    puts(dfs(1)?"TAK" : "NIE");

    return 0;
}
查看评论

BZOJ2938 POI2000 病毒 题解&代码

题意:给出n个病毒代码,判断是否有无限长度的代码满足:不包含任何病毒代码。 题解: 看到多字符串匹配,就想到AC自动机【这语气好奇怪 AC自动机建好fail指针,然后从根向下dfs查找,所有实节...
  • Rainbow6174
  • Rainbow6174
  • 2016-03-11 16:45:46
  • 707

bzoj2938: [Poi2000]病毒

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

【bzoj2938】[Poi2000]病毒 trie图+dfs

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

[BZOJ2938][Poi2000]病毒(AC自动机+拓扑排序)

题目描述传送门题解如果把给出的所有串建成trie树的话,那么有解的条件就是在匹配不到end节点的情况下无限地匹配下去。 注意不是只有每一个串的结束节点才是end节点,根据fail树的性质,假设y的f...
  • Clove_unique
  • Clove_unique
  • 2016-12-24 23:18:10
  • 532

BZOJ 2938: [Poi2000]病毒

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

BZOJ2938: [Poi2000]病毒

【题目描述】 二进制病毒审查委员会最近发现了如下的规律:某些确定的二进制串是病毒的代码。如果某段代码中不存在任何一段病毒代码,那么我们就称这段代码是安全的。现在委员会已经找出了所有的病毒代码段,试问...
  • Array98
  • Array98
  • 2015-03-25 20:28:20
  • 497

bzoj 2938 [Poi2000]病毒

AC自动机+dfs
  • chai_jing
  • chai_jing
  • 2017-05-01 17:18:23
  • 492

BZOJ 2938 [Poi2000]病毒

AC自动机+拓扑排序
  • Orion_Rigel
  • Orion_Rigel
  • 2016-05-15 23:23:42
  • 327

bzoj 2938: [Poi2000]病毒

题目大意,问是否存在一个无限长的串,且不包含题目给出的子串。 AC自动机。 将给出的n个串建一颗AC自动机,如果有一个无限长串能在上面一直跑且一直不经过匹配点就满足条件。 容易想到即要在自动机上...
  • qq_36808030
  • qq_36808030
  • 2017-07-20 10:56:22
  • 126

[BZOJ 2938][Poi2000]病毒

AC自动机
  • Horizon_SMZ
  • Horizon_SMZ
  • 2016-03-10 19:10:16
  • 289
    个人资料
    专栏达人 持之以恒
    等级:
    访问量: 2038
    积分: 795
    排名: 6万+
    博客专栏
    文章分类
    文章存档