Pagini recente » Cod sursa (job #1969945) | Cod sursa (job #2040503) | Cod sursa (job #284989) | Cod sursa (job #581645) | Cod sursa (job #2049568)
#include <bits/stdc++.h>
using namespace std;
/**
* Author: Simon Lindholm (adapted by Lucian Bicsi)
* Date: 2017-04-17
* License: CC0
* Description: Finds all biconnected components in an undirected graph, and
* runs a callback for the edges in each.
* Callback should operate on vector<pair<int, int>>::iterators.
* In a biconnected component there
* are at least two distinct paths between any two nodes. Note that a node can
* be in several components. An edge which is not in a component is a bridge,
* i.e., not part of any cycle.
*
* To get the articulation points, look for vertices that are in more than 1 BCC.
* Time: O(E + V)
* Status: tested during MIPT ICPC Workshop 2017
*/
struct BCC {
vector<pair<int, int>> edges;
vector<vector<int>> G;
vector<int> enter, low, stk;
BCC(int n) : G(n), enter(n, -1) {}
int AddEdge(int a, int b) {
int ret = edges.size();
edges.emplace_back(a, b);
G[a].push_back(ret);
G[b].push_back(ret);
return ret;
}
vector<vector<int>> bccs;
template<typename Iter>
void Callback(Iter bg, Iter en) {
vector<int> verts;
for (Iter it = bg; it != en; ++it) {
verts.push_back(edges[*it].first);
verts.push_back(edges[*it].second);
}
sort(verts.begin(), verts.end());
verts.erase(unique(verts.begin(), verts.end()), verts.end());
bccs.emplace_back(move(verts));
}
void Solve() {
for (int i = 0; i < (int)G.size(); ++i)
if (enter[i] == -1) {
dfs(i, -1);
}
}
int timer = 0;
int dfs(int node, int pei) {
enter[node] = timer++;
int ret = enter[node];
for (auto ei : G[node]) if (ei != pei) {
int vec = (edges[ei].first ^ edges[ei].second ^ node);
if (enter[vec] != -1) {
ret = min(ret, enter[vec]);
if (enter[vec] < enter[node])
stk.push_back(ei);
} else {
int sz = stk.size(), low = dfs(vec, ei);
ret = min(ret, low);
if (low >= enter[node]) {
Callback(stk.begin() + sz, stk.end());
stk.resize(sz);
} else stk.push_back(ei);
}
}
return ret;
}
};
int main() {
ifstream cin("biconex.in");
ofstream cout("biconex.out");
int n, m; cin >> n >> m;
BCC bcc(n);
while (m--) {
int a, b; cin >> a >> b;
bcc.AddEdge(a - 1, b - 1);
}
bcc.Solve();
auto& bccs = bcc.bccs;
cout << bccs.size() << '\n';
for (auto x : bccs) {
for (auto y : x)
cout << y + 1 << " ";
cout << endl;
}
return 0;
}