HDU 6208 The Dominator of Strings ——（青岛网络赛，AC自动机）

　　最长的才可能成为答案，那么除了最长的以外全部insert到自动机里，再拿最长的去match，如果match完以后cnt全被清空了，那么这个最长串就是答案。事实上方便起见这个最长串一起丢进去也无妨，而且更好写（时间也没有慢特别多）。

　　另外需要注意的一点是init()里头的memset只需要清空之前用过的节点而不是所有节点，这是经常被卡的一点。

　　代码如下：

#include <stdio.h>
#include <algorithm>
#include <string.h>
#include <queue>
#include <vector>
using namespace std;
const int MAX_N = 100000 + 50;
const int MAX_Tot = 100000 + 50;

struct Aho
{
    struct state
    {
        int nxt[26];
        int fail,cnt;
    }stateTable[MAX_Tot];

    int size;

    queue<int> que;

    void init()
    {
        while(que.size()) que.pop();
        for(int i=0;i<size;i++)
        {
            memset(stateTable[i].nxt,0,sizeof(stateTable[i].nxt));
            stateTable[i].fail = stateTable[i].cnt = 0;
        }
        size = 1;
    }

    void insert(char *s)
    {
        int n = strlen(s);
        int now = 0;
        for(int i=0;i<n;i++)
        {
            char c = s[i];
            if(!stateTable[now].nxt[c-'a'])
                stateTable[now].nxt[c-'a'] = size++;
            now = stateTable[now].nxt[c-'a'];
        }
        stateTable[now].cnt++;
    }

    void build()
    {
        stateTable[0].fail = -1;
        que.push(0);

        while(que.size())
        {
            int u = que.front();que.pop();
            for(int i=0;i<26;i++)
            {
                if(stateTable[u].nxt[i])
                {
                    if(u == 0) stateTable[stateTable[u].nxt[i]].fail = 0;
                    else
                    {
                        int v = stateTable[u].fail;
                        while(v != -1)
                        {
                            if(stateTable[v].nxt[i])
                            {
                                stateTable[stateTable[u].nxt[i]].fail = stateTable[v].nxt[i];
                                break;
                            }
                            v = stateTable[v].fail;
                        }
                        if(v == -1) stateTable[stateTable[u].nxt[i]].fail = 0;
                    }
                    que.push(stateTable[u].nxt[i]);
                }
            }
        }
    }

    //bool mark[MAX_Tot];
    void Get(int u)
    {
        while(u)
        {
            if(stateTable[u].cnt == -1) break;
            stateTable[u].cnt = -1;
            u = stateTable[u].fail;
        }
    }

    int match(char *s)
    {
        //memset(mark, 0, sizeof mark);
        int n = strlen(s);
        int res = 0, now = 0;
        for(int i=0;i<n;i++)
        {
            char c = s[i];
            if(stateTable[now].nxt[c-'a']) now = stateTable[now].nxt[c-'a'];
            else
            {
                int p = stateTable[now].fail;
                while(p != -1 && stateTable[p].nxt[c-'a'] == 0) p = stateTable[p].fail;
                if(p == -1) now = 0;
                else now = stateTable[p].nxt[c-'a'];
            }

            Get(now);
        }
        for(int i=1;i<size;i++) if(stateTable[i].cnt > 0) return 0;
        return 1;
    }
}aho;

int T,n;
char s[MAX_N], t[MAX_N];

int main()
{
    int T;scanf("%d",&T);
    while(T--)
    {
        vector<char> v;
        aho.init();
        scanf("%d",&n);
        int maxn = 0;
        for(int i=1;i<=n;i++)
        {
            scanf("%s",s);
            //aho.insert(s);
            int sz = strlen(s);
            for(int j=0;j<sz;j++) v.push_back(s[j]);
            v.push_back('#');
            if(sz > maxn)
            {
                maxn = sz;
                strcpy(t, s);
            }
        }
        int tot = 0;
        for(int i=0;i<v.size();i++)
        {
            if(v[i] == '#')
            {
                s[tot++] = 0;
                tot = 0;
                if(strcmp(s, t)) aho.insert(s);
            }
            else s[tot++] = v[i];
        }
        aho.build();
        int ans = aho.match(t);
        if(ans) puts(t);
        else puts("No");
    }
}