【[USACO06JAN]牛的舞會The Cow Prom】tarjan求強連通分量

https://www.luogu.org/problemnew/show/p2863
粘了板子,但是有些小疑惑。。。
這個無向圖,爲什麼怎麼加邊都可以呢。。
//雖然看上去好像就是這樣。加單向邊就夠了。。。

#include<cstdio>
#include<vector>
#include<iostream>
#include<stack>
#define MAXN 10050
using namespace std;
vector<int> G[MAXN];
int dfn[MAXN], //表示這個點在dfs時是第幾個被搜到的
low[MAXN], //表示這個點以及其子孫節點連的所有點中dfn最小的值
instk[MAXN], //表示一個點是否在stack中
sccno[MAXN],//每個點屬於什麼顏色 
count[MAXN];//同樣顏色有多少個 
stack<int> S;//表示當前所有可能能構成是強連通分量的點
int Time, cnt ,n, res,a,b,m;
void Tarjan(int u){
    dfn[u] = low[u] = ++Time;//第幾個被dfs到 
    S.push(u);//u之後的所有點在u被回溯到時,u和棧中所有在它之後的點都構成強連通分量 
    instk[u] = 1;
    for (int i = 0; i < G[u].size(); ++i) {//遍歷每一個u可以到的點 
        int v = G[u][i];
        if (!dfn[v]) {
            Tarjan(v);
            low[u] = min(low[u], low[v]);//v是u的子孫結點嘛 
        }
        else if (instk[v]) {
            low[u] = min(low[u], dfn[v]); 
        }
    }
    if (low[u] == dfn[u]) {//u點及u點之下的所有子節點沒有邊是指向u的祖先的了
        cnt++;
        int v;
        do{
            v = S.top();
            S.pop();
            instk[v] = 0;
            sccno[v] = cnt;
        } while (v != u);
    }   
}

void find_scc(){
    for (int i = 1; i <= n; ++i)
        if (!dfn[i]) Tarjan(i);
}
int main(){
	cin >> n >> m;
	for(int i = 0;i < m;i ++){
		scanf("%d%d",&a,&b);
		G[a].push_back(b);
	}
	find_scc();
	int ans = 0;
	for(int i = 1;i <= n;i ++) count[sccno[i]] ++;
	for(int i = 1;i <= n;i ++) if(count[i] > 1) ans ++;
	cout <<ans;
}

https://blog.csdn.net/qq_39599067/article/details/81321884
其實沒有太懂。。爲什麼這樣就可以。。。而且自己試的也不行。。。應該是因爲我存邊方式的問題。。?
那是隻要存單向就可以了對吧。。?
話說無向連通圖有什麼可不連通的呢 ┑( ̄Д  ̄)┍
我太菜了。。。orz

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章