P1726 上白泽慧音

这是一个求强连通分量的模版题

一般的我们都选取Tarjan算法，常数较小，写起来比较方便
我们用三个数组，low[maxn],vis[maxn],dfn[maxn]
其中dfn表示当前的节点被搜到的时间戳，vis表示当前这个被搜过的节点在不在栈的里面，low数组最难理解，因为tarjan基于dfs实现，dfs搜索过程构成了一颗搜索树，那么low[i] 的值代表，当前节点 i 通过一条非树边，可以走到 low[i] 节点，因此low[i]代表了当前节点所在搜索树的最小树根，也就是当前节点可以走到的时间戳最小的位置，因此我们可以发现，当dfn[i] == low[i] 的时候，栈里面退栈到i元素，推出栈的元素一定构成强连通分量，而图不一定联通，我们只需要对每一个未被搜过的节点跑一次tarjan，就可以找到所有的强连通分量

而这道题需要我们求解最大强连通分量，而且还有字典序要求，因此我们只需要找出最大的强连通分量，然后cmp函数比较字典序即可，还可以记录强连通分量个数，并且记录当前节点属于哪一个强连通分量，顺序输出最大的即可。

#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e5 + 10;
int idx,tot,ans;
int low[maxn],dfn[maxn],vis[maxn];
int size[maxn],belong[maxn];
int stk[maxn],top;
int head[maxn];
struct _edge {
    int to,nex;
}edge[maxn<<2];
void add(int u,int v){
    edge[tot].to = v;
    edge[tot].nex = head[u];
    head[u] = tot++;
}
void tarjan(int u){
    dfn[u] = low[u] = ++idx;
    stk[++top] = u; vis[u] = 1;
    for (int i=head[u]; ~i; i=edge[i].nex) {
        int v = edge[i].to;
        if (!dfn[v]){
            tarjan(v);
            low[u] = min(low[u],low[v]);
        }else if (vis[v]){
            low[u] = min(low[u],dfn[v]);
        }
    }
    if (low[u] == dfn[u]){
        ans++;
        while (1) {
            int now = stk[top--];
            belong[now] = ans;
            size[ans]++;
            vis[now] = 0;
            if (now == u){
                break;
            }
        }
    }
}
int main(){
    int n,m,a,b,t;
    scanf("%d%d",&n,&m);
    memset(head, -1, sizeof(head));
    for (int i=1; i<=m; i++) {
        scanf("%d%d%d",&a,&b,&t);
        add(a, b);
        if (t == 2) add(b, a);
    }
    for (int i=1; i<=n; i++) {
        if (!dfn[i]){
            tarjan(i);
        }
    }
    int max_size = 0;
    for (int i=1; i<=tot; i++) {
        max_size = max(max_size,size[i]);
    }
    cout << max_size << endl;
    for (int i=1; i<=n; i++) {
        if (size[belong[i]] == max_size){
            cout << i << ' ';
        }
    }
    cout << endl;
    return 0;
}