缩点 上白泽慧音

上白泽慧音

题目描述

在幻想乡，上白泽慧音是以知识渊博闻名的老师。春雪异变导致人间之里的很多道路都被大雪堵塞，使有的学生不能顺利地到达慧音所在的村庄。因此慧音决定换一个能够聚集最多人数的村庄作为新的教学地点。人间之里由N个村庄（编号为1..N）和M条道路组成，道路分为两种一种为单向通行的，一种为双向通行的，分别用1和2来标记。如果存在由村庄A到达村庄B的通路，那么我们认为可以从村庄A到达村庄B，记为(A,B)。当(A,B)和(B,A)同时满足时，我们认为A,B是绝对连通的，记为<A,B>。绝对连通区域是指一个村庄的集合，在这个集合中任意两个村庄X,Y都满足<X,Y>。现在你的任务是，找出最大的绝对连通区域，并将这个绝对连通区域的村庄按编号依次输出。若存在两个最大的，输出字典序最小的，比如当存在1,3,4和2,5,6这两个最大连通区域时，输出的是1,3,4。

输入输出格式

输入格式：

第1行：两个正整数N,M

第2..M+1行：每行三个正整数a,b,t, t = 1表示存在从村庄a到b的单向道路，t = 2表示村庄a,b之间存在双向通行的道路。保证每条道路只出现一次。

输出格式：

第1行： 1个整数，表示最大的绝对连通区域包含的村庄个数。

第2行：若干个整数，依次输出最大的绝对连通区域所包含的村庄编号。

缩点裸题。

我最后来了几遍鬼畜的循环，感觉为了解决字典序问题会有更好的方法，不过已经感觉自己的不错了。

code：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int wx=100017;
inline int read(){
	int sum=0,f=1;char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
	while(ch>='0'&&ch<='9'){sum=(sum<<1)+(sum<<3)+ch-'0';ch=getchar();}
	return sum*f;
} 
int n,m,num,ans,tot,top,col;
int head[wx],dfn[wx],low[wx],st[wx],belong[wx],size[wx],T[wx],flag[wx];
struct e{
	int nxt,to;
}edge[wx*2];
void add(int from,int to){
	edge[++num].nxt=head[from];
	edge[num].to=to;
	head[from]=num;
}
void Tarjan(int u){
	dfn[u]=low[u]=++tot;
	st[++top]=u;
	for(int i=head[u];i;i=edge[i].nxt){
		int v=edge[i].to;
		if(!dfn[v]){
			Tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(!belong[v]){
			low[u]=min(low[u],dfn[v]);
		}
	}
	if(dfn[u]==low[u]){
		belong[u]=++col;
		size[col]=1;
		while(st[top]!=u){
			belong[st[top]]=col;
			size[col]++;
			top--;
		}
		top--;
	}
}
int main(){
	n=read();m=read();
	for(int i=1,x,y,z;i<=m;i++){
		x=read();y=read();z=read();
		if(z==1)add(x,y);
		else add(x,y),add(y,x);
	}
	for(int i=1;i<=n;i++){
		if(!dfn[i])Tarjan(i);
	}
	for(int i=1;i<=col;i++)ans=max(ans,size[i]);
	for(int i=1;i<=col;i++)if(size[i]==ans)flag[i]=1;
	memset(T,0x3f,sizeof T);
	for(int i=1;i<=n;i++){
		if(flag[belong[i]]){
			T[belong[i]]=min(T[belong[i]],i);
		} 
	}
	int now=0x3f3f3f3f,pos=0;
	for(int i=1;i<=col;i++){
		if(now>T[i]){
			now=T[i];pos=i;
		}
	}
	printf("%d\n",ans);
	for(int i=1;i<=n;i++){
		if(belong[i]==pos)printf("%d ",i);
	}
	return 0;
}