Submission #910151

# Submission time Handle Problem Language Result Execution time Memory
910151 2024-01-18T00:26:15 Z MinaRagy06 Inside information (BOI21_servers) C++17
70 / 100
3500 ms 87180 KB
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast")
using namespace std;
typedef int64_t ll;
#define SZ(x) (int) x.size()

const int N = 120'005;
vector<array<int, 3>> adj[N];
//0: increasing, 1: decreasing, {ancestor, last weight}
array<int, 3> bl[N][18][2];
int st[N], en[N], curt;
void dfs(int i, int par, int part) {
	bl[i][0][0] = {par, part, part};
	bl[i][0][1] = {par, part, part};
	for (int j = 1; j < 18; j++) {
		{
			bl[i][j][0] = bl[i][j - 1][0];
			auto [lst, lstt, mx] = bl[i][j][0];
			if (lstt <= bl[lst][0][0][1]) {
				bl[i][j][0] = bl[lst][j - 1][0];
				bl[i][j][0][2] = max(bl[i][j][0][2], mx);
			}
		}
		{
			bl[i][j][1] = bl[i][j - 1][1];
			auto [lst, lstt, mx] = bl[i][j][1];
			if (lstt >= bl[lst][0][1][1]) {
				bl[i][j][1] = bl[lst][j - 1][1];
				bl[i][j][1][2] = max(bl[i][j][1][2], mx);
			}
		}
	}
	st[i] = curt++;
	for (auto [nxt, t, nxtidx] : adj[i]) {
		if (nxt == par) continue;
		dfs(nxt, i, t);
	}
	en[i] = curt;
}
bool isanc(int l, int b) {
	if (st[l] <= st[b] && en[b] <= en[l]) {
		return 1;
	}
	return 0;
}
array<int, 2> check(int t, int a, int b) {
	int mx = -1e9, high = bl[a][17][t][0];
	if (!isanc(high, b)) {
		return {int(1e9), 0};
	}
	if (a == high || isanc(a, b)) {
		return {int(-1e9), (t == 1? 1 : -1) * int(1e9)};
	}
	for (int j = 17; j >= 0; j--) {
		if (!isanc(bl[a][j][t][0], b)) {
			mx = max(mx, bl[a][j][t][2]);
			a = bl[a][j][t][0];
		}
	}
	return {max(mx, bl[a][0][t][2]), bl[a][0][t][1]};
}
vector<int> dp[N];
int lst;
int solve(int i, int par) {
	if (~dp[i][par]) return dp[i][par];
	dp[i][par] = 1;
	for (int j = (par == SZ(adj[i])? 0 : par + 1); j < SZ(adj[i]); j++) {
		auto [nxt, t, nxtidx] = adj[i][j];
		if (t > lst) break;
		dp[i][par] += solve(nxt, nxtidx);
	}
	return dp[i][par];
}
bool checkpath(int a, int b, int t, bool x) {
	array<int, 2> l = check(x, a, b), r = check(!x, b, a);
	if (l[0] <= t && r[0] <= t && (l[1] == r[1] || (x ^ (l[1] < r[1]))) ) {
		return 1;
	} else {
		return 0;
	}
}
const int B = 380;
int main() {
	ios_base::sync_with_stdio(0), cin.tie(0);
	auto S = chrono::steady_clock::now().time_since_epoch().count();
	int n, q;
	cin >> n >> q;
	q += n - 1;
	pair<char, vector<int>> v[q];
	for (int i = 0; i < q; i++) {
		cin >> v[i].first;
		if (v[i].first == 'S') {
			int a, b;
			cin >> a >> b;
			int x = adj[b].size(), y = adj[a].size();
			adj[a].push_back({b, i, x});
			adj[b].push_back({a, i, y});
			v[i].second = {a, b};
		} else if (v[i].first == 'Q') {
			int a, b;
			cin >> a >> b;
			v[i].second = {a, b};
		} else {
			int a;
			cin >> a;
			v[i].second = {a};
		}
	}
	dfs(1, 1, 0);
	for (int i = 1; i <= n; i++) {
		dp[i].resize(adj[i].size() + 1);
		for (int j = 0; j <= SZ(adj[i]); j++) {
			dp[i][j] = -1;
		}
	}
	vector<array<int, 3>> upd;
	lst = -1;
	ll s = 0;
	for (int i = 0; i < q; i++) {
		if (upd.size() == B) {
// 			for (auto [a, b, t] : upd) {
// 				int x = curadj[b].size(), y = curadj[a].size();
// 				curadj[a].push_back({b, t, x});
// 				curadj[b].push_back({a, t, y});
// 			}
			lst = i - 1;
			upd.clear();
			for (int i = 1; i <= n; i++) {
				for (int j = 0; j <= SZ(adj[i]); j++) {
					dp[i][j] = -1;
				}
			}
		}
		if (v[i].first == 'S') {
			int a = v[i].second[0], b = v[i].second[1];
			if (isanc(b, a)) swap(a, b);
			upd.push_back({a, b, i});
		} else if (v[i].first == 'Q') {
			int a = v[i].second[0], b = v[i].second[1];
#ifdef MINA
// 			cout << i << endl;
			s += (checkpath(a, b, i, 1));
#else
			cout << (checkpath(a, b, i, 1)? "yes\n" : "no\n");
#endif
		} else {
			int x = v[i].second[0];
			int ans = solve(x, adj[x].size());
			for (auto [a, b, t] : upd) {
				if (isanc(b, x)) {
					ans += checkpath(x, b, t - 1, 0);
				} else {
					ans += checkpath(x, a, t - 1, 0);
				}
			}
#ifdef MINA
// 			cout << i << endl;
			s += ans;
#else
			cout << ans << '\n';
#endif
		}
	}
#ifdef MINA
	cout << s << '\n';
	auto E = chrono::steady_clock::now().time_since_epoch().count();
	cout << (E - S) / 1e9 << 's';
#endif
	return 0;
}

Compilation message

servers.cpp: In function 'int main()':
servers.cpp:85:7: warning: unused variable 'S' [-Wunused-variable]
   85 |  auto S = chrono::steady_clock::now().time_since_epoch().count();
      |       ^
servers.cpp:118:5: warning: unused variable 's' [-Wunused-variable]
  118 |  ll s = 0;
      |     ^
# Verdict Execution time Memory Grader output
1 Correct 28 ms 16336 KB Output is correct
2 Correct 32 ms 18776 KB Output is correct
3 Correct 39 ms 19024 KB Output is correct
4 Correct 34 ms 18976 KB Output is correct
5 Correct 35 ms 19024 KB Output is correct
6 Correct 39 ms 18828 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 28 ms 16336 KB Output is correct
2 Correct 32 ms 18776 KB Output is correct
3 Correct 39 ms 19024 KB Output is correct
4 Correct 34 ms 18976 KB Output is correct
5 Correct 35 ms 19024 KB Output is correct
6 Correct 39 ms 18828 KB Output is correct
7 Correct 42 ms 16260 KB Output is correct
8 Correct 186 ms 18916 KB Output is correct
9 Correct 411 ms 19280 KB Output is correct
10 Correct 200 ms 18776 KB Output is correct
11 Correct 137 ms 19020 KB Output is correct
12 Correct 361 ms 19024 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 31 ms 16208 KB Output is correct
2 Correct 337 ms 82680 KB Output is correct
3 Correct 334 ms 82556 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 31 ms 16208 KB Output is correct
2 Correct 337 ms 82680 KB Output is correct
3 Correct 334 ms 82556 KB Output is correct
4 Correct 39 ms 16216 KB Output is correct
5 Correct 1345 ms 82788 KB Output is correct
6 Correct 729 ms 82772 KB Output is correct
7 Correct 997 ms 82696 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 24 ms 16160 KB Output is correct
2 Correct 320 ms 86716 KB Output is correct
3 Correct 320 ms 86324 KB Output is correct
4 Correct 378 ms 86356 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 24 ms 16160 KB Output is correct
2 Correct 320 ms 86716 KB Output is correct
3 Correct 320 ms 86324 KB Output is correct
4 Correct 378 ms 86356 KB Output is correct
5 Correct 35 ms 16220 KB Output is correct
6 Correct 458 ms 86352 KB Output is correct
7 Correct 1350 ms 87140 KB Output is correct
8 Correct 576 ms 86612 KB Output is correct
9 Correct 571 ms 86072 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 26 ms 16208 KB Output is correct
2 Correct 285 ms 82512 KB Output is correct
3 Correct 332 ms 82676 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 26 ms 16208 KB Output is correct
2 Correct 285 ms 82512 KB Output is correct
3 Correct 332 ms 82676 KB Output is correct
4 Correct 36 ms 16220 KB Output is correct
5 Correct 1077 ms 82828 KB Output is correct
6 Correct 471 ms 82492 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 16220 KB Output is correct
2 Correct 317 ms 86356 KB Output is correct
3 Correct 302 ms 86348 KB Output is correct
4 Correct 361 ms 86292 KB Output is correct
5 Correct 28 ms 16472 KB Output is correct
6 Correct 282 ms 82388 KB Output is correct
7 Correct 323 ms 82516 KB Output is correct
8 Correct 327 ms 82944 KB Output is correct
9 Correct 367 ms 83024 KB Output is correct
10 Correct 542 ms 84564 KB Output is correct
11 Correct 537 ms 84324 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 16220 KB Output is correct
2 Correct 317 ms 86356 KB Output is correct
3 Correct 302 ms 86348 KB Output is correct
4 Correct 361 ms 86292 KB Output is correct
5 Correct 28 ms 16472 KB Output is correct
6 Correct 282 ms 82388 KB Output is correct
7 Correct 323 ms 82516 KB Output is correct
8 Correct 327 ms 82944 KB Output is correct
9 Correct 367 ms 83024 KB Output is correct
10 Correct 542 ms 84564 KB Output is correct
11 Correct 537 ms 84324 KB Output is correct
12 Correct 29 ms 16220 KB Output is correct
13 Correct 476 ms 86692 KB Output is correct
14 Correct 1325 ms 87148 KB Output is correct
15 Correct 563 ms 86100 KB Output is correct
16 Correct 582 ms 86440 KB Output is correct
17 Correct 36 ms 16216 KB Output is correct
18 Correct 1079 ms 82792 KB Output is correct
19 Correct 444 ms 82420 KB Output is correct
20 Correct 524 ms 83108 KB Output is correct
21 Correct 499 ms 82772 KB Output is correct
22 Correct 2530 ms 84660 KB Output is correct
23 Execution timed out 3553 ms 85412 KB Time limit exceeded
24 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 28 ms 16220 KB Output is correct
2 Correct 42 ms 18780 KB Output is correct
3 Correct 39 ms 19024 KB Output is correct
4 Correct 36 ms 19024 KB Output is correct
5 Correct 32 ms 18900 KB Output is correct
6 Correct 39 ms 19028 KB Output is correct
7 Correct 31 ms 16212 KB Output is correct
8 Correct 354 ms 82356 KB Output is correct
9 Correct 326 ms 82440 KB Output is correct
10 Correct 25 ms 16220 KB Output is correct
11 Correct 312 ms 86580 KB Output is correct
12 Correct 321 ms 86372 KB Output is correct
13 Correct 366 ms 86360 KB Output is correct
14 Correct 26 ms 16208 KB Output is correct
15 Correct 280 ms 82420 KB Output is correct
16 Correct 340 ms 82692 KB Output is correct
17 Correct 322 ms 82868 KB Output is correct
18 Correct 369 ms 82968 KB Output is correct
19 Correct 539 ms 84460 KB Output is correct
20 Correct 534 ms 84436 KB Output is correct
21 Correct 343 ms 82984 KB Output is correct
22 Correct 346 ms 82456 KB Output is correct
23 Correct 363 ms 83388 KB Output is correct
24 Correct 405 ms 83076 KB Output is correct
25 Correct 360 ms 83244 KB Output is correct
26 Correct 412 ms 82004 KB Output is correct
27 Correct 388 ms 81952 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 28 ms 16220 KB Output is correct
2 Correct 42 ms 18780 KB Output is correct
3 Correct 39 ms 19024 KB Output is correct
4 Correct 36 ms 19024 KB Output is correct
5 Correct 32 ms 18900 KB Output is correct
6 Correct 39 ms 19028 KB Output is correct
7 Correct 31 ms 16212 KB Output is correct
8 Correct 354 ms 82356 KB Output is correct
9 Correct 326 ms 82440 KB Output is correct
10 Correct 25 ms 16220 KB Output is correct
11 Correct 312 ms 86580 KB Output is correct
12 Correct 321 ms 86372 KB Output is correct
13 Correct 366 ms 86360 KB Output is correct
14 Correct 26 ms 16208 KB Output is correct
15 Correct 280 ms 82420 KB Output is correct
16 Correct 340 ms 82692 KB Output is correct
17 Correct 322 ms 82868 KB Output is correct
18 Correct 369 ms 82968 KB Output is correct
19 Correct 539 ms 84460 KB Output is correct
20 Correct 534 ms 84436 KB Output is correct
21 Correct 343 ms 82984 KB Output is correct
22 Correct 346 ms 82456 KB Output is correct
23 Correct 363 ms 83388 KB Output is correct
24 Correct 405 ms 83076 KB Output is correct
25 Correct 360 ms 83244 KB Output is correct
26 Correct 412 ms 82004 KB Output is correct
27 Correct 388 ms 81952 KB Output is correct
28 Correct 41 ms 16220 KB Output is correct
29 Correct 189 ms 18768 KB Output is correct
30 Correct 402 ms 19028 KB Output is correct
31 Correct 202 ms 18876 KB Output is correct
32 Correct 146 ms 19276 KB Output is correct
33 Correct 361 ms 18904 KB Output is correct
34 Correct 40 ms 16212 KB Output is correct
35 Correct 1319 ms 82664 KB Output is correct
36 Correct 707 ms 82988 KB Output is correct
37 Correct 1062 ms 82764 KB Output is correct
38 Correct 32 ms 16216 KB Output is correct
39 Correct 460 ms 86100 KB Output is correct
40 Correct 1288 ms 87180 KB Output is correct
41 Correct 598 ms 86356 KB Output is correct
42 Correct 572 ms 86244 KB Output is correct
43 Correct 38 ms 16616 KB Output is correct
44 Correct 1066 ms 82592 KB Output is correct
45 Correct 495 ms 82748 KB Output is correct
46 Correct 524 ms 82768 KB Output is correct
47 Correct 494 ms 82772 KB Output is correct
48 Correct 2562 ms 84648 KB Output is correct
49 Execution timed out 3522 ms 85100 KB Time limit exceeded
50 Halted 0 ms 0 KB -