This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include "werewolf.h"
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
using namespace __gnu_pbds;
//#define int long long
//#pragma GCC optimize("Ofast")
//#pragma comment(linker, "/stack:200000000")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4")
#define file(s) freopen(s".in","r",stdin); freopen(s".out","w",stdout);
#define fastio ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
#define all(x) x.begin(), x.end()
#define sz(s) (int)s.size()
#define pb push_back
#define ppb pop_back
#define mp make_pair
#define s second
#define f first
typedef pair < long long, long long > pll;
typedef pair < int, int > pii;
typedef unsigned long long ull;
typedef vector < pii > vpii;
typedef vector < int > vi;
typedef long double ldb;
typedef long long ll;
typedef double db;
typedef tree < int, null_type, less < int >, rb_tree_tag, tree_order_statistics_node_update > ordered_set;
const int inf = 1e9, maxn = 2e5 + 48, mod = 998244353, N = 4e5 + 12;
const int dx[] = {1, -1, 0, 0}, dy[] = {0, 0, 1, -1}, block = 300;
const pii base = mp(1171, 3307), Mod = mp(1e9 + 7, 1e9 + 9);
const db eps = 1e-12, pi = acos(-1);
const ll INF = 1e18;
int n, m, q, p[N], tin[N][2], tout[N][2], timer;
vi g[N], gg[N], G[N];
struct ST {
ST *l, *r;
int tl, tr, sum;
ST (int L, int R) {
l = r = NULL;
tl = L, tr = R;
sum = 0;
}
void update (int pos, int x) {
sum += x;
if (tl == tr)
return;
int tm = (tl + tr) >> 1;
if (pos <= tm) {
if (!l)
l = new ST(tl, tm);
l->update(pos, x);
} else {
if (!r)
r = new ST(tm + 1, tr);
r->update(pos, x);
}
}
int get (int L, int R) {
if (L > R || tl > R || L > tr)
return 0;
if (L <= tl && tr <= R)
return sum;
return (!l ? 0 : l->get(L, R)) + (!r ? 0 : r->get(L, R));
}
};
struct BIT {
ST *T[N];
void update (int x, int y, int z) {
while (x <= n) {
if (!T[x])
T[x] = new ST(1, n);
T[x]->update(y, z);
x |= x + 1;
}
}
int get (int x, int l, int r) {
int res = 0;
while (x > 0) {
if (T[x])
res += T[x]->get(l, r);
x = (x & (x + 1)) - 1;
}
return res;
}
int Get (int x, int y, int l, int r) {
return get(y, l, r) - get(x - 1, l, r);
}
} TT;
int get (int v) {
return p[v] == v ? v : p[v] = get(p[v]);
}
void build () {
timer = 0;
for (int i = 0; i < n; ++i) {
p[i] = i;
gg[i].clear();
G[i].clear();
}
}
void dfs (int v, int i) {
tin[v][i] = ++timer;
for (auto to : gg[v])
dfs(to, i);
tout[v][i] = timer;
}
vi check_validity (int _n, vi x, vi y, vi s, vi e, vi l, vi r) {
n = _n;
m = sz(x);
q = sz(l);
for (int i = 0; i < m; ++i) {
if (x[i] > y[i])
swap(x[i], y[i]);
g[x[i]].pb(y[i]);
g[y[i]].pb(x[i]);
}
build();
for (int i = 0; i < q; ++i)
G[l[i]].pb(i);
for (int i = n - 1; i >= 0; --i) {
for (auto j : g[i]) {
if (get(i) == get(j) || j < i)
continue;
gg[i].pb(get(j));
p[get(j)] = i;
}
for (auto j : G[i])
s[j] = get(s[j]);
}
dfs(0, 0);
build();
for (int i = 0; i < q; ++i)
G[r[i]].pb(i);
for (int i = 0; i < n; ++i) {
for (auto j : g[i]) {
if (get(i) == get(j) || j > i)
continue;
gg[i].pb(get(j));
p[get(j)] = i;
}
for (auto j : G[i])
e[j] = get(e[j]);
}
dfs(n - 1, 1);
for (int i = 0; i < n; ++i) {
TT.update(tin[i][0], tin[i][1], 1);
}
vi E;
for (int i = 0; i < q; ++i) {
E.pb(min(1, TT.Get(tin[s[i]][0], tout[s[i]][0], tin[e[i]][1], tout[e[i]][1])));
}
return E;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |