https://www.luogu.org/problemnew/show/P1726
人間之裡由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

普通tarjan

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 5e3 + 10;
const int maxm = 5e4 + 10;
int n, m, t, a, b;
vector<int> E[maxn];
stack<int> s;
int dfn[maxn], low[maxn], vis[maxn], idx;
vector<int> ans, tmp;
void tarjan(int u)
{
    dfn[u] = low[u] = ++idx;
    vis[u] = 1;
    s.push(u);
    for(register int i = 0; i < E[u].size(); i++) {
        int v = E[u][i];
        if(vis[v] == 0) {
            tarjan(v);
            low[u] = min(low[u], low[v]);
        }
        else if(vis[v] == 1) low[u] = min(low[u], dfn[v]);
    }
    if(dfn[u] == low[u]) {
        tmp.clear();
        int v;
        do {
            v = s.top();
            vis[v] = -1;
            tmp.push_back(v);
            s.pop();
        } while(u != v);
        if(tmp.size() > ans.size()) ans = tmp;
    }
}
int main()
{
    scanf("%d%d", &n, &m);
    for(register int i = 0; i < m; i++) {
        scanf("%d%d%d", &a, &b, &t);
        E[a].push_back(b);
        if(t == 2) E[b].push_back(a);
    }
    for(register int i = 1; i <= n; i++) if(dfn[i] == 0) tarjan(i);
    printf("%d\n", ans.size());
    sort(ans.begin(), ans.end());
    for(register int i = 0; i < ans.size(); i++) printf("%d ", ans[i]);
}