-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathTwoEdgeConnectedComponent.cpp
More file actions
68 lines (68 loc) · 2.51 KB
/
TwoEdgeConnectedComponent.cpp
File metadata and controls
68 lines (68 loc) · 2.51 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
struct LowLink {
set<pair<int, int>> bridge;
vector<int> articulation, ord, low;
vector<bool> used;
vector<vector<int>> g;
int n, k = 0;
LowLink(const vector<vector<int>> &g) : g(g) {
n = g.size();
ord.resize(n, -1);
low.resize(n, -1);
used.resize(n, false);
}
void dfs(int u, int prev) {
used[u] = true;
ord[u] = k ++;
low[u] = ord[u];
bool is_articulation = false;
int cnt = 0;
for (auto v : g[u]) if (v != prev) {
if (!used[v]) {
cnt ++;
dfs(v, u);
low[u] = min(low[u], low[v]);
if (low[v] > ord[u]) {
bridge.emplace(min(u, v), max(u, v));
}
if (prev != -1 && low[v] >= ord[u]) {
is_articulation = true;
}
} else {
low[u] = min(low[u], ord[v]);
}
}
if (prev == -1 && cnt > 1) is_articulation = true;
if (is_articulation) articulation.push_back(u);
}
};
struct TwoEdgeConnectedComponent {
int n;
vector<vector<int>> g, tree;
vector<int> cmp;
TwoEdgeConnectedComponent(const vector<vector<int>> &g) : g(g) {
n = (int) g.size();
cmp.assign(n, -1);
}
void build() {
LowLink lnk(g);
lnk.dfs(0, -1);
int k = 0;
function<void (int, int)> dfs = [&](int u, int prev) {
cmp[u] = k;
for (auto v : g[u]) if (cmp[v] == -1 && lnk.bridge.count({min(u, v), max(u, v)}) == 0) {
dfs(v, u);
}
};
for (int i = 0; i < n; i ++) if (cmp[i] == -1) {
dfs(i, -1);
k ++;
}
tree.resize(k);
for (auto e : lnk.bridge) {
int a = cmp[e.first];
int b = cmp[e.second];
tree[a].push_back(b);
tree[b].push_back(a);
}
}
};