分析
要求有一条可以无限长的串,满足所有字串没有出现过。那么我们可以考虑 自动机。我们用 表示,那个无限长的串不可以匹配的节点。那么我们就会有这个转移 ,因为 是我的一个后缀,那么后缀都不能到,更别说自己了。那么我们直接在 自动机上 就好了。
代码
#include<bits/stdc++.h> using namespace std; const int N = 3e4 + 100; int ch[N][2],fail[N],size,inq[N]; char S[N]; int n,vis[N]; void ins(char *s) { int len = strlen(s + 1);int u = 0; for(int i = 1;i <= len;i++) { int c = s[i] - '0'; if(!ch[u][c]) ch[u][c] = ++size; u = ch[u][c]; // cout << u << endl; } vis[u] |= 1; } void build() { queue<int> Q; for(int i = 0;i < 2;i++) if(ch[0][i]) Q.push(ch[0][i]); while(!Q.empty()) { int u = Q.front();Q.pop(); for(int i = 0;i < 2;i++) { if(ch[u][i]) { fail[ch[u][i]] = ch[fail[u]][i]; vis[ch[u][i]] |= vis[ch[fail[u]][i]]; Q.push(ch[u][i]); } else ch[u][i] = ch[fail[u]][i]; } } } bool dfs(int x) { // cout << x << endl; if(inq[x] == 1) return true; if(inq[x] == -1) return false; inq[x] = 1; bool res = 0; for(int i = 0;i < 2;i++) { if(!vis[ch[x][i]]) res |= dfs(ch[x][i]); if(res) return 1; } inq[x] = -1; return false; } int main() { scanf("%d",&n); for (int i = 0;i < n;++i) { scanf("%s",S + 1);ins(S); } build(); if(!dfs(0)) cout << "NIE" << endl; else cout << "TAK" << endl; }