【AC自动机】病毒

【题目链接】

https://loj.ac/problem/10062

【题意】

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

【题解】

其实就是用dfs找一个环。

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

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

注意：

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

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

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

using namespace std;

const int N = 2005;
const int M = 30005;

int Trie[M][2] , 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 = 0;
    for(int i=0 ; s[i] ; i++ ){
        int t = s[i] - '0' ;
        if( !Trie[p][t] )
            Trie[p][t] = ++idx ;
        p = Trie[p][t];
    }
    End[p] ++ ;
}

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

    while( Head <= Tail ){
        int u = Q[Head++] ;
        for(int i=0;i<2;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] = 1;
    for(int i=0;i<=1;i++){
        int To = Trie[u][i];
        if( vis[To] ) return true;
        if( used[To] || End[To] ) continue;
        used[To] = 1 ;
        if( dfs(To) ) return true ;
    }
    vis[u] = 0;
    return false ;
}
int main()
{
    scanf("%d",&n);
    for(int i=0;i<n;i++){
        scanf("%s",str);
        Insert(str);
    }
    Build();
    puts(dfs(0)?"TAK":"NIE");

    return 0 ;
}