| # |
Submission time |
Handle |
Problem |
Language |
Result |
Execution time |
Memory |
| 46879 |
2018-04-24T13:44:15 Z |
sorry_Benq |
Pipes (CEOI15_pipes) |
C++17 |
|
1246 ms |
14684 KB |
/**
* Sources: various
*/
#pragma GCC optimize("O3")
#pragma GCC target("sse4")
#include <bits/stdc++.h>
#include <ext/pb_ds/tree_policy.hpp>
#include <ext/pb_ds/assoc_container.hpp>
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef vector<int> vi;
typedef pair<int, int> pii;
template <class T> using Tree = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
#define FOR(i, a, b) for (int i=a; i<(b); i++)
#define F0R(i, a) for (int i=0; i<(a); i++)
#define FORd(i,a,b) for (int i = (b)-1; i >= a; i--)
#define F0Rd(i,a) for (int i = (a)-1; i >= 0; i--)
#define sz(x) (int)(x).size()
#define mp make_pair
#define pb push_back
#define f first
#define s second
#define lb lower_bound
#define ub upper_bound
#define all(x) x.begin(), x.end()
const int MOD = 1000000007;
template<typename T>
ostream& operator<< (ostream& out, const pair<T, T>& v) {
out << "{" << v.first << ", " << v.second << "}";
return out;
}
template<typename T>
ostream& operator<< (ostream& out, const vector<T>& v) {
out << "[";
size_t last = v.size() - 1;
for(size_t i = 0; i < v.size(); ++i) {
out << v[i];
if (i != last)
out << ", ";
}
out << "]";
return out;
}
template<typename T>
ostream& operator<< (ostream& out, const set<T>& v) {
out << "[";
auto pen = v.end();
pen--;
for (auto it = v.begin(); it != v.end(); it++){
out << *it;
if (it != pen){
out << ", ";
}
}
out << "]";
return out;
}
template<typename T>
ostream& operator<< (ostream& out, const Tree<T>& v) {
out << "[";
auto pen = v.end();
pen--;
for (auto it = v.begin(); it != v.end(); it++){
out << *it;
if (it != pen){
out << ", ";
}
}
out << "]";
return out;
}
template<int SZ> struct DSU {
int par[SZ];
DSU() {
F0R(i,SZ) par[i] = i;
}
int get(int x) { // path compression
if (par[x] != x) par[x] = get(par[x]);
return par[x];
}
bool unite(int x, int y) { // union-by-rank
x = get(x), y = get(y);
if (x == y) return 0;
par[y] = x;
return 1;
}
};
DSU<100005> one_connected;
DSU<100005> two_connected;
vector<int> adj[100005];
vector<int> adj2[100005];
map<pii, int> cnt;
int mxlabel[100005];
int mnlabel[100005];
int label[100005];
int par1[100005];
int par2[100005];
int sz[100005];
bool vis[100005];
int timer = 1;
void DFS(int v, int p = -1){
//cout << v << ' ' << p << endl;
vis[v] = true;
label[v] = timer++;
sz[v] = 1;
for (int j: adj[v]){
if (j == p) continue;
DFS(j, v);
sz[v] += sz[j];
}
}
void DFS2(int v, int p = -1){
vis[v] = true;
mxlabel[v] = -MOD;
mnlabel[v] = MOD;
for (int j: adj2[v]){
if (j != p){
mxlabel[v] = max(mxlabel[v], label[j]);
mnlabel[v] = min(mnlabel[v], label[j]);
}
}
for (int j: adj[v]){
if (j != p){
DFS2(j, v);
}
}
}
void DFS3(int v, int p = -1){
vis[v] = true;
for (int j: adj[v]){
if (j != p){
DFS3(j, v);
mxlabel[v] = max(mxlabel[v], mxlabel[j]);
mnlabel[v] = min(mnlabel[v], mnlabel[j]);
}
}
}
void DFS4(int v, int p = -1){
vis[v] = true;
for (int j: adj[v]){
if (j != p){
DFS4(j, v);
bool is_bridge = true;
if (mnlabel[j] < label[j]){
is_bridge = false;
}
if (mxlabel[j] >= label[j] + sz[j]){
is_bridge = false;
}
if (is_bridge){
int cnt = 0;
if ((par1[v] == j) || (par1[j] == v)) cnt++;
if ((par2[v] == j) || (par2[j] == v)) cnt++;
if (cnt == 1) cout << v << ' ' << j << endl;
}
}
}
}
void DFSParent1(int v, int p = -1){
vis[v] = true;
for (int j: adj[v]){
if (j != p){
DFSParent1(j, v);
par1[j] = v;
}
}
}
void DFSParent2(int v, int p = -1){
vis[v] = true;
for (int j: adj2[v]){
if (j != p){
DFSParent2(j, v);
par2[j] = v;
}
}
}
int main() {
ios_base::sync_with_stdio(0);cin.tie(0);
int n, m; cin >> n >> m;
int u, v;
for (int i = 0; i < m; i++){
cin >> u >> v;
if (!one_connected.unite(u, v)){
if (!two_connected.unite(u, v)){
continue;
}
else{
adj2[u].pb(v);
adj2[v].pb(u);
}
}
else{
adj[u].pb(v);
adj[v].pb(u);
}
}
for (int i = 1; i <= n; i++){
if (!vis[i]){
DFSParent1(i);
}
}
memset(vis, false, sizeof(vis));
for (int i = 1; i <= n; i++){
if (!vis[i]){
DFSParent2(i);
}
}
memset(vis, false, sizeof(vis));
for (int i = 1; i <= n; i++){
if (!vis[i]){
DFS(i);
}
}
memset(vis, false, sizeof(vis));
for (int i = 1; i <= n; i++){
if (!vis[i]){
DFS2(i);
}
}
memset(vis, false, sizeof(vis));
for (int i = 1; i <= n; i++){
if (!vis[i]){
DFS3(i);
}
}
memset(vis, false, sizeof(vis));
for (int i = 1; i <= n; i++){
if (!vis[i]){
DFS4(i);
}
}
return 0;
}
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
6 ms |
6016 KB |
Output is correct |
| 2 |
Correct |
6 ms |
5888 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
11 ms |
6368 KB |
Output is correct |
| 2 |
Correct |
12 ms |
6284 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
98 ms |
6220 KB |
Output is correct |
| 2 |
Correct |
96 ms |
6264 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
160 ms |
6720 KB |
Output is correct |
| 2 |
Correct |
187 ms |
6712 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
291 ms |
8000 KB |
Output is correct |
| 2 |
Correct |
266 ms |
8044 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
468 ms |
11932 KB |
Output is correct |
| 2 |
Correct |
406 ms |
11944 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
652 ms |
12928 KB |
Output is correct |
| 2 |
Correct |
653 ms |
11640 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
894 ms |
14560 KB |
Output is correct |
| 2 |
Correct |
893 ms |
14588 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1082 ms |
14572 KB |
Output is correct |
| 2 |
Correct |
986 ms |
14684 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1244 ms |
14116 KB |
Output is correct |
| 2 |
Correct |
1246 ms |
13008 KB |
Output is correct |
