[日常摸鱼][POI2000]病毒-Tire图（AC自动机）+dfs

https://www.luogu.org/problemnew/show/P2444

（没有bzoj权限号T_T）

字符串题对我这种傻逼来说真是太难了x

题意：输入$n$个01组成的模式串串，判断是否存在一个无限长的01串满足任何给定的模式串都不是这个串的子串，$n \leq 2000,\sum len(str) \leq 30000$

---

首先用模式串构造出AC自动机（其实应该叫Trie图），题目要求的串如果存在，那就相当于在Trie图上存在一个环，这个环不包含任何一个模式串，所以只要构造出来Tire图判断是否存在这样子的环，注意如果Tire图上的某个点$x$是一个模式串的结尾，那么不仅不能够经过$x$，而且不能经过所有包含这个后缀的串，根据$fail$指针的定义就可以直接这样写：

danger[tr[k][i]]|=danger[fail[tr[k][i]]];

完整的代码：

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
using namespace std;
const int N=30005;
int n,cnt;
int tr[N][2],fail[N];
bool danger[N],vis[N],mark[N],flag;
char s[N];
queue<int>q;
inline void insert(char *c)
{
    int len=strlen(c+1),k=0;
    for(register int i=1;i<=len;i++)
    {
        int t=c[i]-'0';
        if(!tr[k][t])tr[k][t]=++cnt;
        k=tr[k][t];
    }danger[k]=1;
}
 
inline void build()
{
    if(tr[0][0])fail[tr[0][0]]=0,q.push(tr[0][0]);
    if(tr[0][1])fail[tr[0][1]]=0,q.push(tr[0][1]);
    while(!q.empty())
    {
        int k=q.front();q.pop();
        for(register int i=0;i<=1;i++)
        {
            if(!tr[k][i])tr[k][i]=tr[fail[k]][i];
            else
            {
                fail[tr[k][i]]=tr[fail[k]][i];
                danger[tr[k][i]]|=danger[fail[tr[k][i]]];//
                q.push(tr[k][i]);
            }
        }
    }
}
 
inline int dfs(int x)
{
    vis[x]=1;
    for(register int i=0;i<=1;i++)
    {
        int k=tr[x][i];
        if(vis[k])return 1;
        if(mark[k]||danger[k])continue;
        mark[k]=1;
        if(dfs(k))return 1;
    }
    vis[x]=0;return 0;
}
 
int main()
{
    scanf("%d",&n);
    for(register int i=1;i<=n;i++)
    {
        scanf("%s",s+1);insert(s);
    }
    build();
    if(dfs(0))printf("TAK");
    else printf("NIE");
    return 0;
}