uva 10972 RevolC FaeLoN
双连通分量
题意:一个无向图要添加多少条边才能使其变为边双连通分量,和 poj 3352 Road Construction 几乎一样的题目,不同的是,poj这题,原图是保证连通的,这题是不连通的,过程完全一样,只是最后计算答案的公式不同.所以题目分析就不写了,直接看poj那题吧,其实这题也是模板题,懂双连通分量的知识的话,并不需要看分析
poj那题,缩点后不会出现孤立点,因为整个图连通的,所以只要找到缩点后的叶子个数就可以了,所以是(leaf+1)/2
对于这题,因为图不连通,可能出现缩点后的孤立点。首先看缩点后的图,可能是一块一块的,对于点数超过1的块,和poj那题是一样的,只要找到叶子,所以没找到一个叶子就计数1,然后连接叶子,就能先把这块变成一个边双连通分量。对于那些只有一个点的块,要向其他块连至少2条边才能保证边双连通,所以找到缩点后有多少个孤立点,这些孤立点要计数2,表示连两条边
最后答案就是(A + 1 + B*2)/2 , A表示有多少个叶子,B表示有多少个孤立点
如果原图就是个边双连通分量,不需要加任何边,输出0
同样给出两个代码,第1个代码是简化了tarjan
#include <iostream> #include <cstdio> #include <cstring> #include <stack> #include <vector> using namespace std; #define N 1010 int n,tot; int dfn[N],low[N],vis[N],de[N],dcnt,bcnt; vector<int>e[N]; void init() { dcnt = bcnt = 0; for(int i=1; i<=n; i++) { dfn[i] = 0; e[i].clear(); vis[i] = de[i] = 0; } } void dfs(int u ,int fa) { dfn[u] = low[u] = ++dcnt; vis[u] = 1; for(int i=0; i<e[u].size(); i++) { int v = e[u][i]; if(v == fa) continue; if(!vis[v]) //树边 { dfs(v,u); low[u] = min(low[u] , low[v]); if(low[v] > dfn[u]) //找到一个桥,新增一个连通分量 bcnt++; } else if(vis[v] == 1) //后向边 low[u] = min(low[u] , dfn[v]); } } void solve() { for(int i=1; i<=n; i++) if(!vis[i]) { dfs(i,-1); bcnt++; } if(bcnt == 1) //整个图本身就是个双连通分量 { cout << 0 << endl; return ; } bool used[N]; memset(used,false,sizeof(used)); for(int i=1; i<=n; i++) { if(e[i].size() == 0) //孤立点,它自身形成一个连通分量 { used[low[i]] = true ; continue; } for(int j=0; j<e[i].size(); j++) { int u = i; int v = e[i][j]; used[low[u]] = used[low[v]] = true; if(low[u] != low[v]) //不同的连通分量 de[low[u]]++; } } int res = 0; for(int i=1; i<=n; i++) //扫描缩点后每个点的度 if(used[i] && de[i] == 0) //度为0即孤立点 res += 2; else if(de[i] == 1) //叶子 res++; cout << (res+1)/2 << endl; } int main() { while(cin >> n >> tot) { init(); while(tot--) { int u,v; cin >> u >> v; e[u].push_back(v); e[v].push_back(u); //偷懒直接用vector建图不用静态链表了 } solve(); } return 0; }
模板,找到所有的桥
#include <iostream> #include <cstdio> #include <cstring> #include <stack> #include <vector> #include <utility> using namespace std; #define N 1010 int n,tot; int dfn[N],low[N],ins[N],belong[N],de[N],dcnt,bcnt; vector<int>e[N]; stack<int>sta; typedef pair<int,int> pii; vector<pii>bridge; void init() { dcnt = bcnt = 0; while(!sta.empty()) sta.pop(); bridge.clear(); for(int i=1; i<=n; i++) { dfn[i] = 0; e[i].clear(); ins[i] = de[i] = 0; } } void dfs(int u ,int fa) { sta.push(u); ins[u] = true; dfn[u] = low[u] = ++dcnt; for(int i=0; i<e[u].size(); i++) { int v = e[u][i]; if(v == fa) continue; if(!dfn[v]) //树边 { dfs(v,u); low[u] = min(low[u] , low[v]); if(low[v] > dfn[u]) //桥 { bridge.push_back(make_pair(u,v)); ++bcnt; while(true) { int x = sta.top(); sta.pop(); ins[x] = 0; belong[x] = bcnt; if(x == v) break; } } } else if(ins[v]) //后向边 low[u] = min(low[u] , dfn[v]); } } void solve() { for(int i=1; i<=n; i++) if(!dfn[i]) { dfs(i,-1); bcnt++; while(!sta.empty()) { int x = sta.top(); sta.pop(); ins[x] = 0; belong[x] = bcnt; if(x == i) break; } } if(bcnt == 1) {cout << 0 << endl; return ;} for(int i=0; i<bridge.size(); i++) //取出所有的桥 { int u = bridge[i].first; int v = bridge[i].second; de[belong[u]]++; de[belong[v]]++; } int res = 0; for(int i=1; i<=bcnt; i++) if(de[i] == 0) res += 2; else if(de[i] == 1) res++; cout << (res+1)/2 << endl; } int main() { while(cin >> n >> tot) { init(); while(tot--) { int u,v; cin >> u >> v; e[u].push_back(v); e[v].push_back(u); } solve(); } return 0; }