Submission #528453

# Submission time Handle Problem Language Result Execution time Memory
528453 2022-02-20T10:26:40 Z iliaM Inside information (BOI21_servers) C++17
50 / 100
443 ms 53508 KB
#include <bits/stdc++.h>
using namespace std;
#define cerr cerr << "DEBUG "

constexpr int N = 3e5 + 10;

int n, k;
vector<pair<int, int>> qp[N];
vector<int> qu[N];
vector<pair<int, int>> up, down;
vector<int> verts;
int sz[N];
vector<pair<int, int>> g[N];
bool used[N];
long long ans[N];
int mark[N];
pair<int, int> tmp[N];
bool has[N];

int centroid(int v, int p, int m) {
	has[v] = true;
	verts.push_back(v);
	int ret = 0, cool = 1;
	sz[v] = 1;
	for (auto &e : g[v]) {
		int u = e.first;
		if (u != p && !used[u]) {
			ret ^= ~centroid(u, v, m);
			cool &= sz[u] <= m / 2;
			sz[v] += sz[u];
		}
	}
	return cool && m - sz[v] <= m / 2 ? v : ~ret;
}


void dfs(int v, int p, int fe, int f, int s) {
	sz[v] = 1;
	if (~f) {
		for (auto &query : qu[v]) {
			if (fe > query) {
				continue;
			}
			up.push_back({fe, query});
		}
		mark[v] = fe;
	}
	if (~s) {
		down.push_back({fe, s});
		tmp[v] = make_pair(fe, s);
		assert(s >= fe);
	}
	for (auto &e : g[v]) {
		int u = e.first, w = e.second;
		if (u != p && !used[u]) {
			dfs(u, v, fe, f == -1 || w >= f ? -1 : w, s == -1 || w <= s ? -1 : w);
			sz[v] += sz[u];
		}
	}
}

int fen[N];

void update(int i, int x) {
	for (++i; i < N; i += i & -i) {
		fen[i] += x;
	}
}

int query(int i) {
	int ret = 0;
	for (++i; i > 0; i -= i & -i) {
		ret += fen[i];
	}
	return ret;
}

void solve() {
	static vector<int> vec[N];
	auto &a = up, &b = down;
	for (int i = 0; i < (int) b.size(); ++i) {
		vec[i].clear();
	}

	for (auto &x : a) {
		auto p = upper_bound(b.begin(), b.end(), make_pair(x.first, INT_MAX));
		ans[x.second]++; // for centroid
		if (p != b.end()) {
			vec[p - b.begin()].push_back(x.second);
		}
	}

	for (int i = (int) b.size() - 1; i >= 0; --i) {
		update(b[i].second, +1);
		for (auto &x : vec[i]) {
			ans[x] += query(x);
		}
	}
	for (auto &x : b) {
		update(x.second, -1);
	}
}

void decompose(int v, int m) {
	int cent = centroid(v, -1, m);
	
	up.clear();
	down.clear();
	
	sz[cent] = 1;
	for (auto &e : g[cent]) {
		int u = e.first, w = e.second;
		if (!used[u]) {
			dfs(u, cent, w, w, w);
			sz[cent] += sz[u];
		}
	}
	
	// calc for pairs in subtrees
	sort(down.begin(), down.end());
	solve();
	
	assert((int) verts.size() == sz[cent]);

	for (auto &u : verts) {
		for (auto &query : qp[u]) {
			if (!has[query.first]) {
				continue;
			}
			if (u == cent) {
				ans[query.second] += query.first == u ||
					(tmp[query.first].second < query.second);
			} else if (~mark[u]) {
				if (query.first == cent) {
					ans[query.second] += mark[u] < query.second;
				} else {
					ans[query.second] += mark[u] < tmp[query.first].first &&
						tmp[query.first].second < query.second;
				}
			}
		}
	}

	// calc for pairs from centroid
	for (auto &query : qu[cent]) {
		ans[query] += 1 + down.size();
	}

	for (auto &u : verts) {
		mark[u] = -1;
		tmp[u] = make_pair(-1, INT_MAX);
		has[u] = false;
	}
	verts.clear();
	used[cent] = true;
	for (auto &e : g[cent]) {
		int u = e.first;
		if (!used[u]) {
			decompose(u, sz[u]);
		}
	}
}

int qtype[N];

int main() {
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);

	memset(mark, -1, sizeof(mark));
	for (int i = 0; i < N; ++i) {
		tmp[i] = make_pair(-1, INT_MAX);
	}

	cin >> n >> k;
	for (int i = 0; i < n + k - 1; ++i) {
		char op;
		cin >> op;
		int v;
		cin >> v;
		--v;
		if (op == 'S') {
			int u;
			cin >> u;
			--u;
			g[v].push_back({u, i});
			g[u].push_back({v, i});
		} else if (op == 'Q') {
			qtype[i] = 1;
			int u;
			cin >> u;
			--u;
			qp[u].push_back({v, i});
			//cout << u + 1 << ' ' << v + 1 << '\n';
		} else {
			qtype[i] = 2;
			qu[v].push_back(i);
			//cout << v + 1 << '\n';
		}
	}

	decompose(0, n);
	
	for (int i = 0; i < n + k - 1; ++i) {
		if (qtype[i] == 1) {
			cout << (ans[i] ? "yes" : "no") << '\n';
		} else if (qtype[i] == 2) {
			assert(ans[i] >= 0);
			cout << ans[i] << '\n';
		}
	}
}
# Verdict Execution time Memory Grader output
1 Correct 44 ms 36000 KB Output is correct
2 Correct 50 ms 36292 KB Output is correct
3 Correct 47 ms 36084 KB Output is correct
4 Correct 51 ms 36420 KB Output is correct
5 Correct 51 ms 36220 KB Output is correct
6 Correct 62 ms 35996 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 44 ms 36000 KB Output is correct
2 Correct 50 ms 36292 KB Output is correct
3 Correct 47 ms 36084 KB Output is correct
4 Correct 51 ms 36420 KB Output is correct
5 Correct 51 ms 36220 KB Output is correct
6 Correct 62 ms 35996 KB Output is correct
7 Incorrect 39 ms 35908 KB Extra information in the output file
8 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 38 ms 36040 KB Output is correct
2 Correct 150 ms 46684 KB Output is correct
3 Correct 169 ms 46616 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 38 ms 36040 KB Output is correct
2 Correct 150 ms 46684 KB Output is correct
3 Correct 169 ms 46616 KB Output is correct
4 Incorrect 39 ms 36004 KB Extra information in the output file
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 39 ms 35908 KB Output is correct
2 Correct 317 ms 53220 KB Output is correct
3 Correct 331 ms 53156 KB Output is correct
4 Correct 248 ms 53508 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 39 ms 35908 KB Output is correct
2 Correct 317 ms 53220 KB Output is correct
3 Correct 331 ms 53156 KB Output is correct
4 Correct 248 ms 53508 KB Output is correct
5 Incorrect 39 ms 35836 KB Extra information in the output file
6 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 43 ms 35884 KB Output is correct
2 Correct 261 ms 45008 KB Output is correct
3 Correct 301 ms 44064 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 43 ms 35884 KB Output is correct
2 Correct 261 ms 45008 KB Output is correct
3 Correct 301 ms 44064 KB Output is correct
4 Incorrect 45 ms 35864 KB Extra information in the output file
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 39 ms 35928 KB Output is correct
2 Correct 347 ms 53152 KB Output is correct
3 Correct 329 ms 53132 KB Output is correct
4 Correct 270 ms 53500 KB Output is correct
5 Correct 38 ms 35740 KB Output is correct
6 Correct 258 ms 44992 KB Output is correct
7 Correct 262 ms 44096 KB Output is correct
8 Correct 273 ms 44740 KB Output is correct
9 Correct 285 ms 45428 KB Output is correct
10 Correct 405 ms 49348 KB Output is correct
11 Correct 345 ms 48152 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 39 ms 35928 KB Output is correct
2 Correct 347 ms 53152 KB Output is correct
3 Correct 329 ms 53132 KB Output is correct
4 Correct 270 ms 53500 KB Output is correct
5 Correct 38 ms 35740 KB Output is correct
6 Correct 258 ms 44992 KB Output is correct
7 Correct 262 ms 44096 KB Output is correct
8 Correct 273 ms 44740 KB Output is correct
9 Correct 285 ms 45428 KB Output is correct
10 Correct 405 ms 49348 KB Output is correct
11 Correct 345 ms 48152 KB Output is correct
12 Incorrect 38 ms 35836 KB Extra information in the output file
13 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 39 ms 36024 KB Output is correct
2 Correct 57 ms 36292 KB Output is correct
3 Correct 47 ms 36136 KB Output is correct
4 Correct 54 ms 36424 KB Output is correct
5 Correct 51 ms 36232 KB Output is correct
6 Correct 49 ms 36040 KB Output is correct
7 Correct 36 ms 35856 KB Output is correct
8 Correct 182 ms 46468 KB Output is correct
9 Correct 160 ms 46432 KB Output is correct
10 Correct 37 ms 35804 KB Output is correct
11 Correct 387 ms 53200 KB Output is correct
12 Correct 314 ms 53136 KB Output is correct
13 Correct 282 ms 53468 KB Output is correct
14 Correct 36 ms 35816 KB Output is correct
15 Correct 250 ms 44924 KB Output is correct
16 Correct 294 ms 44064 KB Output is correct
17 Correct 331 ms 44728 KB Output is correct
18 Correct 335 ms 45448 KB Output is correct
19 Correct 443 ms 49212 KB Output is correct
20 Correct 367 ms 48152 KB Output is correct
21 Correct 173 ms 45296 KB Output is correct
22 Correct 167 ms 45108 KB Output is correct
23 Correct 230 ms 45044 KB Output is correct
24 Correct 273 ms 45040 KB Output is correct
25 Correct 325 ms 51204 KB Output is correct
26 Correct 267 ms 42640 KB Output is correct
27 Correct 241 ms 42352 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 39 ms 36024 KB Output is correct
2 Correct 57 ms 36292 KB Output is correct
3 Correct 47 ms 36136 KB Output is correct
4 Correct 54 ms 36424 KB Output is correct
5 Correct 51 ms 36232 KB Output is correct
6 Correct 49 ms 36040 KB Output is correct
7 Correct 36 ms 35856 KB Output is correct
8 Correct 182 ms 46468 KB Output is correct
9 Correct 160 ms 46432 KB Output is correct
10 Correct 37 ms 35804 KB Output is correct
11 Correct 387 ms 53200 KB Output is correct
12 Correct 314 ms 53136 KB Output is correct
13 Correct 282 ms 53468 KB Output is correct
14 Correct 36 ms 35816 KB Output is correct
15 Correct 250 ms 44924 KB Output is correct
16 Correct 294 ms 44064 KB Output is correct
17 Correct 331 ms 44728 KB Output is correct
18 Correct 335 ms 45448 KB Output is correct
19 Correct 443 ms 49212 KB Output is correct
20 Correct 367 ms 48152 KB Output is correct
21 Correct 173 ms 45296 KB Output is correct
22 Correct 167 ms 45108 KB Output is correct
23 Correct 230 ms 45044 KB Output is correct
24 Correct 273 ms 45040 KB Output is correct
25 Correct 325 ms 51204 KB Output is correct
26 Correct 267 ms 42640 KB Output is correct
27 Correct 241 ms 42352 KB Output is correct
28 Incorrect 39 ms 35872 KB Extra information in the output file
29 Halted 0 ms 0 KB -