考虑如果已经有了一个无限长的串,那么现在就是判断这个串能不能合法。
对于所有串建立ac自动机,那么显然如果一个点是病毒,其以后的点都是病毒,
并且如果一个点的fail是病毒,那么这个点也应该是病毒。
在ac自动机上跑,如果能一直不经过所有标记过的点(即为环)那么一定存在这个串。
c++代码如下:
#include<bits/stdc++.h>
#define rep(i,x,y) for(register int i = x; i <= y;++ i)
#define repd(i,x,y) for(register int i = x; i >= y;-- i)
using namespace std;
const int N = 3e4+500;
int n,sz,fail[N],t[N][2];
char s[N]; bool val[N];
inline void insert(char*s)
{
int n = strlen(s + 1);
int x = 1;
rep(i,1,n)
{
if(val[x]) return;
if(!t[x][s[i] - '0']) t[x][s[i] - '0'] = ++ sz;
x = t[x][s[i] - '0'];
}
val[x] = 1;
}
int q[N],st,en;
inline void build_ac()
{
t[0][0] = t[0][1] = 1;
q[0] = 1;
while(st <= en)
{
int x = q[st++];
rep(i,0,1)
if(t[x][i]){
int y = fail[x];
while(!t[y][i]) y = fail[y];
fail[t[x][i]] = t[y][i];
val[t[x][i]] |= val[t[y][i]];
q[++en] = t[x][i];
}
}
}
void pre(int x,bool e)
{
e |= val[x];val[x] |= e;
rep(i,0,1) if(t[x][i]) pre(t[x][i],e);
}
bool vis[N],inq[N];
bool dfs(int x)
{
if(inq[x]) return true;
if(vis[x]) return false;
vis[x] = 1; inq[x] = 1;
rep(i,0,1)
if(t[x][i] && !val[t[x][i]]){
if(dfs(t[x][i])) return true;
}
if(x != 1 && !t[x][0])
{
int y = fail[x];
while(!t[y][0]) y = fail[y];
y = t[y][0];
if(!val[y] && dfs(y)) return true;
}
if(x != 1 && !t[x][1])
{
int y = fail[x];
while(!t[y][1]) y = fail[y];
y = t[y][1];
if(!val[y] && dfs(y)) return true;
}
inq[x] = 0;
return false;
}
int main()
{
sz = 1;
scanf("%d",&n);
if(n <= 1) return puts("TAK"),0;
rep(i,1,n)
{
scanf("%s",s + 1);
insert(s);
}
build_ac();
pre(1,0);
puts(dfs(1)?"TAK" : "NIE");
return 0;
}