[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 = ;
 int n, cnt;
 int ch[MAXN << ][], fail[MAXN << ];
 char s[MAXN];
 bool vis[MAXN << ], ins[MAXN << ], val[MAXN << ];
 queue <int> q;

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

 inline void make_fail()
 {
     int i, x, now;
     for(i = ; i <= ; i++) if(ch[][i]) q.push(ch[][i]);
     while(!q.empty())
     {
         now = q.front(), q.pop();
         for(i = ; i <= ; 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] = ;
     for(i = ; i <= ; i++)
     {
         v = ch[u][i];
         if(ins[v]) return ;
         if(val[v] || vis[v]) continue;
         vis[v] = ;
         if(dfs(v)) return ;
     }
     ins[u] = ;
     return ;
 }

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