BZOJ 2938 Poi2000 病毒 AC自动机+拓扑排序

来源：互联网发布：mac重新启动后卡住了编辑：程序博客网时间：2024/06/11 10:03

题目大意：给定n个01串，问是否存在一个无限长的01串，不包含这n个01串中的任何一个

建出Trie图之后判环即可

我这傻逼一开始居然跑了一个DFS去判环23333

#include <cstdio>#include <cstring>#include <iostream>#include <algorithm>#define M 30300using namespace std;int n;char s[M];namespace Aho_Corasick_Automaton{struct Trie{Trie *son[2],*fail;bool ed;short into;}*root,mempool[M],*C=mempool;void Insert(Trie *&p,char *pos){if(!p) p=new (C++)Trie;if(!*pos){p->ed=true;return ;}Insert(p->son[*pos-'0'],pos+1);}void Build_Tree(){static Trie *q[M];int i,r=0,h=0;for(i=0;i<2;i++)if(root->son[i])(q[++r]=root->son[i])->fail=root;elseroot->son[i]=root;while(r!=h){Trie *p=q[++h];for(i=0;i<2;i++){if(p->son[i]){p->son[i]->fail=p->fail->son[i];p->son[i]->ed|=p->son[i]->fail->ed;q[++r]=p->son[i];}elsep->son[i]=p->fail->son[i];}}}bool Find_Ring(){static Trie *temp,*q[M];int i,r=0,h=0,cnt=0;for(temp=mempool;temp<C;temp++)if(!temp->ed){++cnt;for(i=0;i<2;i++)temp->son[i]->into++;}for(temp=mempool;temp<C;temp++)if(!temp->into&&!temp->ed)q[++r]=temp;while(r!=h){Trie *p=q[++h];for(i=0;i<2;i++)if(!--p->son[i]->into&&!p->son[i]->ed)q[++r]=p->son[i];}return cnt!=r;}}int main(){using namespace Aho_Corasick_Automaton;int i;cin>>n;for(i=1;i<=n;i++){scanf("%s",s+1);Insert(root,s+1);}Build_Tree();puts(Find_Ring()?"TAK":"NIE");return 0;}

0 0