大学班级选班长,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
解题思路:
targin缩点后 得到一个DAG(有向无环图,顺便记录下每个强连通图包含的节点数),每个强连通图可以用一个唯一编号去代替,这样可以知道有多少个强连通图是没有出度的,我们的答案就在这些 没有出度的强连通图中。因为如果一个强连通图有出度,那么它一定不是得票最多的。
缩点后,不难发现对于属于第 i 个 SCC 的点来说,答案分为 两部分,令 SCC[i] 表示第 i 个 SCC 中点的个数
• 当前 SCC 中的点,ans += SCC[i] – 1(去除自己)
• 其它 SCC 中的点 • SUM ( SCC[j] ),其中 j 可到达 I
• 稍加思考,可以发现最后答案一定出现在出度为 0 的 SCC 中
#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<stack>
#include<vector>
using namespace std;
typedef long long ll;
const int INF = 1e8;
const int maxn = 5010;
vector<int> G1[maxn],G2[maxn];
int low[maxn],dfn[maxn],in[maxn];
int vis[maxn],instack[maxn],scc[maxn],ans[maxn],sccsum[maxn];
int n,tot,num,sum;
stack<int> S;
void init(){
tot = num = 0;
for(int i=0 ;i<=n ;i++){
G1[i].clear(),G2[i].clear();
}
memset(low,0,sizeof(low));
memset(dfn,0,sizeof(dfn));
memset(in,0,sizeof(in));
memset(ans,0,sizeof(ans));
memset(vis,0,sizeof(vis));
memset(instack,0,sizeof(instack));
memset(scc,0,sizeof(scc));
memset(sccsum,-1,sizeof(sccsum));
while(S.size()) S.pop();
}
void Tarjan(int x){
low[x] = dfn[x] = tot++;
vis[x] = instack[x] = 1;
S.push(x);
for(int i=0 ;i<G1[x].size();i++){
int v = G1[x][i];
if(!vis[v]){
Tarjan(v);
low[x] = min(low[x],low[v]);
}
else if(instack[v]){
low[x] = min(low[x],dfn[v]);
}
}
if(low[x] == dfn[x]){
int cnt = 0;
while(1){
int t = S.top();
S.pop();
instack[t] = 0;
cnt++;
scc[t] = num;
if(t == x) break;
}
ans[num] = cnt;
num++;
}
}
void dfs(int x){
vis[x] = 1;
sum += ans[x];
for(int i=0 ;i<G2[x].size() ;i++){
if(!vis[G2[x][i]])
dfs(G2[x][i]);
}
}
int main(){
int T,count=1;
scanf("%d",&T);
while(T--){
int m;
scanf("%d%d",&n,&m);
init();
while(m--){
int x,y;
scanf("%d%d",&x,&y);
G1[x].push_back(y);
}
for(int i=0 ;i<n ;i++){
if(!vis[i]){
Tarjan(i);
}
}
for(int i=0 ;i<n ;i++){
for(int j=0;j<G1[i].size();j++){
if(scc[i] != scc[G1[i][j]]){
in[scc[i]]++;
G2[scc[G1[i][j]]].push_back(scc[i]);
}
}
}
int res = -1;
for(int i=0 ;i<num ;i++){
if(!in[i]){
sum = 0;
memset(vis,0,sizeof(vis));
dfs(i);
sccsum[i] = sum;
if(sum > res){
res = sum;
}
}
}
printf("Case %d: %d\n",count++,res-1);
bool flag=true;
for(int i=0 ;i<n ;i++){
if(sccsum[scc[i]] == res){
if(flag)
printf("%d",i),flag=false;
else printf(" %d",i);
}
}
printf("\n");
}
return 0;
}