[BZOJ1194][HNOI2006][强连通分量Tarjan+dfs]潘多拉的盒子

[BZOJ1194][HNOI2006]潘多拉的盒子

Input

第一行是一个正整数S，表示宝盒上咒语机的个数，（1≤S≤50）。文件以下分为S块，每一块描述一个咒语机，按照咒语机0,咒语机1„„咒语机S－1的顺序描述。每一块的格式如下。 一块的第一行有两个正整数n,m。分别表示该咒语机中元件的个数、咒语源输出元的个数（1≤m≤n≤50）。 接下来一行有m个数，表示m个咒语源输出元的标号（都在0到n-1之间）。接下来有n行，每一行两个数。第i行（0≤i≤n-1）的两个数表示pi,0和pi,1（当然，都在0到n-1之间）。

Output

第一行有一个正整数t,表示最长升级序列的长度。

Sample Input

4
1 1
0
0 0
2 1
0
1 1
0 0
3 1
0
1 1
2 2
0 0
4 1
0
1 1
2 2
3 3
0 0

Sample Output

3

 

题目大意：咒语机中的元件每个都有两种情况，即把信号处理后把信号传给两个对应的元件，若信号传给了输出元件，那么就可以得到一个种类的信号。设每个咒语机可以产生若干种信号，那么找到一个最长上升序列使得序列中的每一个咒语机都能生成他之前每一个咒语机能生成的信号。

大概思路：我们可以先枚举两个咒语机之间的关系（比如咒语机a产生的信号种类数比咒语机b产生的信号种类数多），即让两个咒语机都一直向添加1移动或一直向添加0移动，若某个咒语机搜索时先遇到输出机，那么这个咒语机产生的信号种类一定比另一个多。枚举时按照a属于b的关系建立单向边。然后Tarjan缩点找最长链即可。

AC代码：

 #include <cstdio>
 #include <cstring>
 #include <algorithm>
 using namespace std;
 int S,a,b,f,cnt,dfs_num,CN,top,re_cnt,maxn=;
 int pre[],dye[],DFN[],LOW[],size[],in_tow[],tow[],re_pre[],ans[];
 int print[][],jdg[][];
 int move[][][];
 struct pack{int from,to,next;} E[],re_E[];
 void add_edge(int x,int y){
     E[++cnt].to=y;
     E[cnt].next=pre[x];
     E[cnt].from=x;
     pre[x]=cnt;
 }
 void rebuild(){
     for(int i=;i<=S;++i)
         for(int j=pre[i];j;j=E[j].next)
             if(dye[i]!=dye[E[j].to]){
                 re_E[++re_cnt].to=dye[E[j].to];
                 re_E[re_cnt].next=re_pre[dye[i]];
                 re_E[re_cnt].from=dye[i];
                 re_pre[dye[i]]=re_cnt;
         }
 }
 void dfs(int p,int q){
     if(jdg[p][q]||f) return ;
     jdg[p][q]=;
     if(print[b][q]&&!print[a][p]) {f=;return ;}
     dfs(move[a][p][],move[b][q][]);
     dfs(move[a][p][],move[b][q][]);
 }
 int check(){
     f=;memset(jdg,,sizeof(jdg));
     dfs(,);
     return !f;
 }
 void tarjan(int pos){
     DFN[pos]=LOW[pos]=++dfs_num;
     in_tow[tow[++top]=pos]=;
     for(int i=pre[pos];i;i=E[i].next){
         if(!DFN[E[i].to]){
             tarjan(E[i].to);
             LOW[pos]=min(LOW[pos],LOW[E[i].to]);
         }
         else if(in_tow[E[i].to])
             LOW[pos]=min(LOW[pos],DFN[E[i].to]);
     }
     if(DFN[pos]==LOW[pos]){
         in_tow[pos]=;
         size[dye[pos]=++CN]++;
         while(pos!=tow[top]){
             size[dye[tow[top]]=CN]++;
             in_tow[tow[top--]]=;
         }
         --top;
     }
 }
 int req(int v){
     if(ans[v]) return ans[v];
     ans[v]=size[v];
     for(int i=re_pre[v];i;i=re_E[i].next)
         ans[v]=max(ans[v],req(re_E[i].to)+size[v]);
     return ans[v];
 }
 int find_max(){
     for(int i=;i<=CN;++i) maxn=max(maxn,req(i));
     return maxn;
 }
 int main(){
     scanf("%d",&S);
     for(int i=;i<=S;++i){
         int n,m;
         scanf("%d%d",&n,&m);
         for(int j=;j<=m;++j){
             int t;
             scanf("%d",&t);
             print[i][t+]=;
         }
         for(int j=;j<=n;++j){
             int t,tt;
             scanf("%d%d",&t,&tt);
             move[i][j][]=t+;
             move[i][j][]=tt+;
         }
     }
     for(int i=;i<=S;++i)
         for(int j=;j<=S;++j)
             if(i!=j){
                 a=i;
                 b=j;
                 if(check()) add_edge(i,j);
             }
     for(int i=;i<=S;++i)
         if(!dye[i])
             tarjan(i);
     rebuild();
     printf("%d",find_max());
     return ;
 }