Luogu P2444 病毒___AC自動機+dfs

本文轉載自：http://www.javaxxz.com/thread-359236-1-1.html

題目大意：

有N個確定的二進制串是病毒的代碼。當某段代碼中不存在任何一段病毒代碼，那麼我們就稱這段代碼是安全的。現在委員會已經找出了所有的病毒代碼段，試問，是否存在一個無限長的安全的二進制代碼。

n≤2000 
所有病毒代碼段的總長度不超過30000

題解：

將所有的病毒代碼構建一個AC自動機， 
如果存在一個可行解，必定它在trie樹中，從根節點開始走，不會碰到所有病毒的末尾節點（即不可行的點）。 
而一個點，顯然它的fail邊連的點不可行，則這個點也必定是不可行的。 
那麼我們可以從trie的根節點進行dfs， 
注意不走危險節點，不走歷史訪問過而已經不在棧中的節點 
記錄每個節點在當前 dfs 走的路徑上有沒有被選中，注意要保證路徑上的點不存在不可行節點 
當路徑中出現環，則有解

代碼：

#include<bits/stdc++.h>
#define N 233333

using namespace std;  

int n,num,next[N][2],fail[N],end[N],vis[N],rp[N];  
char s[N]; 

void insert(char *s)
{
     int len=strlen(s);
     int u=0;
     for (int i=0; i<len; i++)
         {
              int v=s[i]-'0';
              if (!next[u][v]) next[u][v]=++num;
              u=next[u][v];
         }
     end[u]=1;
}
void build()  
{  
     queue <int> Q; 
     for (int i=0; i<=1; i++)  
          if (next[0][i]) Q.push(next[0][i]);  
     while (!Q.empty())  
           {  
               int u=Q.front();
               Q.pop();  
               for (int i=0; i<=1; i++)  
                   if (!next[u][i]) 
                       next[u][i]=next[fail[u]][i];    
                   else {
                            end[next[u][i]]|=end[next[fail[u]][i]];  
                            fail[next[u][i]]=next[fail[u]][i];  
                            Q.push(next[u][i]);  
                        }
           }      
}  

bool dfs(int dep)  
{  
    vis[dep]=rp[dep]=1;  
    for(int i=0; i<=1; i++)  
        {
            if (rp[next[dep][i]]) return 1;
            if (!end[next[dep][i]] && !vis[next[dep][i]] && dfs(next[dep][i])) return 1;  
        }
    rp[dep]=0;  
    return 0;  
}  

int main()  
{  
    scanf("%d",&n);  
    for (int i=1; i<=n; i++)
        {  
             scanf("%s",s);
             insert(s);  
        }  
    build();  
    if (dfs(0)) printf("TAK");
           else printf("NIE");
    return 0;  
}