這道題的思路很好
首先我們跑一次AC自動機,Trie樹和失配邊就構成了一個有向圖。那麼,能找到一個無限長的安全代碼,當且僅當在非單詞節點中存在環,用拓撲排序判斷即可。
#include#include #include #include #include #include #include #define F(i,j,n) for(int i=j;i<=n;i++) #define D(i,j,n) for(int i=j;i>=n;i--) #define ll long long #define pa pair #define maxn 30100 #define inf 1000000000 using namespace std; struct edge_type { int next,to; }e[maxn*2]; int go[maxn],in[maxn],head[maxn],t[maxn][2]; int n,tot=1,cnt=0; bool v[maxn]; char s[maxn]; inline void add_edge(int x,int y) { e[++cnt]=(edge_type){head[x],y}; head[x]=cnt; } inline void insert() { scanf("%s",s); int len=strlen(s),now=1; F(i,0,len-1) { int x=s[i]-'0'; if (!t[now][x]) t[now][x]=++tot; now=t[now][x]; } v[now]=true; } inline void bfs() { queue q; q.push(1); while (!q.empty()) { int x=q.front(),y,j;q.pop();v[x]|=v[go[x]]; F(i,0,1) { j=go[x]; while (j&&!t[j][i]) j=go[j]; if (t[x][i]) { go[y=t[x][i]]=j?t[j][i]:1; q.push(y); } else t[x][i]=j?t[j][i]:1; } } } inline bool topsort() { queue q; int sum=0; F(i,1,tot) { if (v[i]) sum++; else F(j,0,1) if (!v[t[i][j]]) { add_edge(i,t[i][j]); in[t[i][j]]++; } } F(i,1,tot) if (!v[i]&&!in[i]) q.push(i); while (!q.empty()) { int x=q.front();q.pop();sum++; for(int i=head[x];i;i=e[i].next) { int y=e[i].to; in[y]--; if (!in[y]) q.push(y); } } return sum==tot; } int main() { scanf("%d",&n); F(i,1,n) insert(); bfs(); printf("%s\n",topsort()?"NIE":"TAK"); return 0; }