답안 #601845

# 제출 시각 아이디 문제 언어 결과 실행 시간 메모리
601845 2022-07-22T10:54:18 Z DanShaders 늑대인간 (IOI18_werewolf) C++17
100 / 100
2522 ms 406820 KB
//Cgrader.cpp
#include "werewolf.h"
#include <bits/stdc++.h>
using namespace std;

#define x first
#define y second
#define all(x) begin(x), end(x)
#define sz(x) ((int) (x).size())
using ll = long long;
using ld = long double;

const int N = 2e5 + 10;

const int MEMORY = 400 << 20;

char memory[MEMORY];
size_t memory_ptr = 0;

void *operator new(size_t sz) {
	auto res = memory + memory_ptr;
	memory_ptr += sz;
	return res;
}

void operator delete(void *) {}
void operator delete(void *, size_t) {}

struct Query {
	int s, e, l, r, i;
};

int color[N];
vector<int> g[N];

struct DSU {
	int parent[N];
	vector<int> comp[N];

	DSU() {
		iota(all(parent), 0);
		for (int i = 0; i < N; ++i) {
			comp[i].push_back(i);
		}
	}

	int get(int u) {
		if (u == parent[u]) {
			return u;
		}
		return parent[u] = get(parent[u]);
	}
} dsu;

struct DSU2 {
	int parent[N], rank[N];

	DSU2() {
		iota(all(parent), 0);
	}

	int get(int u) {
		if (u == parent[u]) {
			return u;
		}
		return parent[u] = get(parent[u]);
	}

	bool merge(int a, int b) {
		a = get(a);
		b = get(b);
		if (a == b) {
			return false;
		}
		if (rank[a] == rank[b]) {
			++rank[a];
		}
		if (rank[a] < rank[b]) {
			swap(a, b);
		}
		parent[b] = a;
		return true;
	}
} dsu2;

bool check_reachable(int u, int barrier, int c, int p = -1) {
	if (u < barrier) {
		return false;
	}
	if (color[u] == c) {
		return true;
	}
	for (int v : g[u]) {
		if (v != p && check_reachable(v, barrier, c, u)) {
			return true;
		}
	}
	return false;
}

char used[N];
int sz[N];

int dfs_sz(int u, int p = -1) {
	sz[u] = 1;
	for (int v : g[u]) {
		if (v != p && !used[v]) {
			sz[u] += dfs_sz(v, u);
		}
	}
	return sz[u];
}

int find_centroid(int u, int csz, int p = -1) {
	for (int v : g[u]) {
		if (v != p && !used[v] && 2 * sz[v] > csz) {
			return find_centroid(v, csz, u);
		}
	}
	return u;
}

const int LOG = 20;

int gmn[LOG][N];

struct Node {
	int depth;
	int parent;
	vector<int> children;
	int version;
	unordered_map<int, int> where;
};

int current_version = 15;

Node node_at[N];

int centroid_dfs(int u, int parent = -1, int depth = 0) {
	u = find_centroid(u, dfs_sz(u));

	auto &node = node_at[u];
	node.depth = depth;
	node.parent = parent;

	queue<tuple<int, int, int>> bfs;
	bfs.push({u, u, -1});
	while (sz(bfs)) {
		auto [v, mn, p] = bfs.front();
		gmn[depth][v] = node.where[v] = mn;
		bfs.pop();
		for (int w : g[v]) {
			if (p != w && !used[w]) {
				bfs.push({w, min(mn, w), v});
			}
		}
	}

	used[u] = 1;
	for (int v : g[u]) {
		if (!used[v]) {
			node.children.push_back(centroid_dfs(v, u, depth + 1));
		}
	}
	return u;
}

vector<int> check_validity(int, vector<int> us, vector<int> vs, vector<int> qs, vector<int> qe, vector<int> ql, vector<int> qr) {
	vector<Query> queries;
	for (int i = 0; i < sz(qs); ++i) {
		queries.push_back({qe[i], qs[i], qr[i], ql[i], i});
	}
	vector<pair<int, int>> e1, e2;
	for (int i = 0; i < sz(us); ++i) {
		e1.emplace_back(us[i], vs[i]);
	}
	e2 = e1;
	iota(all(color), 0);
	sort(all(e1), [](const auto &x, const auto &y) {
		return max(x.x, x.y) < max(y.x, y.y);
	});
	sort(all(e2), [](const auto &x, const auto &y) {
		return min(x.x, x.y) > min(y.x, y.y);
	});
	for (auto [u, v] : e2) {
		if (dsu2.merge(u, v)) {
			g[u].push_back(v);
			g[v].push_back(u);
		}
	}
	sort(all(queries), [](const auto &x, const auto &y) {
		return x.l < y.l;
	});
	vector<int> ans(sz(queries));

	centroid_dfs(0);

	int e1i = 0;
	for (auto [s, e, l, r, i] : queries) {
		while (e1i < sz(e1) && max(e1[e1i].x, e1[e1i].y) <= l) {
			int a = dsu.get(e1[e1i].x), b = dsu.get(e1[e1i].y);
			++e1i;
			if (a == b) {
				continue;
			}
			if (sz(dsu.comp[a]) < sz(dsu.comp[b])) {
				swap(a, b);
			}

			++current_version;
			for (int u : dsu.comp[b]) {
				auto curr = u;
				while (curr != -1 && node_at[curr].version != current_version) {
					node_at[curr].version = current_version;

					auto it = node_at[curr].where.find(a);
					if (it == node_at[curr].where.end()) {
						node_at[curr].where[a] = node_at[curr].where[b];
					} else {
						it->second = max(it->second, node_at[curr].where[b]);
					}
					curr = node_at[curr].parent;
				}
				color[u] = a;
			}
			dsu.comp[a].insert(end(dsu.comp[a]), all(dsu.comp[b]));
			vector<int>().swap(dsu.comp[b]);

			dsu.parent[b] = a;
		}
		auto curr = e;
		while (curr != -1) {
			if (gmn[node_at[curr].depth][e] >= r) {
				auto it = node_at[curr].where.find(color[s]);
				if (it != node_at[curr].where.end() && it->second >= r) {
					ans[i] = 1;
					break;
				}
			}
			curr = node_at[curr].parent;
		}
		// ans[i] = check_reachable(e, r, color[s]);
	}
	return ans;
}
# 결과 실행 시간 메모리 Grader output
1 Correct 23 ms 31764 KB Output is correct
2 Correct 19 ms 31700 KB Output is correct
3 Correct 21 ms 31700 KB Output is correct
4 Correct 19 ms 31632 KB Output is correct
5 Correct 20 ms 31668 KB Output is correct
6 Correct 23 ms 31652 KB Output is correct
7 Correct 23 ms 31692 KB Output is correct
8 Correct 18 ms 31760 KB Output is correct
9 Correct 17 ms 31740 KB Output is correct
# 결과 실행 시간 메모리 Grader output
1 Correct 23 ms 31764 KB Output is correct
2 Correct 19 ms 31700 KB Output is correct
3 Correct 21 ms 31700 KB Output is correct
4 Correct 19 ms 31632 KB Output is correct
5 Correct 20 ms 31668 KB Output is correct
6 Correct 23 ms 31652 KB Output is correct
7 Correct 23 ms 31692 KB Output is correct
8 Correct 18 ms 31760 KB Output is correct
9 Correct 17 ms 31740 KB Output is correct
10 Correct 26 ms 35356 KB Output is correct
11 Correct 25 ms 35296 KB Output is correct
12 Correct 28 ms 36068 KB Output is correct
13 Correct 28 ms 35300 KB Output is correct
14 Correct 33 ms 35112 KB Output is correct
15 Correct 34 ms 35728 KB Output is correct
# 결과 실행 시간 메모리 Grader output
1 Correct 2522 ms 401740 KB Output is correct
2 Correct 887 ms 379668 KB Output is correct
3 Correct 965 ms 383792 KB Output is correct
4 Correct 1366 ms 390136 KB Output is correct
5 Correct 1470 ms 390600 KB Output is correct
6 Correct 1814 ms 393204 KB Output is correct
7 Correct 2326 ms 406820 KB Output is correct
8 Correct 783 ms 379800 KB Output is correct
9 Correct 813 ms 383640 KB Output is correct
10 Correct 1132 ms 390068 KB Output is correct
11 Correct 1222 ms 390624 KB Output is correct
12 Correct 1758 ms 395608 KB Output is correct
13 Correct 940 ms 372196 KB Output is correct
14 Correct 945 ms 372156 KB Output is correct
15 Correct 907 ms 372268 KB Output is correct
16 Correct 943 ms 372320 KB Output is correct
17 Correct 2270 ms 406236 KB Output is correct
# 결과 실행 시간 메모리 Grader output
1 Correct 23 ms 31764 KB Output is correct
2 Correct 19 ms 31700 KB Output is correct
3 Correct 21 ms 31700 KB Output is correct
4 Correct 19 ms 31632 KB Output is correct
5 Correct 20 ms 31668 KB Output is correct
6 Correct 23 ms 31652 KB Output is correct
7 Correct 23 ms 31692 KB Output is correct
8 Correct 18 ms 31760 KB Output is correct
9 Correct 17 ms 31740 KB Output is correct
10 Correct 26 ms 35356 KB Output is correct
11 Correct 25 ms 35296 KB Output is correct
12 Correct 28 ms 36068 KB Output is correct
13 Correct 28 ms 35300 KB Output is correct
14 Correct 33 ms 35112 KB Output is correct
15 Correct 34 ms 35728 KB Output is correct
16 Correct 2522 ms 401740 KB Output is correct
17 Correct 887 ms 379668 KB Output is correct
18 Correct 965 ms 383792 KB Output is correct
19 Correct 1366 ms 390136 KB Output is correct
20 Correct 1470 ms 390600 KB Output is correct
21 Correct 1814 ms 393204 KB Output is correct
22 Correct 2326 ms 406820 KB Output is correct
23 Correct 783 ms 379800 KB Output is correct
24 Correct 813 ms 383640 KB Output is correct
25 Correct 1132 ms 390068 KB Output is correct
26 Correct 1222 ms 390624 KB Output is correct
27 Correct 1758 ms 395608 KB Output is correct
28 Correct 940 ms 372196 KB Output is correct
29 Correct 945 ms 372156 KB Output is correct
30 Correct 907 ms 372268 KB Output is correct
31 Correct 943 ms 372320 KB Output is correct
32 Correct 2270 ms 406236 KB Output is correct
33 Correct 1348 ms 309644 KB Output is correct
34 Correct 295 ms 78948 KB Output is correct
35 Correct 1491 ms 328080 KB Output is correct
36 Correct 1755 ms 346040 KB Output is correct
37 Correct 1400 ms 323532 KB Output is correct
38 Correct 1772 ms 341864 KB Output is correct
39 Correct 1473 ms 318756 KB Output is correct
40 Correct 1757 ms 358004 KB Output is correct
41 Correct 1248 ms 313832 KB Output is correct
42 Correct 1722 ms 345516 KB Output is correct
43 Correct 1814 ms 353004 KB Output is correct
44 Correct 1357 ms 318164 KB Output is correct
45 Correct 1366 ms 321500 KB Output is correct
46 Correct 1124 ms 321924 KB Output is correct
47 Correct 952 ms 341096 KB Output is correct
48 Correct 967 ms 352408 KB Output is correct
49 Correct 953 ms 342060 KB Output is correct
50 Correct 924 ms 347748 KB Output is correct
51 Correct 1785 ms 351768 KB Output is correct
52 Correct 1673 ms 349892 KB Output is correct