Bzoj2938——[POI2000]病毒

最新推荐文章于 2018-12-19 19:30:00 发布

wangyh1008

最新推荐文章于 2018-12-19 19:30:00 发布

阅读量248

点赞数 1

CC 4.0 BY-SA版权

分类专栏：一本通提高篇文章标签： AC自动机

本文链接：https://blog.youkuaiyun.com/wangyh1008/article/details/81509068

一本通提高篇专栏收录该内容

14 篇文章

订阅专栏

探讨如何通过构建AC自动机判断是否存在无限长的安全二进制代码，避免病毒代码出现。利用匹配和查找环的方法，实现代码安全性验证。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

2938: [Poi2000]病毒

Time Limit: 1 Sec Memory Limit: 128 MB
Submit: 1503 Solved: 766

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自动机，无限长的安全代码就是能一直在AC自动机上匹配而匹配不上任何一个危险串。也就是匹配指针不能走到危险串的结尾点x，fail指针指向x的y也不能走，因为根据fail的定义，x这个危险串是y的后缀。找出危险节点后就是找环了，有环就有无限长的安全代码，否则没有。

代码

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<algorithm>
#include<cstdlib>
#include<queue>
using namespace std;
queue<int> q;
const int N=3000005;
int ch[N][2],flag[N],bo[N],vis[N],tot=1,p[N];
char s[N];
void insert(char *st)
{
    int u=1,n=strlen(st);
    for (int i=0; i<n; i++){
        int c=st[i]-'0';
        if (!ch[u][c]) ch[u][c]=++tot;
        u=ch[u][c];
    }
    flag[u]=1;
}
void pre()
{
    while (!q.empty()) q.pop();
    for (int i=0; i<2; i++) ch[0][i]=1;
    q.push(1); p[1]=0;
    while (!q.empty()){
        int u=q.front(); q.pop();
        for (int i=0; i<2; i++){
            if (!ch[u][i]) ch[u][i]=ch[p[u]][i];
            else q.push(ch[u][i]),p[ch[u][i]]=ch[p[u]][i],flag[ch[u][i]]|=flag[p[ch[u][i]]];
        }
    }
}
bool dfs(int t)
{
    vis[t]=1;
    for (int i=0; i<2; i++){
        int v=ch[t][i];
        if (vis[v]) return 1;
        if (bo[v] || flag[v]) continue;
        bo[v]=1;
        if (dfs(v)) return 1;
    }
    vis[t]=0; return 0;
}
int main()
{
    int n;
    scanf("%d",&n);
    for (int i=1; i<=n; i++) scanf("%s",s),insert(s);
    pre();
    if (dfs(0)) puts("TAK");
    else puts("NIE");
    return 0;
}

miao~~~