缩点 上白泽慧音

Posted 2021-01-10 wangxiaodai

上白泽慧音

题目描述

在幻想乡，上白泽慧音是以知识渊博闻名的老师。春雪异变导致人间之里的很多道路都被大雪堵塞，使有的学生不能顺利地到达慧音所在的村庄。因此慧音决定换一个能够聚集最多人数的村庄作为新的教学地点。人间之里由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
",ans);
    for(int i=1;i<=n;i++){
        if(belong[i]==pos)printf("%d ",i);
    }
    return 0;
}