【bzoj2938】【Poi2000】病毒

• 题解：

  • 对病毒串建立ac自动机；
  • 有一个无限长的串等价于可以一直在自动机上匹配，等价于自动机上的转移有环；
  • 当然前提是去掉病毒节点的fail子树；
  • 写一个dfs记录是否在栈中，来过没有找到就不必再来了再记录一个vis保证复杂度;
  • 然而。。。。。。我在找环的时候呆了很久，最后写了tarjan；
  • 如果你也是有些tarjan的危险想法的话注意特判转移的自环的情况；

•  #include<bits/stdc++.h>
   using namespace std;
   const int N=;
   int n,sz,ch[N][],fl[N],que[N],head,tail,vis[N],hd[N],o,dfn[N],idx,low[N],fg,del[N];
   struct Edge{int v,nt;}E[N<<];
   char s[N];
   void adde(int u,int v){
       if(u==v)fg=;
       E[o]=(Edge){v,hd[u]};hd[u]=o++;
   }
   void get_fl(){
       for(int i=;i<;i++)if(ch[][i]){
           que[++tail]=ch[][i];
           if(!vis[ch[][i]])adde(,ch[][i]);
       }else {fg=;return;}
       while(head<tail){
           int u=que[++head];
           for(int i=;i<;i++){
               int&v=ch[u][i];
               if(!v){
                   v=ch[fl[u]][i];
                   if(!vis[v])adde(u,v);
                   continue;
               }
               fl[v]=ch[fl[u]][i];
               vis[v]|=vis[fl[v]];
               if(!vis[v])adde(u,v);
               que[++tail]=v;
           }
       }
   }
   void tarjan(int u){
       if(fg)return ;
       que[++head]=u;
       dfn[u]=low[u]=++idx;
       for(int i=hd[u];~i;i=E[i].nt){
           int v=E[i].v;
           if(!dfn[v])tarjan(v),low[u]=min(low[u],low[v]);
           else if(!del[v])low[u]=min(low[u],dfn[v]);
       }
       if(dfn[u]==low[u]){
           int cnt=,v;
           do{
               cnt++;
               del[v=que[head--]]=;
           }while(v!=u);
           if(cnt > )fg=;
       }
   }
   int main(){
   //    freopen("bzoj2938.in","r",stdin);
   //    freopen("bzoj2938.out","w",stdout);
       memset(hd,-,sizeof(hd));
       scanf("%d",&n);
       for(int i=;i<=n;i++){
           scanf("%s",s+);
           int len=strlen(s+),u=;
           for(int j=;j<=len;j++){
               if(!ch[u][s[j]-''])ch[u][s[j]-'']=++sz;
               u=ch[u][s[j]-''];
           }
           vis[u]=;
       }
       get_fl();
       head=;tarjan();
       if(fg)puts("TAK");else puts("NIE");
       return ;
   }

  bzoj2938