病毒[POI2000](AC自动机+搜索)

题目链接：病毒[POI2000]

我们假设已经有一个无限长的串满足要求，那如果我们拿它去匹配会发生什么？

它会一直在Trie树和fail树上转圈，一定经过根节点且不会经过病毒字符串结束的节点。

所以如果我们能找到一个环满足“一定经过根节点且不会经过病毒字符串结束的节点”，那么就可以找到一个无限长的串。

我们可以用dfs找环。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <queue>
#include <vector>
using namespace std;
int trie[][], fail[], tot = ;
int n;
bool End[], vis[], mark[], ans;
char s[];
queue<int> q;
void solve(int x) {
    if (ans) return;
    if (mark[x]) {
        ans = ;
        return;
    }
    if (vis[x] || End[x]) return;
    vis[x] = ;
    mark[x] = ;
    if (trie[x][]) solve(trie[x][]);
    if (trie[x][]) solve(trie[x][]);
    mark[x] = ;
}
int main() {
    cin >> n;
    for (int i = , p, len; i <= n; i++) {
        scanf("%s", s + );
        p = ;
        len = strlen(s + );
        for (int j = ; j <= len; j++) {
            int k = s[j] - '';
            if (!trie[p][k]) trie[p][k] = ++tot;
            p = trie[p][k];
        }
        End[p] = ;
    }
    for (int i = ; i < ; i++) trie[][i] = ;
    fail[] = ;
    q.push();
    while (!q.empty()) {
        int x = q.front();
        q.pop();
        for (int i = ; i < ; i++) {
            if (!trie[x][i]) {
                trie[x][i] = trie[fail[x]][i];
            } else {
                fail[trie[x][i]] = trie[fail[x]][i];
                End[trie[x][i]] |= End[fail[trie[x][i]]];
                q.push(trie[x][i]);
            }
        }
    }
    solve();
    if (ans) puts("TAK");
    else puts("NIE");
    return ;
}