bzoj1194 [HNOI2006]潘多拉的盒子（自动机+bfs+tarjan+拓扑序dp）

我们枚举每一对自动机A，B，看A能识别的所有串能否被B全都识别。如果能就建边A->B.那么我们tarjan缩点+拓扑序dp求最长链即可。
考虑如何判断能否全都识别：bfs，同时扩展两个自动机，如果某一个串在A自动机走到了结束节点而B自动机不是结束节点，那么就不能全部识别。以A,B自动机分别匹配到了哪个节点为状态，不重复搜，复杂度就是$O(n^2)$的
因此总的复杂度就是$O(S^2n^2)$

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#include <utility>
#include <stack>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 60
#define pa pair<int,int>
inline char gc(){
    static char buf[1<<16],*S,*T;
    if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0,f=1;char ch=gc();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
    return x*f;
}
int n,m,h[N],num=0,dfn[N],low[N],scc=0,bel[N],sz[N],dfnum=0,du[N],Q[N],f[N];
bool inq[N],vis[N][N];int ans=0;
struct edge{
    int fr,to,next;
}data[N*N];
inline void add(int x,int y){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].fr=x;
}
struct AM{
    int n,son[N][2];bool ed[N];
    inline void init(){
        n=read();m=read();memset(ed,0,sizeof(ed));
        while(m--) ed[read()]=1;
        for(int i=0;i<n;++i) son[i][0]=read(),son[i][1]=read();
    }
}a[N];
inline bool jud(AM &A,AM &B){
    queue<pa>q;memset(vis,0,sizeof(vis));
    q.push(make_pair(0,0));vis[0][0]=1;
    while(!q.empty()){
        int x=q.front().first,y=q.front().second;q.pop();
        if(A.ed[x]&&!B.ed[y]) return 0;
        for(int i=0;i<2;++i){
            int xx=A.son[x][i],yy=B.son[y][i];
            if(!vis[xx][yy]) q.push(make_pair(xx,yy)),vis[xx][yy]=1;
        }
    }return 1;
}stack<int>qq;
inline void tarjan(int x){
    dfn[x]=low[x]=++dfnum;qq.push(x);inq[x]=1;
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;
        if(!dfn[y]) tarjan(y),low[x]=min(low[x],low[y]);
        else if(inq[y]) low[x]=min(low[x],dfn[y]);
    }if(low[x]==dfn[x]){
        ++scc;while(1){
            int y=qq.top();qq.pop();inq[y]=0;
            bel[y]=scc;sz[scc]++;if(y==x) break;
        }
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();
    for(int i=1;i<=n;++i) a[i].init();
    for(int i=1;i<=n;++i)
        for(int j=1;j<=n;++j)
            if(i!=j&&jud(a[i],a[j])) add(i,j);
    for(int i=1;i<=n;++i) if(!dfn[i]) tarjan(i);
    int num1=num;num=0;memset(h,0,sizeof(h));
    for(int i=1;i<=num1;++i){
        int x=data[i].fr,y=data[i].to;
        if(bel[x]!=bel[y]) add(bel[x],bel[y]),du[bel[y]]++;
    }int qh=1,qt=0;
    for(int i=1;i<=scc;++i) if(!du[i]) Q[++qt]=i;
    while(qh<=qt){
        int x=Q[qh++];
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;if(--du[y]==0) Q[++qt]=y;
        }
    }for(int i=scc;i>=1;--i){
        int x=Q[i];
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;f[x]=max(f[x],f[y]);
        }f[x]+=sz[x];ans=max(ans,f[x]);
    }printf("%d\n",ans);
    return 0;
}