[POI2000] 病毒

洛谷 P2444 传送门

bzoj 2938 传送门

AC自动机的题。

很显然的操作是对所有串建一个AC自动机。

然后我们模拟匹配的过程。

如果能从根开始，一直匹配而不遇到终止节点，那么就找到了一个解。

也就是说，我们的目标是寻找一个根节点能到达的环。

那就在Trie图上DFS就行了。

如果只有in标记，洛谷上能A，lnsyoj上会T三个点。

我们需要额外记录一个v，避免对已经搜过的点再次搜索。

注意，某个点的end要继承他的fail指向的节点的end。

#include<cstdio>
#include<cstring>
#include<queue>
using std::queue;

int n,sz;
int s[30005][2],ed[30005],fal[30005];
char a[30005];

void insert()
{
    scanf("%s",a+1);
    int l=strlen(a+1);
    int p=0;
    for(int i=1;i<=l;i++)
    {
        int c=a[i]-'0';
        if(!s[p][c])s[p][c]=++sz;
        p=s[p][c];
    }
    ed[p]=1;
}

void build()
{
    queue<int>qq;
    for(int i=0;i<=1;i++)qq.push(s[0][i]);
    while(!qq.empty())
    {
        int p=qq.front();
        qq.pop();
        for(int i=0;i<=1;i++)
        {
            if(s[p][i])
            {
                fal[s[p][i]]=s[fal[p]][i];
                ed[s[p][i]]|=ed[fal[s[p][i]]];
                qq.push(s[p][i]);
            }
            else s[p][i]=s[fal[p]][i];
        }
    }
}

int ans,in[30005],v[30005];

void dfs(int p)
{
    if(in[p]){ans=1;return;}
    if(v[p]||ed[p]||ans)return;
    in[p]=v[p]=1;
    for(int i=0;i<=1;i++)dfs(s[p][i]);
    in[p]=0;
}

int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)insert();
    build();
    dfs(0);
    printf(ans?"TAK":"NIE");
    return 0;
}