이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>  
#define int long long 
#define pb push_back
 
#define F first
 
#define S second
 
using namespace std;
 
const int N = 2000 + 10;
 
const int mod = 1e9 + 7;
 
const int inf = 1e9;
const int LOG = 17;
vector<int>g[N];
int up[N][LOG],in[N],out[N],timer = 0,a[N],st[N * 4];
void dfs(int x,int par) {
	in[x] = ++timer;
	up[x][0] = par;
	for(int j = 1; j < LOG; j++) up[x][j] = up[up[x][j - 1]][j - 1];
	for(auto X : g[x]) {
		if(X != par) {
			dfs(X,x);
		}
	}
	out[x] = timer;
}
bool inn(int u,int v) {
	return in[u] <= in[v] && out[u] >= out[v];
}
int lca(int u,int v) {
	if(u == inf) return v;
	if(v == inf) return u;
	if(inn(u,v)) return u;
	if(inn(v,u)) return v;
	for(int j = LOG - 1; j >= 0; j--) {
		if(up[u][j] > 0 && !inn(up[u][j],v)) u = up[u][j];
	}
	return up[u][0];
}
void build(int node,int tl,int tr) {
	if(tl == tr) {
		st[node] = a[tl];
		return;
	}
	int mid = (tl + tr) / 2;
	build(node * 2,tl,mid);
	build(node * 2 + 1,mid + 1,tr);
	st[node] = lca(st[node * 2],st[node * 2 + 1]);
}
void modify(int node,int tl,int tr,int i,int v) {
	if(tl > i || tr < i) return;
	if(tl == tr) {
		st[node] = v;
		return;
	}
	int mid = (tl + tr) / 2;
	modify(node * 2,tl,mid,i,v);
	modify(node * 2 + 1,mid + 1,tr,i,v);
	st[node] = lca(st[node * 2],st[node * 2 + 1]);
}
int get(int node,int tl,int tr,int l,int r) {
	if(tl > r || tr < l) return inf;
	if(tl >= l && tr <= r) return st[node];
	int mid = (tl + tr) / 2;
	return lca(get(node * 2,tl,mid,l,r),get(node * 2 + 1,mid + 1,tr,l,r));
}
 
signed main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
 
 	int n,m,q;
 	cin >> n >> m >> q;
 	for(int i = 1; i <= n - 1; i++) {
 		int u,v;
 		cin >> u >> v;
 		g[u].pb(v);
 		g[v].pb(u);
 	}
 	dfs(1,0);
 	for(int i = 1; i <= m; i++) cin >> a[i];
 	build(1,1,m);
 	while(q--) {
 		int type;
 		cin >> type;
 		if(type == 1) {
 			int i,v;
 			cin >> i >> v;
 			modify(1,1,m,i,v);
 		}else {
 			int l,r,v;
 			cin >> l >> r >> v;
 			int L = -1,R = -1;
 			for(int i = l; i <= r; i++) {
 				int tl = i,tr = r,ans = -1;
 				while(tl <= tr) {
 					int mid = (tl + tr) / 2;
 					int lc = get(1,1,m,i,mid);
 					if(inn(v,lc)) {
 						ans = mid;
 						tl = mid + 1;
 					}else {
 						tr = mid - 1;
 					}
 				}
 				if(ans == -1) continue;
 				if(get(1,1,m,i,ans) == v) {
 					L = i;
 					R = ans;
 					break;
 				}
 			}
 			cout << L << " " << R << "\n";
 		}
 	}
    return 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |