[BZOJ2938][POI2000]病毒（AC自动机+dfs）

题目：

我是超链接

题解：

简单的来说，就是构造一个只含0和1的字符串，不能与Trie完成匹配（即包含病毒代码）。我们采用深搜的方式，往构造的字符串中添0或1。对于每个位置now，vis表示这个位置往后能不能添加成功，如果成功就立刻返回，不成功就继续找路，怎么都不能成功只能返回0了

要注意is_end节点的传递性，即如果fail是end，这个节点也要是end，否则会WA。

代码：

#include <cstdio>
#include <queue>
#include <cstring>
using namespace std;
const int N=30005;
bool is_end
;int ch
[30],cnt,fail
,vis
;char st
;
void insert()
{
int now=0,l=strlen(st);
for (int i=0;i<l;i++)
{
int x=st[i]-'0';
if (!ch[now][x]) ch[now][x]=++cnt;
now=ch[now][x];
}
is_end[now]=1;
}
void sp()
{
queue <int> q;
if (ch[0][0]) q.push(ch[0][0]);
if (ch[0][1]) q.push(ch[0][1]);
while (!q.empty())
{
int now=q.front(); q.pop();
for (int i=0;i<=1;i++)
{
if (!ch[now][i])
{
ch[now][i]=ch[fail[now]][i];
continue;
}
fail[ch[now][i]]=ch[fail[now]][i];
if (is_end[fail[ch[now][i]]]) is_end[ch[now][i]]=1;
q.push(ch[now][i]);
}
}
}
bool dfs(int now)
{
if (vis[now]!=-1) return vis[now];
vis[now]=1;int noww=now;
for (int i=0;i<=1;i++)
{
now=noww;
while (now && !ch[now][i]) now=fail[now];
now=ch[now][i];
if (is_end[now]) continue;
if (dfs(now)) {vis[noww]=1;return 1;}
}
vis[noww]=0;return 0;
}
int main()
{
memset(vis,-1,sizeof(vis));
int n;scanf("%d",&n);
for (int i=1;i<=n;i++) scanf("%s",&st),insert();sp();
if (dfs(0)) printf("TAK");else printf("NIE");
}