#include <bits/stdc++.h>
//#include <ext/pb_ds/assoc_container.hpp>
//#pragma GCC optimize ("O3")
//#pragma GCC target ("sse4")
#pragma GCC target ("avx,tune=native")
//Use above if bruteforcing with lots of small operations. Or just use it anytime, there's no downside. AVX is better slightly
/*
TASK: hidden
LANG: C++11
*/
using namespace std;
//using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int, int> pair2;
typedef pair<int, pair<int, int> > pair3;
typedef pair<int, pair<int, pair<int, int> > > pair4;
#define MAXN 100013
#define INF 1000000000000000000LL
#define mp make_pair
#define add push_back
#define remove pop
int n, m;
vector<int> adj[MAXN];
vector<pair<int, int>> answer;
int depth[MAXN], lowestAdjDepth[MAXN];
struct UnionFind {
int * id;
int * size;
int count;
UnionFind(int sz) {
id = new int[sz];
size = new int[sz];
count = sz;
for (int i = 0; i < sz; i++) {
size[i] = 1;
id[i] = i;
}
}
UnionFind(){}
bool sameset(int p, int q) {
return find(p) == find(q);
}
int find(int p) {
if (p != id[p]) {
id[p] = find(id[p]);
}
return id[p];
}
void merge(int p, int q) {
int rootp = find(p);
int rootq = find(q);
if (rootp == rootq) return;
if (size[rootp] < size[rootq]) {
id[rootp] = rootq;
size[rootq] += size[rootp];
} else {
id[rootq] = rootp;
size[rootp] += size[rootq];
}
count--;
}
} uf[2];
//returns subtree size
void solve(int current, int parent) {
assert(depth[current] >= 1);
lowestAdjDepth[current] = depth[current];
//cout << "solving " << current << " lad dis " << lowestAdjDepth[current] << endl;
bool t = false;
for (int next : adj[current]) {
if (next == parent && !t) {t = true; continue;}
if (depth[next] >= 1) {
lowestAdjDepth[current] = min(lowestAdjDepth[current], depth[next]);
} else {
//unvisited, let's go visit!
depth[next] = depth[current] + 1;
solve(next, current);
lowestAdjDepth[current] = min(lowestAdjDepth[current], lowestAdjDepth[next]);
//cout << "current is " << current << " lad next is " << lowestAdjDepth[next] << " depth current is " << depth[current] << endl;
if (lowestAdjDepth[next] > depth[current]) {
//the next node is in a biconnected component unaffected by current node
answer.add(mp(current, next));
}
}
}
}
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cin >> n >> m;
uf[0] = UnionFind(n);
uf[1] = UnionFind(n);
for (int i = 0; i < m; i++) {
int a, b;
cin >> a >> b;
a--;b--;
if (!uf[0].sameset(a, b)) {
adj[a].add(b);
adj[b].add(a);
uf[0].merge(a, b);
} else if (!uf[1].sameset(a, b)) {
adj[a].add(b);
adj[b].add(a);
uf[1].merge(a, b);
}
}
for (int i = 0; i < n; i++) {
if (depth[i] == 0) {
depth[i] = 1;
solve(i, -1);
}
}
for (auto t : answer) {
cout << t.first + 1 << ' ' << t.second + 1<< endl;
}
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
4 ms |
2688 KB |
Output is correct |
2 |
Correct |
4 ms |
2748 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
7 ms |
3200 KB |
Output is correct |
2 |
Correct |
7 ms |
2944 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
96 ms |
3072 KB |
Output is correct |
2 |
Correct |
96 ms |
2932 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
158 ms |
3788 KB |
Output is correct |
2 |
Correct |
186 ms |
3324 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
278 ms |
5592 KB |
Output is correct |
2 |
Correct |
246 ms |
5300 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
446 ms |
11140 KB |
Output is correct |
2 |
Correct |
380 ms |
7744 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
634 ms |
12752 KB |
Output is correct |
2 |
Correct |
616 ms |
9760 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
970 ms |
15132 KB |
Output is correct |
2 |
Correct |
781 ms |
10156 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1008 ms |
15708 KB |
Output is correct |
2 |
Correct |
980 ms |
10748 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1222 ms |
14592 KB |
Output is correct |
2 |
Correct |
1177 ms |
11832 KB |
Output is correct |