【AC自动机】病毒

【题目链接】

https://loj.ac/problem/10062

【题意】

寻找一个没有模式串为子串的无限01串。是否存在。

【题解】

其实就是用dfs找一个环。

1、环需要从根结点出发找到这个位置。且重新能走到这里，我们开一个“预测路径”的数组进行标记即可。

2、如果下一个结点碰上了“走过”标记过的，而不是“预测路径”，或者是模式串结尾，我们就避开不走。

注意：

fail数组是可以进行传递的，就是说fail指向的结点，同时是模式串的结尾，那么该位置也是不合法的。

最后看看代码怎么实现就明白了。

 #include<cstdio>
 #include<cstring>
 #include<algorithm>

 using namespace std;

 const int N = ;
 const int M = ;

 int Trie[M][] , fail[M] , End[M], idx ;
 int Q[M] , Head , Tail ;
 int vis[M],used[M];
 int n ;

 char str[N];

 void Insert( char s[] ){
     int p = ;
     for(int i= ; s[i] ; i++ ){
         int t = s[i] - '' ;
         if( !Trie[p][t] )
             Trie[p][t] = ++idx ;
         p = Trie[p][t];
     }
     End[p] ++ ;
 }

 void Build(){
     Head =  , Tail =  ;
     for(int i=;i<;i++)
         if(Trie[][i])
             Q[++Tail] = Trie[][i] ;
         //fail[Trie[0][i]] = 0;

     while( Head <= Tail ){
         int u = Q[Head++] ;
         for(int i=;i<;i++){
             int To = Trie[u][i];
             if( To ){
                 fail[To] = Trie[fail[u]][i];
                 Q[++Tail] = To;

                 End[To] = End[To] || End[fail[To]] ;
             }else{
                 Trie[u][i] = Trie[fail[u]][i];
             }
         }
     }

 }

 bool dfs(int u){
     vis[u] = ;
     for(int i=;i<=;i++){
         int To = Trie[u][i];
         if( vis[To] ) return true;
         if( used[To] || End[To] ) continue;
         used[To] =  ;
         if( dfs(To) ) return true ;
     }
     vis[u] = ;
     return false ;
 }
 int main()
 {
     scanf("%d",&n);
     for(int i=;i<n;i++){
         scanf("%s",str);
         Insert(str);
     }
     Build();
     puts(dfs()?"TAK":"NIE");

     return  ;
 }

病毒