week8_C 班长竞选（Kosaraju算法 SCC缩点）

题目描述

大学班级选班长，N 个同学均可以发表意见
若意见为 A B 则表示 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

思路分析

1.找到图中所有的SCC（强连通分量）
第一遍dfs确定原图的逆后序序列
第二遍dfs在反图中按照逆后序序列进行遍历
后序：x点遍历完成的次序，即回溯时间
逆后序序列：后序序列的逆序
2.缩点，即将互相可达与单向可达分开考虑
对于当前scc中的点，ans+=scc[i]-1（去除自己）
对于其他scc中的点，是sum即scc[j]，其中j可到达i
最后答案在出度为0的SCC中。
3.将边反向，对入度为0的点进行第三遍dfs，计算其能到达点的sum

注意

1.缩点时注意：将u,v加入到c[u],c[v]时保证两个点不在同一个SCC中
2.最后答案一定在出度为0的SCC中

代码

#include<iostream>
#include<cstring>
#include<vector> 
#include<algorithm>
using namespace std;
//n个人中选m个人 
int t,n,m,a,b,c[5005],vis[5005],dfn[5005],dcnt,scnt; 
//c[i]:记录i点所在scc编号 dcnt:dfs序计数 scnt:scc计数
vector<int> g1[5005],g2[5005],g3[5005];//原图，反图，缩点后新图 
int in[5005],scc[5005],sum[5005];
//in[]:记录入度
//scc[]:存放每一个scc中的点 
//sum[]:记录每个scc得到的最大票数
void dfs1(int x)
{
   
    vis[x]=1;
    for(int i=0;i<g1[x].size();i++)
    {
   
  	if(!vis[g1[x][i]