AC自动机，Tarjan（ZOJ 3784，String of Infinity）

#include<bits/stdc++.h>
using namespace std;
const int maxn = 100010;
const int maxc = 26;
int MAXC;

int ch[maxn][maxc];
int val[maxn];
int sz;

int f[maxn];

vector<int>SET[maxn];
int pre[maxn];
int low[maxn];
int scc[maxn];
int dfs_clc;
int scc_cnt;
stack<int>s;

int vis[maxn];

struct Trie
{
void init()
{
sz=1;
memset(ch[0],0,sizeof(ch[0]));
val[0]=0;

char s[5];
s[1]='\0';
for(int c=0;c<MAXC;c++)
{
s[0]='a'+c;
insert(s);
val[sz-1]=0;
}
}

int idx(char c)
{
return c-'a';
}

void insert(char* s)
{
int l=strlen(s);
int u=0;
for(int i=0;i<l;i++)
{
int v=idx(s[i]);
if(!ch[u][v])
{
memset(ch[sz],0,sizeof(ch[sz]));
val[sz]=0;
ch[u][v]=sz++;
}
u=ch[u][v];
}
val[u]=1;
}

void getfail()
{
queue<int>q;
f[0]=0;
for(int c=0;c<MAXC;c++)
{
f[ch[0][c]]=0;
q.push(ch[0][c]);
}
while(!q.empty())
{
int r=q.front();
q.pop();
for(int c=0;c<MAXC;c++)
{
int u=ch[r][c];
if(!u)
{
ch[r][c]=ch[f[r]][c];
continue;
}
if(val[u]) continue;
int v=f[r];
while(v&&val[ch[v][c]]) v=f[v];
f[u]=ch[v][c];
val[u]|=val[f[u]];
if(!val[u]) q.push(u);
}
}
}

void dfs(int u)
{
pre[u]=low[u]=++dfs_clc;
s.push(u);
for(int c=0;c<MAXC;c++) if(!val[ch[u][c]])
{
int v=ch[u][c];
if(!pre[v])
{
dfs(v);
low[u]=min(low[u],low[v]);
}
else if(!scc[v]) low[u]=min(low[u],pre[v]);
}
if(pre[u]==low[u])
{
scc_cnt++;
while(1)
{
int x=s.top();
s.pop();
scc[x]=scc_cnt;
SET[scc_cnt].push_back(x);
if(x==u) break;
}
}
}

void handle()
{
for(int i=0;i<=sz;i++)
{
SET[i].clear();
pre[i]=0;
low[i]=0;
scc[i]=0;
}
dfs_clc=0;
scc_cnt=0;
while(!s.empty()) s.pop();
dfs(0);
}

int DFS(int u)
{
vis[u]=1;
int ret=0;
for(int c=0;c<MAXC;c++) if(scc[u]==scc[ch[u][c]])
{
int v=ch[u][c];
if(vis[v]) ret++;
if(!vis[v]) ret+=DFS(v);
}
return ret;
}

bool ok()
{
for(int i=0;i<=sz;i++) vis[i]=0;
handle();
for(int i=1;i<=scc_cnt;i++) if(DFS(SET[i][0])>1) return true;
return false;
}
}trie;

char str[1010];

void solve()
{
int N;
scanf("%d %d",&N,&MAXC);
trie.init();
while(N--)
{
scanf("%s",str);
trie.insert(str);
}
trie.getfail();
if(trie.ok()) puts("Yes");
else puts("No");
}

int main()
{
int T;
scanf("%d",&T);
while(T--) solve();
return 0;
}