Submission #502842

# Submission time Handle Problem Language Result Execution time Memory
502842 2022-01-06T16:02:04 Z Gurban Inside information (BOI21_servers) C++17
50 / 100
252 ms 59468 KB
#include <bits/stdc++.h>
using namespace std;

using ll = long long;

const int B = 21;
const int maxn=2e5+5;
int n,k;
int p[maxn];
int L[maxn];
int par[B][maxn];
pair<int,int> sp[2][B][maxn];
vector<pair<int,int>>E[maxn];

int ata(int nd){
	if(p[nd] == nd) return nd;
	return p[nd] = ata(p[nd]);
}

void dfs(int nd,int pr){
	par[0][nd] = pr;
	L[nd] = L[pr] + 1;
	for(auto i : E[nd]){
		if(i.first != pr){
			sp[0][0][i.first] = {1,i.second};
			sp[1][0][i.first] = {1,i.second};
			dfs(i.first,nd);
		}
	}
}

bool LCA(int a,int b){
	bool tr = 1;
	int cep = 1e9;
	int sag = 0;
	if(L[a] > L[b]){
		for(int i = B-1;i >= 0;i--){
			if(par[i][a] and L[a] - (1<<i) >= L[b]){
				tr &= sp[0][i][a].first;
				tr &= (cep > sp[0][0][a].second);
				
				cep = sp[0][i][a].second;
				a = par[i][a];
				
				if(!tr) return 0;
			}
		}
	}
	else if(L[b] > L[a]){
		for(int i = B-1;i >= 0;i--){
			if(par[i][b] and L[b] - (1<<i) >= L[a]){
				tr &= sp[1][i][b].first;
				tr &= (sag < sp[1][0][b].second);

				sag = sp[1][i][b].second;
				b = par[i][b];
				
				if(!tr) return 0;
			}
		}
	}
	if(a == b) return tr;
	for(int i = B-1;i >= 0;i--){
		if(par[i][a] and par[i][b] and par[i][a] != par[i][b]){
			tr &= sp[0][i][a].first;
			tr &= sp[1][i][b].first;

			tr &= (cep > sp[0][0][a].second);
			tr &= (sag < sp[1][0][b].second);
		
			if(!tr) return 0;

			// assert(sp[0][0][a].second >= sp[0][i][a].second);
			// assert(sp[1][0][b].second <= sp[1][i][b].second);

			cep = sp[0][i][a].second;
			sag = sp[1][i][b].second;
			a = par[i][a];
			b = par[i][b];
		}
	}
	tr &= (cep > sp[0][0][a].second);
	tr &= (sag < sp[1][0][b].second);
	tr &= (sp[0][0][a].second > sp[1][0][b].second);
	return tr;
}

int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);

	cin >> n >> k;
	for(int i = 1;i <= n;i++) p[i] = i;
	vector<tuple<int,int,int>>quer;
	for(int i = 1;i < n + k;i++){
		char tp; cin >> tp;
		if(tp == 'S'){
			int x,y; cin >> x >> y;
			E[x].push_back({y,i});
			E[y].push_back({x,i});
			
			quer.push_back({0,x,y});
		}
		else if(tp == 'Q'){
			int x,y; cin >> x >> y;
			quer.push_back({1,x,y});
		}
		else {
			int x; cin >> x;
			quer.push_back({2,x,-1});
		}
	}
	dfs(1,0);
	for(int i = 1;i < B;i++){
		for(int j = 1;j <= n;j++){
			par[i][j] = par[i-1][par[i-1][j]];
			if(!par[i][j]) continue;
			if(sp[0][i-1][j].first and sp[0][i-1][par[i-1][j]].first and sp[0][i-1][j].second > sp[0][0][par[i-1][j]].second){
				sp[0][i][j] = {1,sp[0][i-1][par[i-1][j]].second};
			}
			if(sp[1][i-1][j].first and sp[1][i-1][par[i-1][j]].first and sp[1][i-1][j].second < sp[1][0][par[i-1][j]].second){
				sp[1][i][j] = {1,sp[1][i-1][par[i-1][j]].second};
			}
		}
	}
	// for(int i = 0;i < B;i++){
	// 	for(int j = 1;j <= n;j++){
	// 		if(par[i][j]) cout<<i<<' '<<j<<' '<<par[i][j]<<' '<<sp[0][i][j].first<<' '<<sp[0][i][j].second<<' '<<sp[1][i][j].first<<' '<<sp[1][i][j].second<<'\n';
	// 	}
	// }
	for(auto i : quer){
		int tp = get<0>(i);
		int x = get<1>(i);
		int y = get<2>(i);
		if(tp == 0){
			int aa = ata(x);
			int bb = ata(y);
			p[bb] = aa;
		}
		else if(tp == 1){
			int aa = ata(x);
			int bb = ata(y);
			if(aa != bb){
				cout<<"no\n";
				continue;
			}
			cout<<(LCA(x,y)?"yes\n":"no\n");
		}
		else cout<<"0\n";
	}
}
# Verdict Execution time Memory Grader output
1 Correct 22 ms 7104 KB Output is correct
2 Correct 32 ms 7612 KB Output is correct
3 Correct 36 ms 7780 KB Output is correct
4 Correct 28 ms 9160 KB Output is correct
5 Correct 31 ms 9336 KB Output is correct
6 Correct 35 ms 8908 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 22 ms 7104 KB Output is correct
2 Correct 32 ms 7612 KB Output is correct
3 Correct 36 ms 7780 KB Output is correct
4 Correct 28 ms 9160 KB Output is correct
5 Correct 31 ms 9336 KB Output is correct
6 Correct 35 ms 8908 KB Output is correct
7 Incorrect 23 ms 7840 KB Extra information in the output file
8 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 25 ms 6976 KB Output is correct
2 Correct 119 ms 28488 KB Output is correct
3 Correct 121 ms 28540 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 6976 KB Output is correct
2 Correct 119 ms 28488 KB Output is correct
3 Correct 121 ms 28540 KB Output is correct
4 Incorrect 24 ms 7844 KB Extra information in the output file
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 21 ms 7000 KB Output is correct
2 Correct 117 ms 37648 KB Output is correct
3 Correct 156 ms 37568 KB Output is correct
4 Correct 150 ms 47756 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 21 ms 7000 KB Output is correct
2 Correct 117 ms 37648 KB Output is correct
3 Correct 156 ms 37568 KB Output is correct
4 Correct 150 ms 47756 KB Output is correct
5 Incorrect 27 ms 7924 KB Extra information in the output file
6 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 26 ms 7124 KB Output is correct
2 Correct 151 ms 32440 KB Output is correct
3 Correct 188 ms 33248 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 26 ms 7124 KB Output is correct
2 Correct 151 ms 32440 KB Output is correct
3 Correct 188 ms 33248 KB Output is correct
4 Incorrect 24 ms 7840 KB Extra information in the output file
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 43 ms 7192 KB Output is correct
2 Correct 138 ms 37620 KB Output is correct
3 Correct 154 ms 37644 KB Output is correct
4 Correct 146 ms 47704 KB Output is correct
5 Correct 34 ms 7860 KB Output is correct
6 Correct 167 ms 32560 KB Output is correct
7 Correct 144 ms 33408 KB Output is correct
8 Correct 156 ms 33616 KB Output is correct
9 Correct 147 ms 33676 KB Output is correct
10 Correct 184 ms 59468 KB Output is correct
11 Correct 172 ms 57096 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 43 ms 7192 KB Output is correct
2 Correct 138 ms 37620 KB Output is correct
3 Correct 154 ms 37644 KB Output is correct
4 Correct 146 ms 47704 KB Output is correct
5 Correct 34 ms 7860 KB Output is correct
6 Correct 167 ms 32560 KB Output is correct
7 Correct 144 ms 33408 KB Output is correct
8 Correct 156 ms 33616 KB Output is correct
9 Correct 147 ms 33676 KB Output is correct
10 Correct 184 ms 59468 KB Output is correct
11 Correct 172 ms 57096 KB Output is correct
12 Incorrect 24 ms 7920 KB Extra information in the output file
13 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 26 ms 7168 KB Output is correct
2 Correct 33 ms 7760 KB Output is correct
3 Correct 94 ms 7952 KB Output is correct
4 Correct 37 ms 9152 KB Output is correct
5 Correct 35 ms 9360 KB Output is correct
6 Correct 39 ms 8920 KB Output is correct
7 Correct 30 ms 7852 KB Output is correct
8 Correct 167 ms 28568 KB Output is correct
9 Correct 188 ms 28524 KB Output is correct
10 Correct 24 ms 7924 KB Output is correct
11 Correct 252 ms 37628 KB Output is correct
12 Correct 139 ms 37664 KB Output is correct
13 Correct 143 ms 47904 KB Output is correct
14 Correct 26 ms 7844 KB Output is correct
15 Correct 134 ms 32440 KB Output is correct
16 Correct 148 ms 33280 KB Output is correct
17 Correct 135 ms 33684 KB Output is correct
18 Correct 157 ms 33708 KB Output is correct
19 Correct 162 ms 59448 KB Output is correct
20 Correct 175 ms 57060 KB Output is correct
21 Correct 153 ms 30988 KB Output is correct
22 Correct 130 ms 31080 KB Output is correct
23 Correct 150 ms 33184 KB Output is correct
24 Correct 160 ms 33672 KB Output is correct
25 Correct 159 ms 33972 KB Output is correct
26 Correct 129 ms 33848 KB Output is correct
27 Correct 112 ms 33540 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 26 ms 7168 KB Output is correct
2 Correct 33 ms 7760 KB Output is correct
3 Correct 94 ms 7952 KB Output is correct
4 Correct 37 ms 9152 KB Output is correct
5 Correct 35 ms 9360 KB Output is correct
6 Correct 39 ms 8920 KB Output is correct
7 Correct 30 ms 7852 KB Output is correct
8 Correct 167 ms 28568 KB Output is correct
9 Correct 188 ms 28524 KB Output is correct
10 Correct 24 ms 7924 KB Output is correct
11 Correct 252 ms 37628 KB Output is correct
12 Correct 139 ms 37664 KB Output is correct
13 Correct 143 ms 47904 KB Output is correct
14 Correct 26 ms 7844 KB Output is correct
15 Correct 134 ms 32440 KB Output is correct
16 Correct 148 ms 33280 KB Output is correct
17 Correct 135 ms 33684 KB Output is correct
18 Correct 157 ms 33708 KB Output is correct
19 Correct 162 ms 59448 KB Output is correct
20 Correct 175 ms 57060 KB Output is correct
21 Correct 153 ms 30988 KB Output is correct
22 Correct 130 ms 31080 KB Output is correct
23 Correct 150 ms 33184 KB Output is correct
24 Correct 160 ms 33672 KB Output is correct
25 Correct 159 ms 33972 KB Output is correct
26 Correct 129 ms 33848 KB Output is correct
27 Correct 112 ms 33540 KB Output is correct
28 Incorrect 24 ms 7868 KB Extra information in the output file
29 Halted 0 ms 0 KB -