#include <bits/stdc++.h>
#define IO_OP ios::sync_with_stdio(0), cin.tie(0)
#define F first
#define S second
#define V vector
#define PB push_back
#define EB emplace_back
#define MP make_pair
#define SZ(v) int((v).size())
#define ALL(v) (v).begin(), (v).end()
using namespace std;
typedef long long ll;
typedef pair<int, int> pi;
typedef V<int> vi;
const int INF = 1e9 + 7, N = 1e6 + 7;
int n;
int p[N], sz[N], esz[N];
bool not_in[N], intered = false;
vi g[N], s;
int answer;
int qry();
void Init(int _n) {
n = _n;
for(int i = 0; i < n; i++) {
p[i] = i;
sz[i] = 1;
s.PB(i);
}
answer = qry();
}
int find(int u) {
return p[u] == u ? u : p[u] = find(p[u]);
}
void unite(int u, int v) {
u = find(u), v = find(v);
assert(u != v);
if(sz[u] > sz[v]) swap(u, v);
p[u] = v;
sz[v] += sz[u];
esz[v] += esz[u];
}
V<pi> tt;
int cc = 0, bad_cnt = 0, any_cycle = -1;
void inter(vi ss) {
intered = true;
vi tmp;
for(int u:s) if(find(ALL(ss), u) != ss.end())
tmp.PB(u);
swap(tmp, s);
}
void check(int u) {
if(SZ(g[u]) <= 2) return;
bad_cnt++;
if(SZ(g[u]) > 3)
inter({u});
inter({u, g[u][0], g[u][1], g[u][2]});
if(answer) answer = qry();
}
void Link(int u, int v) {
if(find(u) != find(v)) {
if(esz[find(u)] >= sz[find(u)]) cc--;
if(esz[find(v)] >= sz[find(v)]) cc--;
unite(u, v);
esz[find(u)]++;
if(esz[find(u)] >= sz[find(u)]) cc++, any_cycle = u;
} else {
if(esz[find(u)] >= sz[find(u)]) cc--;
esz[find(u)]++;
if(esz[find(u)] >= sz[find(u)]) cc++, any_cycle = u;
}
g[u].PB(v);
g[v].PB(u);
check(u), check(v);
}
bool ok(int u) {
// if(SZ(tt) > 2) return false;
// if(not_in[u]) return false;
// return true;
V<bool> vis(n);
bool has_cycle = false;
function<void(int, int)> dfs = [&] (int x, int pa) {
vis[x] = true;
for(int y:g[x]) if(y != pa && y != u) {
if(vis[y]) has_cycle = true;
else dfs(y, x);
}
};
for(int i = 0; i < n; i++) if(!vis[i] && i != u)
dfs(i, -1);
return !has_cycle;
}
int qry() {
if(cc > 1) return 0;
if(s.empty()) return 0;
if(cc == 0) return SZ(s);
if(!intered) return sz[find(any_cycle)];
if(esz[find(s[0])] < sz[find(s[0])]) return 0;
if(bad_cnt == 1) {
if(SZ(s) == 1) return 1;
return 3;
}
int ans = 0;
for(int u:s) {
if(ok(u)) ans++;
}
return ans;
}
int CountCritical() {
return answer;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
13 ms |
23764 KB |
Output is correct |
2 |
Correct |
14 ms |
23996 KB |
Output is correct |
3 |
Correct |
15 ms |
24004 KB |
Output is correct |
4 |
Incorrect |
13 ms |
23860 KB |
Output isn't correct |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
354 ms |
49968 KB |
Output is correct |
2 |
Correct |
748 ms |
59884 KB |
Output is correct |
3 |
Correct |
911 ms |
64824 KB |
Output is correct |
4 |
Incorrect |
959 ms |
72724 KB |
Output isn't correct |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
13 ms |
23764 KB |
Output is correct |
2 |
Correct |
14 ms |
23996 KB |
Output is correct |
3 |
Correct |
15 ms |
24004 KB |
Output is correct |
4 |
Incorrect |
13 ms |
23860 KB |
Output isn't correct |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
13 ms |
23764 KB |
Output is correct |
2 |
Correct |
14 ms |
23996 KB |
Output is correct |
3 |
Correct |
15 ms |
24004 KB |
Output is correct |
4 |
Incorrect |
13 ms |
23860 KB |
Output isn't correct |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
13 ms |
23764 KB |
Output is correct |
2 |
Correct |
14 ms |
23996 KB |
Output is correct |
3 |
Correct |
15 ms |
24004 KB |
Output is correct |
4 |
Incorrect |
13 ms |
23860 KB |
Output isn't correct |
5 |
Halted |
0 ms |
0 KB |
- |