[POI2000]病毒

题目大意：
　　给定$n$个字符串$s_i(sum|s_i|leq30000)$，问是否能够造出一个无限长的字符串$t$，使得$t$中没有任何一个$s_i$。

思路：
　　构造AC自动机。在自动机上DFS，避开所有的危险结点，判断是否有环。若存在环，则$t$存在。

#include<queue>
#include<cstdio>
#include<cctype>
inline int getint() {
    register char ch;
    while(!isdigit(ch=getchar()));
    register int x=ch^'0';
    while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=30001,S=2;
char s[N];
class AhoCorasick {
    private:
        int ch[N][S],fail[N];
        bool dan[N],ins[N],vis[N];
        std::queue<int> q;
        int sz,new_node() {
            return ++sz;
        }
        int idx(const int &c) const {
            return c^'0';
        }
    public:
        void insert(const char s[]) {
            int p=0;
            for(register int i=0;s[i];i++) {
                const int c=idx(s[i]);
                p=ch[p][c]?:ch[p][c]=new_node();
            }
            dan[p]=true;
        }
        void get_fail() {
            for(register int c=0;c<S;c++) {
                if(ch[0][c]) q.push(ch[0][c]);
            }
            while(!q.empty()) {
                const int &x=q.front();
                for(register int c=0;c<S;c++) {
                    int &y=ch[x][c];
                    if(!y) {
                        y=ch[fail[x]][c];
                        continue;
                    }
                    fail[y]=ch[fail[x]][c];
                    dan[y]|=dan[fail[y]];
                    q.push(y);
                }
                q.pop();
            }
        }
        bool dfs(const int &x) {
            ins[x]=vis[x]=true;
            for(int c=0;c<S;c++) {
                const int &y=ch[x][c];
                if(ins[y]) return true;
                if(dan[y]||vis[y]) continue;
                if(dfs(y)) return true;
            }
            return ins[x]=false;
        }
};
AhoCorasick ac;
int main() {
    for(register int i=getint();i;i--) {
        scanf("%s",s);
        ac.insert(s);
    }
    ac.get_fail();
    puts(ac.dfs(0)?"TAK":"NIE");
    return 0;
}