【bzoj2938】【Poi2000】病毒

• 题解：

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

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