Submission #909542

# Submission time Handle Problem Language Result Execution time Memory
909542 2024-01-17T08:58:44 Z daoquanglinh2007 Birthday gift (IZhO18_treearray) C++17
30 / 100
164 ms 35500 KB
#include <bits/stdc++.h>
using namespace std;

#define pii pair <int, int>
#define fi first
#define se second
#define mp make_pair

const int NM = 2e5, LOG = 18, BL = 1000;

int n, m, q;
vector <int> adj[NM+5];
int dep[NM+5], timer = 0, tin[NM+5], tout[NM+5];
pii f[LOG+5][2*NM+5];
int lg[2*NM+5];
int a[NM+5], g[NM/BL+5];
bool ok[NM/BL+5][NM+5];
int pref[NM+5], suff[NM+5];
vector <int> arr[NM/BL+5];

void dfs(int u, int p){
	dep[u] = (p == -1 ? 0 : dep[p]+1);
	tin[u] = ++timer;
	f[0][timer] = mp(dep[u], u);
	for (int v : adj[u]){
		if (v == p) continue;
		dfs(v, u);
		f[0][++timer] = mp(dep[u], u);
	}
	tout[u] = timer;
}

void build_sparse(){
	for (int i = 1; i <= LOG; i++)
		for (int j = 1; j+(1<<i)-1 <= timer; j++)
			f[i][j] = min(f[i-1][j], f[i-1][j+(1<<(i-1))]);
			
	lg[1] = 0;
	for (int i = 2; i <= timer; i++)
		lg[i] = lg[i>>1]+1;
}

int lca(int u, int v){
	int l = tin[u], r = tin[v];
	if (l > r) swap(l, r);
	int k = __lg(r-l+1);
	return min(f[k][l], f[k][r-(1<<k)+1]).se;
}

void build(int id){
	for (int v : arr[id]) ok[id][v] = 0;
	arr[id].clear();
	
	for (int i = id*BL; i < min((id+1)*BL, m); i++){
		int cur = a[i];
		for (int j = i; j < min((id+1)*BL, m); j++){
			int ne = lca(cur, a[j]);
			if (ne != cur){
				if (ok[id][ne]) break;
				cur = ne;
				ok[id][cur] = 1;
				arr[id].push_back(cur);
			}
		}
		if (i == id*BL) g[id] = cur;
	}
	pref[id*BL] = a[id*BL];
	for (int i = id*BL+1; i < min((id+1)*BL, m); i++)
		pref[i] = lca(pref[i-1], a[i]);
	suff[min((id+1)*BL, m)-1] = a[min((id+1)*BL, m)-1];
	for (int i = min((id+1)*BL, m)-2; i >= id*BL; i--)
		suff[i] = lca(suff[i+1], a[i]);
}

void preprocess(){
	for (int i = 0; i*BL < m; i++){
		build(i);
	}
}

void update(int x, int val){
	a[x] = val;
	build(x/BL);
}

bool is_ancestor(int a, int u){
	return tin[a] <= tin[u] && tout[a] >= tout[u];
}

pii manual_query(int l, int r, int v){
	for (int i = l; i <= r; i++)
		if (is_ancestor(v, a[i])){
			int cur = a[i], j = i;
			while (j < r){
				int ne = lca(cur, a[j+1]);
				if (is_ancestor(v, ne)){
					cur = ne;
					j++;
				}
				else break;
			}
			if (cur == v) return mp(i, j);
			i = j;
		}
	return mp(-1, -1);
}

pii query(int l, int r, int v){
	int L = (l+BL-1)/BL, R = (r-BL+1)/BL;
	if (l/BL == r/BL || L > R){
		return manual_query(l, r, v);
	}
	for (int i = L; i <= R; i++)
		if (ok[i][v]){
			return manual_query(i*BL, min((i+1)*BL, m)-1, v);
		}
	pii tmp = manual_query(l, L*BL-1, v);
	if (tmp.fi != -1) return tmp;
	tmp = manual_query((R+1)*BL, r, v);
	if (tmp.fi != -1) return tmp;
	
	for (int i = L; i <= R+1; i++)
		if (i <= R && is_ancestor(v, g[i])){
			int j = i, cur = g[i];
			while (j < R){
				int ne = lca(cur, g[j+1]);
				if (is_ancestor(v, ne)){
					cur = ne;
					j++;
				}
				else break;
			}
			int lo = max(l, (i-1)*BL), hi = i*BL-1, resl = i*BL;
			while (lo <= hi){
				int mid = (lo+hi)/2;
				if (is_ancestor(v, suff[mid])){
					resl = mid;
					hi = mid-1;
				}
				else lo = mid+1;
			}
			if (resl < i*BL) cur = lca(cur, suff[resl]);
			
			lo = (j+1)*BL, hi = min(r, (j+2)*BL-1);
			int resr = (j+1)*BL-1;
			while (lo <= hi){
				int mid = (lo+hi)/2;
				if (is_ancestor(v, pref[mid])){
					resr = mid;
					lo = mid+1;
				}
				else hi = mid-1;
			}
			if (resr >= (j+1)*BL) cur = lca(cur, pref[resr]);
			
			if (cur == v) return mp(resl, resr);
			
			i = j;
		}
		else{
			int lo = max(l, (i-1)*BL), hi = min(r, i*BL-1), resl = -1;
			while (lo <= hi){
				int mid = (lo+hi)/2;
				if (is_ancestor(v, suff[mid])){
					resl = mid;
					hi = mid-1;
				}
				else lo = mid+1;
			}
			lo = max(l, i*BL), hi = min(r, (i+1)*BL-1); int resr = -1;
			while (lo <= hi){
				int mid = (lo+hi)/2;
				if (is_ancestor(v, pref[mid])){
					resr = mid;
					lo = mid+1;
				}
				else hi = mid-1;
			}
			if (resl != -1 && resr != -1){
				if (lca(suff[resl], pref[resr]) == v){
					return mp(resl, resr);
				}
			}
		}
	return mp(-1, -1);
}

int main(){
	ios_base::sync_with_stdio(0);
	cin.tie(0);
	cout.tie(0);
	
	cin >> n >> m >> q;
	for (int i = 1; i < n; i++){
		int u, v; cin >> u >> v;
		adj[u].push_back(v);
		adj[v].push_back(u);
	}
	dfs(1, -1);
	build_sparse();
	
	for (int i = 0; i < m; i++) cin >> a[i];
	preprocess();
	
	while (q--){
		int type; cin >> type;
		if (type == 1){
			int pos, val; cin >> pos >> val;
			update(pos-1, val);
		}
		else{
			int l, r, v; cin >> l >> r >> v;
			pii ans = query(l-1, r-1, v);
			if (ans.fi != -1){
				int cur = a[ans.fi];
				for (int i = ans.fi+1; i <= ans.se; i++) cur = lca(cur, a[i]);
				ans.fi++, ans.se++;
			}
			cout << ans.fi << ' ' << ans.se << '\n';
		}
	}
	return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 5 ms 18520 KB n=5
2 Correct 6 ms 26716 KB n=100
3 Correct 6 ms 26716 KB n=100
4 Correct 6 ms 26712 KB n=100
5 Correct 7 ms 26712 KB n=100
6 Correct 6 ms 26712 KB n=100
7 Correct 5 ms 26716 KB n=100
8 Correct 6 ms 26716 KB n=100
9 Correct 6 ms 26716 KB n=100
10 Correct 7 ms 26712 KB n=100
11 Correct 6 ms 26896 KB n=100
12 Correct 8 ms 26956 KB n=100
13 Correct 7 ms 26920 KB n=100
14 Correct 6 ms 26716 KB n=100
15 Correct 6 ms 26716 KB n=100
16 Correct 6 ms 26712 KB n=100
17 Correct 6 ms 26716 KB n=100
18 Correct 6 ms 26712 KB n=100
19 Correct 7 ms 26716 KB n=100
20 Correct 7 ms 26712 KB n=100
21 Correct 8 ms 26904 KB n=100
22 Correct 6 ms 26712 KB n=100
23 Correct 7 ms 26712 KB n=100
24 Correct 7 ms 26716 KB n=100
25 Correct 6 ms 26716 KB n=100
26 Correct 6 ms 20572 KB n=12
27 Correct 6 ms 26716 KB n=100
# Verdict Execution time Memory Grader output
1 Correct 5 ms 18520 KB n=5
2 Correct 6 ms 26716 KB n=100
3 Correct 6 ms 26716 KB n=100
4 Correct 6 ms 26712 KB n=100
5 Correct 7 ms 26712 KB n=100
6 Correct 6 ms 26712 KB n=100
7 Correct 5 ms 26716 KB n=100
8 Correct 6 ms 26716 KB n=100
9 Correct 6 ms 26716 KB n=100
10 Correct 7 ms 26712 KB n=100
11 Correct 6 ms 26896 KB n=100
12 Correct 8 ms 26956 KB n=100
13 Correct 7 ms 26920 KB n=100
14 Correct 6 ms 26716 KB n=100
15 Correct 6 ms 26716 KB n=100
16 Correct 6 ms 26712 KB n=100
17 Correct 6 ms 26716 KB n=100
18 Correct 6 ms 26712 KB n=100
19 Correct 7 ms 26716 KB n=100
20 Correct 7 ms 26712 KB n=100
21 Correct 8 ms 26904 KB n=100
22 Correct 6 ms 26712 KB n=100
23 Correct 7 ms 26712 KB n=100
24 Correct 7 ms 26716 KB n=100
25 Correct 6 ms 26716 KB n=100
26 Correct 6 ms 20572 KB n=12
27 Correct 6 ms 26716 KB n=100
28 Correct 13 ms 31100 KB n=500
29 Correct 18 ms 31068 KB n=500
30 Correct 16 ms 31068 KB n=500
31 Correct 20 ms 31320 KB n=500
32 Correct 13 ms 31064 KB n=500
33 Correct 17 ms 31068 KB n=500
34 Correct 13 ms 31068 KB n=500
35 Correct 17 ms 31064 KB n=500
36 Correct 8 ms 31068 KB n=500
37 Correct 8 ms 31068 KB n=500
38 Correct 7 ms 31068 KB n=500
39 Correct 7 ms 31268 KB n=500
40 Correct 8 ms 31068 KB n=500
41 Correct 9 ms 31068 KB n=500
42 Correct 13 ms 31064 KB n=500
43 Correct 12 ms 31068 KB n=500
44 Correct 13 ms 31068 KB n=500
45 Correct 16 ms 31068 KB n=500
46 Correct 16 ms 31068 KB n=500
47 Correct 17 ms 31064 KB n=500
48 Correct 28 ms 31064 KB n=500
49 Correct 17 ms 31068 KB n=500
50 Correct 12 ms 31068 KB n=500
51 Correct 17 ms 31068 KB n=500
52 Correct 17 ms 31068 KB n=500
53 Correct 18 ms 31064 KB n=500
54 Correct 17 ms 31064 KB n=500
55 Correct 11 ms 31068 KB n=278
56 Correct 18 ms 31064 KB n=500
57 Correct 19 ms 31064 KB n=500
58 Correct 8 ms 31068 KB n=500
# Verdict Execution time Memory Grader output
1 Correct 5 ms 18520 KB n=5
2 Correct 6 ms 26716 KB n=100
3 Correct 6 ms 26716 KB n=100
4 Correct 6 ms 26712 KB n=100
5 Correct 7 ms 26712 KB n=100
6 Correct 6 ms 26712 KB n=100
7 Correct 5 ms 26716 KB n=100
8 Correct 6 ms 26716 KB n=100
9 Correct 6 ms 26716 KB n=100
10 Correct 7 ms 26712 KB n=100
11 Correct 6 ms 26896 KB n=100
12 Correct 8 ms 26956 KB n=100
13 Correct 7 ms 26920 KB n=100
14 Correct 6 ms 26716 KB n=100
15 Correct 6 ms 26716 KB n=100
16 Correct 6 ms 26712 KB n=100
17 Correct 6 ms 26716 KB n=100
18 Correct 6 ms 26712 KB n=100
19 Correct 7 ms 26716 KB n=100
20 Correct 7 ms 26712 KB n=100
21 Correct 8 ms 26904 KB n=100
22 Correct 6 ms 26712 KB n=100
23 Correct 7 ms 26712 KB n=100
24 Correct 7 ms 26716 KB n=100
25 Correct 6 ms 26716 KB n=100
26 Correct 6 ms 20572 KB n=12
27 Correct 6 ms 26716 KB n=100
28 Correct 13 ms 31100 KB n=500
29 Correct 18 ms 31068 KB n=500
30 Correct 16 ms 31068 KB n=500
31 Correct 20 ms 31320 KB n=500
32 Correct 13 ms 31064 KB n=500
33 Correct 17 ms 31068 KB n=500
34 Correct 13 ms 31068 KB n=500
35 Correct 17 ms 31064 KB n=500
36 Correct 8 ms 31068 KB n=500
37 Correct 8 ms 31068 KB n=500
38 Correct 7 ms 31068 KB n=500
39 Correct 7 ms 31268 KB n=500
40 Correct 8 ms 31068 KB n=500
41 Correct 9 ms 31068 KB n=500
42 Correct 13 ms 31064 KB n=500
43 Correct 12 ms 31068 KB n=500
44 Correct 13 ms 31068 KB n=500
45 Correct 16 ms 31068 KB n=500
46 Correct 16 ms 31068 KB n=500
47 Correct 17 ms 31064 KB n=500
48 Correct 28 ms 31064 KB n=500
49 Correct 17 ms 31068 KB n=500
50 Correct 12 ms 31068 KB n=500
51 Correct 17 ms 31068 KB n=500
52 Correct 17 ms 31068 KB n=500
53 Correct 18 ms 31064 KB n=500
54 Correct 17 ms 31064 KB n=500
55 Correct 11 ms 31068 KB n=278
56 Correct 18 ms 31064 KB n=500
57 Correct 19 ms 31064 KB n=500
58 Correct 8 ms 31068 KB n=500
59 Correct 66 ms 35160 KB n=2000
60 Correct 107 ms 35500 KB n=2000
61 Correct 103 ms 35164 KB n=2000
62 Correct 94 ms 35160 KB n=2000
63 Correct 63 ms 35160 KB n=2000
64 Correct 92 ms 35164 KB n=2000
65 Correct 66 ms 35308 KB n=2000
66 Correct 105 ms 35372 KB n=2000
67 Correct 67 ms 35300 KB n=2000
68 Correct 112 ms 35340 KB n=2000
69 Correct 17 ms 35164 KB n=2000
70 Correct 19 ms 35160 KB n=2000
71 Correct 16 ms 35224 KB n=2000
72 Correct 13 ms 35164 KB n=2000
73 Correct 12 ms 35164 KB n=2000
74 Correct 57 ms 35420 KB n=1844
75 Correct 14 ms 35164 KB n=2000
76 Correct 60 ms 35280 KB n=2000
77 Correct 59 ms 35284 KB n=2000
78 Correct 57 ms 35276 KB n=2000
79 Correct 164 ms 35300 KB n=2000
80 Correct 108 ms 35160 KB n=2000
81 Correct 101 ms 35332 KB n=2000
82 Correct 141 ms 35164 KB n=2000
83 Correct 98 ms 35164 KB n=2000
84 Incorrect 77 ms 35160 KB Jury has the answer but participant has not
85 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 5 ms 18520 KB n=5
2 Correct 6 ms 26716 KB n=100
3 Correct 6 ms 26716 KB n=100
4 Correct 6 ms 26712 KB n=100
5 Correct 7 ms 26712 KB n=100
6 Correct 6 ms 26712 KB n=100
7 Correct 5 ms 26716 KB n=100
8 Correct 6 ms 26716 KB n=100
9 Correct 6 ms 26716 KB n=100
10 Correct 7 ms 26712 KB n=100
11 Correct 6 ms 26896 KB n=100
12 Correct 8 ms 26956 KB n=100
13 Correct 7 ms 26920 KB n=100
14 Correct 6 ms 26716 KB n=100
15 Correct 6 ms 26716 KB n=100
16 Correct 6 ms 26712 KB n=100
17 Correct 6 ms 26716 KB n=100
18 Correct 6 ms 26712 KB n=100
19 Correct 7 ms 26716 KB n=100
20 Correct 7 ms 26712 KB n=100
21 Correct 8 ms 26904 KB n=100
22 Correct 6 ms 26712 KB n=100
23 Correct 7 ms 26712 KB n=100
24 Correct 7 ms 26716 KB n=100
25 Correct 6 ms 26716 KB n=100
26 Correct 6 ms 20572 KB n=12
27 Correct 6 ms 26716 KB n=100
28 Correct 13 ms 31100 KB n=500
29 Correct 18 ms 31068 KB n=500
30 Correct 16 ms 31068 KB n=500
31 Correct 20 ms 31320 KB n=500
32 Correct 13 ms 31064 KB n=500
33 Correct 17 ms 31068 KB n=500
34 Correct 13 ms 31068 KB n=500
35 Correct 17 ms 31064 KB n=500
36 Correct 8 ms 31068 KB n=500
37 Correct 8 ms 31068 KB n=500
38 Correct 7 ms 31068 KB n=500
39 Correct 7 ms 31268 KB n=500
40 Correct 8 ms 31068 KB n=500
41 Correct 9 ms 31068 KB n=500
42 Correct 13 ms 31064 KB n=500
43 Correct 12 ms 31068 KB n=500
44 Correct 13 ms 31068 KB n=500
45 Correct 16 ms 31068 KB n=500
46 Correct 16 ms 31068 KB n=500
47 Correct 17 ms 31064 KB n=500
48 Correct 28 ms 31064 KB n=500
49 Correct 17 ms 31068 KB n=500
50 Correct 12 ms 31068 KB n=500
51 Correct 17 ms 31068 KB n=500
52 Correct 17 ms 31068 KB n=500
53 Correct 18 ms 31064 KB n=500
54 Correct 17 ms 31064 KB n=500
55 Correct 11 ms 31068 KB n=278
56 Correct 18 ms 31064 KB n=500
57 Correct 19 ms 31064 KB n=500
58 Correct 8 ms 31068 KB n=500
59 Correct 66 ms 35160 KB n=2000
60 Correct 107 ms 35500 KB n=2000
61 Correct 103 ms 35164 KB n=2000
62 Correct 94 ms 35160 KB n=2000
63 Correct 63 ms 35160 KB n=2000
64 Correct 92 ms 35164 KB n=2000
65 Correct 66 ms 35308 KB n=2000
66 Correct 105 ms 35372 KB n=2000
67 Correct 67 ms 35300 KB n=2000
68 Correct 112 ms 35340 KB n=2000
69 Correct 17 ms 35164 KB n=2000
70 Correct 19 ms 35160 KB n=2000
71 Correct 16 ms 35224 KB n=2000
72 Correct 13 ms 35164 KB n=2000
73 Correct 12 ms 35164 KB n=2000
74 Correct 57 ms 35420 KB n=1844
75 Correct 14 ms 35164 KB n=2000
76 Correct 60 ms 35280 KB n=2000
77 Correct 59 ms 35284 KB n=2000
78 Correct 57 ms 35276 KB n=2000
79 Correct 164 ms 35300 KB n=2000
80 Correct 108 ms 35160 KB n=2000
81 Correct 101 ms 35332 KB n=2000
82 Correct 141 ms 35164 KB n=2000
83 Correct 98 ms 35164 KB n=2000
84 Incorrect 77 ms 35160 KB Jury has the answer but participant has not
85 Halted 0 ms 0 KB -