程序设计思维与实践 Week8 作业 C-班长竞选

题目链接：C-班长竞选

题目描述：
大学班级选班长，N个同学均可以发表意见若意见为AB，则表示A认为B合适，意见具有传递性，即A认为B合适，B认为C合适，则A也认为C合适，勤劳的TT收集了M条意见，想要知道最高票数，并给出一份候选人名单，即所有得票最多的同学，你能帮帮他吗？

Input：
本题有多组数据。第一行 T 表示数据组数。每组数据开始有两个整数 N 和 M (2 <= n <= 5000, 0 <m <= 30000)，接下来有 M 行包含两个整数 A 和 B(A != B) 表示 A 认为 B 合适。

Output：
对于每组数据，第一行输出 “Case x: ”，x 表示数据的编号，从1开始，紧跟着是最高的票数。 接下来一行输出得票最多的同学的编号，用空格隔开，不忽略行末空格！

Sample Input：
2
4 3
3 2
2 0
2 1

3 3
1 0
2 1
0 2

Sample Output：
Case 1: 2
0 1
Case 2: 2
0 1 2

思路：
使用前向星存储图结构，用kosaraju求出强连通分量，然后进行缩点操作，对于第i个SCC，进行合并处理，即把SCC合并成一个点，dfs反图各边，加入不在同一SCC中的边构成新图，然后计算票数，最终结果是原图中出度为0的点。

总结：
• 强连通分量
• 有向图中的概念
• 强连通：有向图 G 中任意两个结点连通
• 强连通分量（SCC）：极大的强连通子图

• DFS 序分类
• 前序：第一次达到点 x 的次序，用 d[x] 表示
• 后序：x 点遍历完成的次序，即回溯时间，用 f[x] 表示
• DFS 序列
• 前序序列
• 后序序列
• 逆后序序列
• 后序序列的逆序

Kosaraju
• 算法解决的问题
• 找到有向图中所有的 SCC
• 算法步骤
• 第一遍 dfs 确定原图的逆后序序列
• 第二遍 dfs 在反图中按照逆后序序列进行遍历
• 反图即将原图中的有向边反向
• 每次由起点遍历到的点即构成一个 SCC

代码：

#include<bits/stdc++.h>
using namespace std;
int T,N,M,A,B;
int tot1,tot2,tot3;
int dcnt,scnt,ans,vote,cnt,num=1;
int head1[5010],head2[5010],head3[5010],inde[5010],d[5010],scc[5010],res[5010],vis2[5010];
bool vis1[5010],flag[5010],vis3[5010];
struct edge{
	int to,next,w;
};
void init(){
	tot1=0,tot2=0,tot3=0;
	dcnt=0,scnt=0,ans=0,vote=0,cnt=0;
	memset(head1,0,sizeof(head1));
	memset(head2,0,sizeof(head2));
	memset(head3,0,sizeof(head3));
	memset(vis1,0,sizeof(vis1));
	memset(vis2,0,sizeof(vis2));
	memset(vis3,0,sizeof(vis3));
	memset(inde,0,sizeof(inde));
	memset(d,0,sizeof(d));
	memset(scc,0,sizeof(scc));
	memset(res,0,sizeof(res));
	memset(flag,0,sizeof(flag));
}
edge e1[30010],e2[30010],e3[30010];
void add1(int x,int y,int w){
	e1[++tot1].to=y;
	e1[tot1].next=head1[x];
	e1[tot1].w=w;
	head1[x]=tot1;
}
void add2(int x,int y,int w){
	e2[++tot2].to=y;
	e2[tot2].next=head2[x];
	e2[tot2].w=w;
	head2[x]=tot2;
}
void add3(int x,int y,int w){
	e3[++tot3].to=y;
	e3[tot3].next=head3[x];
	e3[tot3].w=w;
	head3[x]=tot3;
	inde[w]++;
}
void dfs1(int x){
	vis1[x]=1;
	for(int i=head1[x];i!=0;i=e1[i].next){
		int y=e1[i].w;
		if(!vis1[y])
			dfs1(y);
	}
	d[++dcnt]=x;
}
void dfs2(int x){
	vis2[x]=scnt;
	scc[scnt]++;
	for(int i=head2[x];i!=0;i=e2[i].next){
		int y=e2[i].w;
		if(!vis2[y])
			dfs2(y);
	}
}
void dfs3(int x){
	ans+=scc[x];
	vis3[x]=1;
	for(int i=head3[x];i!=0;i=e3[i].next){
		int y=e3[i].w;
		if(!vis3[y])
			dfs3(y);
	}
}
void kosaraju(){
	for(int i=1;i<=N;i++)
		if(!vis1[i])
			dfs1(i);
	for(int i=N;i>=1;i--)
		if(!vis2[d[i]]){
			++scnt;
			dfs2(d[i]);
		}
}
int main(){
	//freopen("in.txt","r",stdin);
	cin>>T;
	while(T--){
		cin>>N>>M;
		init();
		for(int i=1;i<=M;i++){
			cin>>A>>B;
			add1(A+1,A+1,B+1);
			add2(B+1,B+1,A+1);
		}
		kosaraju();
		for(int i=1;i<=N;i++)
			for(int j=head2[i];j!=0;j=e2[j].next){
				int y=e2[j].w;
				if(vis2[i]==vis2[y])
					continue;
				add3(vis2[i],vis2[i],vis2[y]);
			}
		for(int i=1;i<=scnt;i++)
			if(inde[i]==0){
				ans=0;
				memset(vis3,0,sizeof(vis3));
				dfs3(i);
				res[i]+=--ans;
			}
		for(int i=1;i<=scnt;i++)
			vote=max(vote,res[i]);
		for(int i=1;i<=scnt;i++)
			if(res[i]==vote)
				flag[i]=1;
		cout<<"Case "<<num<<": "<<vote;//<<endl;
		for(int i=1;i<=N;i++)
			if(flag[vis2[i]]){
				if(cnt==0){
					cout<<i-1;
					cnt++;
				}
				else
					cout<<" "<<i-1;
			}
		//cout<<endl;
		num++;
	}
}