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

传送门

先把所有串建一个AC自动机，

如果要找一个不包含任意一个串的串，

说明这个串一直在AC自动机上匹配但匹配不到，

也就是说，匹配时除去val值为1的点，除去fail指针指向val值为1的点，是否有环，dfs即可。

因为val值为1说明匹配上，fail指针指向的点x，根到x所形成的字符串是当前串的后缀，

所以也得除去fail指针指向val值为1的点的点。

——代码

#include <queue>
#include <cstdio>
#include <cstring>

using namespace std;

const int MAXN = 30001;
int n, cnt;
int ch[MAXN << 2][2], fail[MAXN << 2];
char s[MAXN];
bool vis[MAXN << 2], ins[MAXN << 2], val[MAXN << 2];
queue <int> q;

inline void insert()
{
    int i, x, len = strlen(s), now = 0;
    for(i = 0; i < len; i++)
    {
        x = s[i] - '0';
        if(!ch[now][x]) ch[now][x] = ++cnt;
        now = ch[now][x];
    }
    val[now] = 1;
}

inline void make_fail()
{
    int i, x, now;
    for(i = 0; i <= 1; i++) if(ch[0][i]) q.push(ch[0][i]);
    while(!q.empty())
    {
        now = q.front(), q.pop();
        for(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];
            q.push(ch[now][i]);
            val[ch[now][i]] |= val[fail[ch[now][i]]];
        }
    }
}

inline bool dfs(int u)
{
    int i, v;
    ins[u] = 1;
    for(i = 0; i <= 1; i++)
    {
        v = ch[u][i];
        if(ins[v]) return 1;
        if(val[v] || vis[v]) continue;
        vis[v] = 1;
        if(dfs(v)) return 1;
    }
    ins[u] = 0;
    return 0;
}

int main()
{
    int i, j;
    scanf("%d", &n);
    for(i = 1; i <= n; i++)
    {
        scanf("%s", s);
        insert();
    }
    make_fail();
    if(dfs(0)) puts("TAK");
    else puts("NIE");
    return 0;
}