/*************************************
* author: marvinthang *
* created: 26.06.2023 10:38:52 *
*************************************/
#include "werewolf.h"
#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define left ___left
#define right ___right
#define TIME (1.0 * clock() / CLOCKS_PER_SEC)
#define MASK(i) (1LL << (i))
#define BIT(x, i) ((x) >> (i) & 1)
#define __builtin_popcount __builtin_popcountll
#define ALL(v) (v).begin(), (v).end()
#define REP(i, n) for (int i = 0, _n = (n); i < _n; ++i)
#define REPD(i, n) for (int i = (n); i--; )
#define FOR(i, a, b) for (int i = (a), _b = (b); i < _b; ++i)
#define FORD(i, b, a) for (int i = (b), _a = (a); --i >= _a; )
#define FORE(i, a, b) for (int i = (a), _b = (b); i <= _b; ++i)
#define FORDE(i, b, a) for (int i = (b), _a = (a); i >= _a; --i)
#define scan_op(...) istream & operator >> (istream &in, __VA_ARGS__ &u)
#define print_op(...) ostream & operator << (ostream &out, const __VA_ARGS__ &u)
#ifdef LOCAL
#include "debug.h"
#else
#define file(name) if (fopen(name".inp", "r")) { freopen(name".inp", "r", stdin); freopen(name".out", "w", stdout); }
#define DB(...) 23
#define db(...) 23
#define debug(...) 23
#endif
template <class U, class V> scan_op(pair <U, V>) { return in >> u.first >> u.second; }
template <class T> scan_op(vector <T>) { for (size_t i = 0; i < u.size(); ++i) in >> u[i]; return in; }
template <class U, class V> print_op(pair <U, V>) { return out << '(' << u.first << ", " << u.second << ')'; }
template <size_t i, class T> ostream & print_tuple_utils(ostream &out, const T &tup) { if constexpr(i == tuple_size<T>::value) return out << ")"; else return print_tuple_utils<i + 1, T>(out << (i ? ", " : "(") << get<i>(tup), tup); }
template <class ...U> print_op(tuple<U...>) { return print_tuple_utils<0, tuple<U...>>(out, u); }
template <class Con, class = decltype(begin(declval<Con>()))> typename enable_if <!is_same<Con, string>::value, ostream&>::type operator << (ostream &out, const Con &con) { out << '{'; for (__typeof(con.begin()) it = con.begin(); it != con.end(); ++it) out << (it == con.begin() ? "" : ", ") << *it; return out << '}'; }
// end of template
vector<int> check_validity(int N, vector <int> X, vector <int> Y, vector <int> S, vector <int> E, vector <int> L, vector <int> R) {
int M = X.size();
int Q = S.size();
vector <int> lab(N, -1);
vector <vector <int>> adj(N), L_at(N), R_at(N), tree_adj(N);
REP(i, M) {
adj[X[i]].push_back(Y[i]);
adj[Y[i]].push_back(X[i]);
}
REP(i, Q) {
L_at[L[i]].push_back(i);
R_at[R[i]].push_back(i);
}
function <int(int)> find = [&] (int u) {
return lab[u] < 0 ? u : lab[u] = find(lab[u]);
};
int nw = N;
REPD(i, N) {
int u;
for (int v: adj[i]) if (v >= i) {
if ((u = find(i)) == (v = find(v))) continue;
if (lab[u] > lab[v]) swap(u, v);
lab.push_back(lab[u] + lab[v]);
lab[u] = lab[v] = nw++;
tree_adj.push_back(vector<int> {u, v});
}
for (int id: L_at[i]) S[id] = find(S[id]);
}
int timeDfs = 0;
vector <int> tin(nw), tout(nw);
function <void(int)> dfs = [&] (int u) {
tin[u] = ++timeDfs;
for (int v: tree_adj[u]) dfs(v);
tout[u] = timeDfs;
};
dfs(nw - 1);
lab.assign(N, -1);
vector <set <int>> s(N);
vector <int> res(Q);
REP(i, N) {
int u;
s[i].insert(tin[i]);
for (int v: adj[i]) if (v <= i) {
if ((u = find(i)) == (v = find(v))) continue;
if (s[u].size() < s[v].size()) swap(u, v);
lab[u] += lab[v];
lab[v] = u;
for (int x: s[v]) s[u].insert(x);
s[v].clear();
}
for (int id: R_at[i]) {
auto it = s[find(E[id])].lower_bound(tin[S[id]]);
res[id] = it != s[find(E[id])].end() && *it <= tout[S[id]];
}
}
return res;
}
#ifdef LOCAL
#include <cstdio>
#include <cstdlib>
#include <vector>
#include "werewolf.h"
namespace {
int read_int() {
int x;
if (scanf("%d", &x) != 1) {
fprintf(stderr, "Error while reading input\n");
exit(1);
}
return x;
}
} // namespace
int main() {
file("werewolf");
int N = read_int();
int M = read_int();
int Q = read_int();
std::vector<int> X(M), Y(M), S(Q), E(Q), L(Q), R(Q);
for (int j = 0; j < M; ++j) {
X[j] = read_int();
Y[j] = read_int();
}
for (int i = 0; i < Q; ++i) {
S[i] = read_int();
E[i] = read_int();
L[i] = read_int();
R[i] = read_int();
}
std::vector<int> A = check_validity(N, X, Y, S, E, L, R);
for (size_t i = 0; i < A.size(); ++i) {
printf("%d\n", A[i]);
}
return 0;
}
#endif
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
296 KB |
Output is correct |
5 |
Correct |
1 ms |
304 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
212 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
296 KB |
Output is correct |
5 |
Correct |
1 ms |
304 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
212 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
5 ms |
1620 KB |
Output is correct |
11 |
Correct |
5 ms |
1492 KB |
Output is correct |
12 |
Correct |
5 ms |
1492 KB |
Output is correct |
13 |
Correct |
4 ms |
1492 KB |
Output is correct |
14 |
Correct |
4 ms |
1488 KB |
Output is correct |
15 |
Correct |
5 ms |
1724 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
542 ms |
88072 KB |
Output is correct |
2 |
Correct |
456 ms |
86476 KB |
Output is correct |
3 |
Correct |
414 ms |
84836 KB |
Output is correct |
4 |
Correct |
459 ms |
84688 KB |
Output is correct |
5 |
Correct |
448 ms |
84880 KB |
Output is correct |
6 |
Correct |
501 ms |
85332 KB |
Output is correct |
7 |
Correct |
546 ms |
85920 KB |
Output is correct |
8 |
Correct |
406 ms |
86380 KB |
Output is correct |
9 |
Correct |
326 ms |
83752 KB |
Output is correct |
10 |
Correct |
357 ms |
83352 KB |
Output is correct |
11 |
Correct |
360 ms |
83636 KB |
Output is correct |
12 |
Correct |
445 ms |
85516 KB |
Output is correct |
13 |
Correct |
400 ms |
95512 KB |
Output is correct |
14 |
Correct |
357 ms |
95504 KB |
Output is correct |
15 |
Correct |
444 ms |
95592 KB |
Output is correct |
16 |
Correct |
384 ms |
95508 KB |
Output is correct |
17 |
Correct |
511 ms |
85820 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
296 KB |
Output is correct |
5 |
Correct |
1 ms |
304 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
212 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
5 ms |
1620 KB |
Output is correct |
11 |
Correct |
5 ms |
1492 KB |
Output is correct |
12 |
Correct |
5 ms |
1492 KB |
Output is correct |
13 |
Correct |
4 ms |
1492 KB |
Output is correct |
14 |
Correct |
4 ms |
1488 KB |
Output is correct |
15 |
Correct |
5 ms |
1724 KB |
Output is correct |
16 |
Correct |
542 ms |
88072 KB |
Output is correct |
17 |
Correct |
456 ms |
86476 KB |
Output is correct |
18 |
Correct |
414 ms |
84836 KB |
Output is correct |
19 |
Correct |
459 ms |
84688 KB |
Output is correct |
20 |
Correct |
448 ms |
84880 KB |
Output is correct |
21 |
Correct |
501 ms |
85332 KB |
Output is correct |
22 |
Correct |
546 ms |
85920 KB |
Output is correct |
23 |
Correct |
406 ms |
86380 KB |
Output is correct |
24 |
Correct |
326 ms |
83752 KB |
Output is correct |
25 |
Correct |
357 ms |
83352 KB |
Output is correct |
26 |
Correct |
360 ms |
83636 KB |
Output is correct |
27 |
Correct |
445 ms |
85516 KB |
Output is correct |
28 |
Correct |
400 ms |
95512 KB |
Output is correct |
29 |
Correct |
357 ms |
95504 KB |
Output is correct |
30 |
Correct |
444 ms |
95592 KB |
Output is correct |
31 |
Correct |
384 ms |
95508 KB |
Output is correct |
32 |
Correct |
511 ms |
85820 KB |
Output is correct |
33 |
Correct |
508 ms |
82748 KB |
Output is correct |
34 |
Correct |
186 ms |
29660 KB |
Output is correct |
35 |
Correct |
503 ms |
86384 KB |
Output is correct |
36 |
Correct |
498 ms |
81716 KB |
Output is correct |
37 |
Correct |
569 ms |
85636 KB |
Output is correct |
38 |
Correct |
526 ms |
82520 KB |
Output is correct |
39 |
Correct |
459 ms |
81112 KB |
Output is correct |
40 |
Correct |
509 ms |
91928 KB |
Output is correct |
41 |
Correct |
478 ms |
84708 KB |
Output is correct |
42 |
Correct |
430 ms |
80328 KB |
Output is correct |
43 |
Correct |
499 ms |
90268 KB |
Output is correct |
44 |
Correct |
482 ms |
85548 KB |
Output is correct |
45 |
Correct |
372 ms |
81324 KB |
Output is correct |
46 |
Correct |
374 ms |
80112 KB |
Output is correct |
47 |
Correct |
395 ms |
91752 KB |
Output is correct |
48 |
Correct |
374 ms |
91656 KB |
Output is correct |
49 |
Correct |
389 ms |
91648 KB |
Output is correct |
50 |
Correct |
382 ms |
91496 KB |
Output is correct |
51 |
Correct |
453 ms |
91344 KB |
Output is correct |
52 |
Correct |
456 ms |
91364 KB |
Output is correct |