[POI2000]病毒

一、题目

点此看题

二、解法

先对原串建出$\text{AC}$自动机，我们可以同过这种方式构造无线长的串：从一个点开始走若干步，再通过失配指针跳回来。这就告诉我们只要在自动机上找到了环，那么就说明可以构造出一个无线长的安全串，当然要保证途中不能经过非安全的点，在一开始标记一下即可。

时间复杂度$O(n)$，口胡可能难以理解，看代码把。

#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <queue>
using namespace std;
const int M = 100005;
int read()
{
 int x=0,flag=1;char c;
 while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
 while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
 return x*flag;
}
int n;char s[M];
struct Automaton
{
 int c[M][2],val[M],fail[M],cnt;
 int vis[M],in[M];
 void ins(char *s)
 {
  int len=strlen(s),now=0;
  for(int i=0;i<len;i++)
  {
   int v=s[i]-'0';
   if(!c[now][v]) c[now][v]=++cnt;
   now=c[now][v];
  }
  val[now]=1;
 }
 void build()
 {
  queue<int> q;
  for(int i=0;i<2;i++) if(c[0][i]) q.push(c[0][i]);
  while(!q.empty())
  {
   int t=q.front();
   q.pop();
   if(val[fail[t]]) val[t]=1;
   for(int i=0;i<2;i++)
    if(c[t][i]) fail[c[t][i]]=c[fail[t]][i],q.push(c[t][i]);
    else c[t][i]=c[fail[t]][i];
  }
 }
 void dfs(int u)
 {
     in[u]=vis[u]=1;
     for(int i=0;i<2;i++)
     {
         int v=c[u][i];
         if(in[v])
            {
                puts("TAK");
                exit(0);
            }
            else if(!vis[v] && !val[v])
                dfs(v);
     }
     in[u]=0;
 }
}AC;
int main()
{
    n=read();
    for(int i=1;i<=n;i++)
    {
        scanf("%s",s);
        AC.ins(s);
    }
    AC.build();
    AC.dfs(0);
    puts("NIE");
}