Submission #630479

# Submission time Handle Problem Language Result Execution time Memory
630479 2022-08-16T12:14:53 Z Arnch Mergers (JOI19_mergers) C++17
70 / 100
1586 ms 262144 KB
// oooo
/*
 har chi delet mikhad bebar ~
 gitar o ba khodet nabar! ~
 ;Amoo_Hasan;
*/

#include<bits/stdc++.h>
//#pragma GCC optimize("O3,no-stack-protector,unroll-loops")
//#pragma GCC target("avx2,fma")

using namespace std;

typedef long long ll;
typedef long double ld;

#define Sz(x) int((x).size())
#define All(x) (x).begin(), (x).end()
#define wtf(x) cout<<#x <<" : " <<x <<endl
#define mak make_pair

//constexpr int PRI = 1000696969;
constexpr ll INF = 1e18, N = 2e6 + 1e5 + 10, MAXN = 5e5 + 10, LOG = 23;

int n, k;
int s[N], sub[MAXN], head[MAXN], link[N], fin[N];
int par[MAXN][LOG], h[MAXN], st[MAXN], fn[MAXN], tim;
int sz[N], pv[N];
int ans, total;
int seg[N];
vector<int> vc[N], adj[MAXN], nei[N], his;

void dfs(int x, int p = -1) {
	par[x][0] = p;
	for(int i = 1; i < LOG; i++) par[x][i] = par[par[x][i - 1]][i - 1];
	h[x] = h[p] + 1;
	sub[x] = 1;
	for(auto j : adj[x]) {
		if(j == p) continue;
		dfs(j, x);
		sub[x] += sub[j];
	}
}
void hld(int x, int p = -1, int hi = 0) {
	link[tim] = x;
	st[x] = tim++;
	head[x] = hi;

	int bz = -1;
	for(auto j : adj[x]) {
		if(j == p) continue;
		if(bz == -1 || sub[bz] < sub[j]) bz = j;
	}
	if(bz == -1) {
		fn[x] = tim;
		return;
	}

	hld(bz, x, hi);
	for(auto j : adj[x]) {
		if(j == p || j == bz) continue;
		hld(j, x, j);
	}
	fn[x] = tim;
}

int get_par(int x, int y) {
	for(int i = 0; i < LOG; i++)
		if((y >> i) & 1)
			x = par[x][i];
	return x;
}
int lca(int x, int y) {
	if(h[x] > h[y]) swap(x, y);
	y = get_par(y, h[y] - h[x]);
	if(x == y) return x;
	for(int i = LOG - 1; i >= 0; i--)
		if(par[x][i] != par[y][i])
			x = par[x][i], y = par[y][i];
	return par[x][0];
}

int find(int x) {
	if(pv[x] == x) return x;
	return pv[x] = find(pv[x]);
}
void merge(int x, int y) {
//	cout<<"^^" <<x <<' ' <<y <<endl;
	int X = find(x), Y = find(y);
	if(X == Y) return;
	if(sz[X] < sz[Y]) swap(X, Y);
	pv[Y] = X, sz[X] += sz[Y];
}

void build(int l = 0, int r = n, int v = 1) {
	seg[v] = -1;
	if(r - l < 2) {
		fin[link[l]] = v;
		return;
	}
	int mid = (l + r) >> 1;
	build(l, mid, 2 * v), build(mid, r, 2 * v + 1);
	total = max(total, v);
}
void upd(int s, int e, int val, int l = 0, int r = n, int v = 1) {
	if(r <= s || l >= e) return;
	if(l >= s && r <= e) {
		if(seg[v] == -1) seg[v] = val;
		else merge(seg[v], val);
		return;
	}
	int mid = (l + r) >> 1;
	upd(s, e, val, l, mid, 2 * v), upd(s, e, val, mid, r, 2 * v + 1);
}
void relax(int l = 0, int r = n, int v = 1) {
	if(r - l < 2) {
		if(seg[v] != -1) merge(seg[v], s[link[l]]);
		return;
	}
	int mid = (l + r) >> 1;
	if(seg[v] != -1) {
		if(seg[2 * v] == -1) seg[2 * v] = seg[v];
		else merge(seg[v], seg[2 * v]);

		if(seg[2 * v + 1] == -1) seg[2 * v + 1] = seg[v];
		else merge(seg[v], seg[2 * v + 1]);
	}
	relax(l, mid, 2 * v), relax(mid, r, 2 * v + 1);
}

bool cmp(int i, int j) {
	return st[i] < st[j];
}
void solve(int x) {
	vector<int> ver;
	for(auto i : vc[x]) ver.push_back(i);
	sort(All(ver), cmp);
	int sz = Sz(ver);
	for(int i = 1; i < sz; i++) {
		ver.push_back(lca(ver[i - 1], ver[i]));
	}
	sort(All(ver), cmp);
	ver.erase(unique(All(ver)), ver.end());

	stack<int> mt;
	mt.push(ver[0]);

	upd(st[ver[0]], st[ver[0]] + 1, x);
	for(int i = 1; i < Sz(ver); i++) {
		int v = ver[i];
		while(fn[mt.top()] < fn[v]) mt.pop();
		int p = mt.top();
	
		upd(st[v], st[v] + 1, x);
	
		int u = v;
		while(u != -1 && h[u] >= h[p]) {
			if(h[head[u]] < h[p]) break;
			upd(st[head[u]], st[u] + 1, x);
			u = par[head[u]][0];
		}
		if(h[u] >= h[p]) {
			upd(st[p], st[u] + 1, x);
		}

		mt.push(v);
	}
}

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

	for(int i = 0; i < N; i++) sz[i] = 1, pv[i] = i;

	cin >>n >>k;
	for(int i = 0; i < n - 1; i++) {
		int u, v; cin >>u >>v;
		--u, --v;
		adj[u].push_back(v), adj[v].push_back(u);
	}
	dfs(0);
	hld(0);
		
	for(int i = 0; i < n; i++) {
		cin >>s[i];
	}
	
	build();
	
	for(int i = 0; i < n; i++) {
		--s[i], s[i] += total;
		vc[s[i]].push_back(i);
	}

	for(int i = total; i < total + k; i++) {
		solve(i);
	}

	relax();

	for(int i = 0; i < N; i++) pv[i] = find(pv[i]);

	for(int i = 0; i < n; i++) {
		int u = s[i];
		for(auto j : adj[i]) {
			int v = s[j];
			if(pv[u] == pv[v]) continue;
			nei[pv[u]].push_back(pv[v]);
			nei[pv[v]].push_back(pv[u]);
		}
	}

	for(int i = 0; i < N; i++) {
		nei[i].erase(unique(All(nei[i])), nei[i].end());
		if(Sz(nei[i]) == 1) ans++;
	}
	cout<<(ans + 1) / 2;

	return 0;
}

# Verdict Execution time Memory Grader output
1 Correct 70 ms 127188 KB Output is correct
2 Correct 75 ms 127268 KB Output is correct
3 Correct 74 ms 127164 KB Output is correct
4 Correct 69 ms 127108 KB Output is correct
5 Correct 71 ms 127180 KB Output is correct
6 Correct 71 ms 127200 KB Output is correct
7 Correct 73 ms 127148 KB Output is correct
8 Correct 73 ms 127100 KB Output is correct
9 Correct 81 ms 127192 KB Output is correct
10 Correct 69 ms 127172 KB Output is correct
11 Correct 75 ms 127200 KB Output is correct
12 Correct 72 ms 127116 KB Output is correct
13 Correct 74 ms 127192 KB Output is correct
14 Correct 88 ms 127188 KB Output is correct
15 Correct 72 ms 127224 KB Output is correct
16 Correct 71 ms 127176 KB Output is correct
17 Correct 70 ms 127260 KB Output is correct
18 Correct 72 ms 127164 KB Output is correct
19 Correct 79 ms 127080 KB Output is correct
20 Correct 75 ms 127184 KB Output is correct
21 Correct 73 ms 127188 KB Output is correct
22 Correct 74 ms 127132 KB Output is correct
23 Correct 77 ms 127180 KB Output is correct
24 Correct 73 ms 127188 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 70 ms 127188 KB Output is correct
2 Correct 75 ms 127268 KB Output is correct
3 Correct 74 ms 127164 KB Output is correct
4 Correct 69 ms 127108 KB Output is correct
5 Correct 71 ms 127180 KB Output is correct
6 Correct 71 ms 127200 KB Output is correct
7 Correct 73 ms 127148 KB Output is correct
8 Correct 73 ms 127100 KB Output is correct
9 Correct 81 ms 127192 KB Output is correct
10 Correct 69 ms 127172 KB Output is correct
11 Correct 75 ms 127200 KB Output is correct
12 Correct 72 ms 127116 KB Output is correct
13 Correct 74 ms 127192 KB Output is correct
14 Correct 88 ms 127188 KB Output is correct
15 Correct 72 ms 127224 KB Output is correct
16 Correct 71 ms 127176 KB Output is correct
17 Correct 70 ms 127260 KB Output is correct
18 Correct 72 ms 127164 KB Output is correct
19 Correct 79 ms 127080 KB Output is correct
20 Correct 75 ms 127184 KB Output is correct
21 Correct 73 ms 127188 KB Output is correct
22 Correct 74 ms 127132 KB Output is correct
23 Correct 77 ms 127180 KB Output is correct
24 Correct 73 ms 127188 KB Output is correct
25 Correct 71 ms 127204 KB Output is correct
26 Correct 73 ms 127780 KB Output is correct
27 Correct 72 ms 127692 KB Output is correct
28 Correct 77 ms 127968 KB Output is correct
29 Correct 83 ms 127852 KB Output is correct
30 Correct 79 ms 127660 KB Output is correct
31 Correct 81 ms 127104 KB Output is correct
32 Correct 85 ms 127944 KB Output is correct
33 Correct 72 ms 127180 KB Output is correct
34 Correct 83 ms 127816 KB Output is correct
35 Correct 90 ms 127976 KB Output is correct
36 Correct 74 ms 127652 KB Output is correct
37 Correct 81 ms 127640 KB Output is correct
38 Correct 73 ms 127208 KB Output is correct
39 Correct 74 ms 127692 KB Output is correct
40 Correct 83 ms 127712 KB Output is correct
41 Correct 80 ms 127780 KB Output is correct
42 Correct 74 ms 127776 KB Output is correct
43 Correct 77 ms 128000 KB Output is correct
44 Correct 72 ms 127216 KB Output is correct
45 Correct 74 ms 127780 KB Output is correct
46 Correct 78 ms 127692 KB Output is correct
47 Correct 84 ms 127140 KB Output is correct
48 Correct 76 ms 127692 KB Output is correct
49 Correct 79 ms 127920 KB Output is correct
50 Correct 77 ms 127920 KB Output is correct
51 Correct 89 ms 127724 KB Output is correct
52 Correct 75 ms 127696 KB Output is correct
53 Correct 77 ms 127676 KB Output is correct
54 Correct 76 ms 127692 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 70 ms 127188 KB Output is correct
2 Correct 75 ms 127268 KB Output is correct
3 Correct 74 ms 127164 KB Output is correct
4 Correct 69 ms 127108 KB Output is correct
5 Correct 71 ms 127180 KB Output is correct
6 Correct 71 ms 127200 KB Output is correct
7 Correct 73 ms 127148 KB Output is correct
8 Correct 73 ms 127100 KB Output is correct
9 Correct 81 ms 127192 KB Output is correct
10 Correct 69 ms 127172 KB Output is correct
11 Correct 75 ms 127200 KB Output is correct
12 Correct 72 ms 127116 KB Output is correct
13 Correct 74 ms 127192 KB Output is correct
14 Correct 88 ms 127188 KB Output is correct
15 Correct 72 ms 127224 KB Output is correct
16 Correct 71 ms 127176 KB Output is correct
17 Correct 70 ms 127260 KB Output is correct
18 Correct 72 ms 127164 KB Output is correct
19 Correct 79 ms 127080 KB Output is correct
20 Correct 75 ms 127184 KB Output is correct
21 Correct 73 ms 127188 KB Output is correct
22 Correct 74 ms 127132 KB Output is correct
23 Correct 77 ms 127180 KB Output is correct
24 Correct 73 ms 127188 KB Output is correct
25 Correct 72 ms 127180 KB Output is correct
26 Correct 227 ms 144472 KB Output is correct
27 Correct 283 ms 144152 KB Output is correct
28 Correct 73 ms 127616 KB Output is correct
29 Correct 70 ms 127276 KB Output is correct
30 Correct 82 ms 127172 KB Output is correct
31 Correct 234 ms 144068 KB Output is correct
32 Correct 74 ms 127636 KB Output is correct
33 Correct 270 ms 151228 KB Output is correct
34 Correct 265 ms 144160 KB Output is correct
35 Correct 78 ms 127624 KB Output is correct
36 Correct 241 ms 144716 KB Output is correct
37 Correct 76 ms 127748 KB Output is correct
38 Correct 74 ms 127736 KB Output is correct
39 Correct 223 ms 144540 KB Output is correct
40 Correct 73 ms 127948 KB Output is correct
41 Correct 243 ms 145104 KB Output is correct
42 Correct 261 ms 146576 KB Output is correct
43 Correct 76 ms 127212 KB Output is correct
44 Correct 266 ms 152572 KB Output is correct
45 Correct 285 ms 147868 KB Output is correct
46 Correct 80 ms 127632 KB Output is correct
47 Correct 78 ms 127696 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 201 ms 144360 KB Output is correct
2 Correct 181 ms 150844 KB Output is correct
3 Correct 80 ms 127820 KB Output is correct
4 Correct 82 ms 127660 KB Output is correct
5 Correct 69 ms 127080 KB Output is correct
6 Correct 75 ms 127104 KB Output is correct
7 Correct 73 ms 127656 KB Output is correct
8 Correct 284 ms 145552 KB Output is correct
9 Correct 93 ms 127692 KB Output is correct
10 Correct 244 ms 144280 KB Output is correct
11 Correct 73 ms 127316 KB Output is correct
12 Correct 229 ms 144112 KB Output is correct
13 Correct 250 ms 145900 KB Output is correct
14 Correct 216 ms 150476 KB Output is correct
15 Correct 194 ms 144548 KB Output is correct
16 Correct 93 ms 127776 KB Output is correct
17 Correct 70 ms 127208 KB Output is correct
18 Correct 194 ms 150220 KB Output is correct
19 Correct 266 ms 153804 KB Output is correct
20 Correct 75 ms 127780 KB Output is correct
21 Correct 69 ms 127212 KB Output is correct
22 Correct 219 ms 146232 KB Output is correct
23 Correct 76 ms 127812 KB Output is correct
24 Correct 216 ms 144724 KB Output is correct
25 Correct 280 ms 153708 KB Output is correct
26 Correct 75 ms 127916 KB Output is correct
27 Correct 73 ms 127960 KB Output is correct
28 Correct 81 ms 127716 KB Output is correct
29 Correct 79 ms 127724 KB Output is correct
30 Correct 89 ms 127844 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 70 ms 127188 KB Output is correct
2 Correct 75 ms 127268 KB Output is correct
3 Correct 74 ms 127164 KB Output is correct
4 Correct 69 ms 127108 KB Output is correct
5 Correct 71 ms 127180 KB Output is correct
6 Correct 71 ms 127200 KB Output is correct
7 Correct 73 ms 127148 KB Output is correct
8 Correct 73 ms 127100 KB Output is correct
9 Correct 81 ms 127192 KB Output is correct
10 Correct 69 ms 127172 KB Output is correct
11 Correct 75 ms 127200 KB Output is correct
12 Correct 72 ms 127116 KB Output is correct
13 Correct 74 ms 127192 KB Output is correct
14 Correct 88 ms 127188 KB Output is correct
15 Correct 72 ms 127224 KB Output is correct
16 Correct 71 ms 127176 KB Output is correct
17 Correct 70 ms 127260 KB Output is correct
18 Correct 72 ms 127164 KB Output is correct
19 Correct 79 ms 127080 KB Output is correct
20 Correct 75 ms 127184 KB Output is correct
21 Correct 73 ms 127188 KB Output is correct
22 Correct 74 ms 127132 KB Output is correct
23 Correct 77 ms 127180 KB Output is correct
24 Correct 73 ms 127188 KB Output is correct
25 Correct 71 ms 127204 KB Output is correct
26 Correct 73 ms 127780 KB Output is correct
27 Correct 72 ms 127692 KB Output is correct
28 Correct 77 ms 127968 KB Output is correct
29 Correct 83 ms 127852 KB Output is correct
30 Correct 79 ms 127660 KB Output is correct
31 Correct 81 ms 127104 KB Output is correct
32 Correct 85 ms 127944 KB Output is correct
33 Correct 72 ms 127180 KB Output is correct
34 Correct 83 ms 127816 KB Output is correct
35 Correct 90 ms 127976 KB Output is correct
36 Correct 74 ms 127652 KB Output is correct
37 Correct 81 ms 127640 KB Output is correct
38 Correct 73 ms 127208 KB Output is correct
39 Correct 74 ms 127692 KB Output is correct
40 Correct 83 ms 127712 KB Output is correct
41 Correct 80 ms 127780 KB Output is correct
42 Correct 74 ms 127776 KB Output is correct
43 Correct 77 ms 128000 KB Output is correct
44 Correct 72 ms 127216 KB Output is correct
45 Correct 74 ms 127780 KB Output is correct
46 Correct 78 ms 127692 KB Output is correct
47 Correct 84 ms 127140 KB Output is correct
48 Correct 76 ms 127692 KB Output is correct
49 Correct 79 ms 127920 KB Output is correct
50 Correct 77 ms 127920 KB Output is correct
51 Correct 89 ms 127724 KB Output is correct
52 Correct 75 ms 127696 KB Output is correct
53 Correct 77 ms 127676 KB Output is correct
54 Correct 76 ms 127692 KB Output is correct
55 Correct 72 ms 127180 KB Output is correct
56 Correct 227 ms 144472 KB Output is correct
57 Correct 283 ms 144152 KB Output is correct
58 Correct 73 ms 127616 KB Output is correct
59 Correct 70 ms 127276 KB Output is correct
60 Correct 82 ms 127172 KB Output is correct
61 Correct 234 ms 144068 KB Output is correct
62 Correct 74 ms 127636 KB Output is correct
63 Correct 270 ms 151228 KB Output is correct
64 Correct 265 ms 144160 KB Output is correct
65 Correct 78 ms 127624 KB Output is correct
66 Correct 241 ms 144716 KB Output is correct
67 Correct 76 ms 127748 KB Output is correct
68 Correct 74 ms 127736 KB Output is correct
69 Correct 223 ms 144540 KB Output is correct
70 Correct 73 ms 127948 KB Output is correct
71 Correct 243 ms 145104 KB Output is correct
72 Correct 261 ms 146576 KB Output is correct
73 Correct 76 ms 127212 KB Output is correct
74 Correct 266 ms 152572 KB Output is correct
75 Correct 285 ms 147868 KB Output is correct
76 Correct 80 ms 127632 KB Output is correct
77 Correct 78 ms 127696 KB Output is correct
78 Correct 201 ms 144360 KB Output is correct
79 Correct 181 ms 150844 KB Output is correct
80 Correct 80 ms 127820 KB Output is correct
81 Correct 82 ms 127660 KB Output is correct
82 Correct 69 ms 127080 KB Output is correct
83 Correct 75 ms 127104 KB Output is correct
84 Correct 73 ms 127656 KB Output is correct
85 Correct 284 ms 145552 KB Output is correct
86 Correct 93 ms 127692 KB Output is correct
87 Correct 244 ms 144280 KB Output is correct
88 Correct 73 ms 127316 KB Output is correct
89 Correct 229 ms 144112 KB Output is correct
90 Correct 250 ms 145900 KB Output is correct
91 Correct 216 ms 150476 KB Output is correct
92 Correct 194 ms 144548 KB Output is correct
93 Correct 93 ms 127776 KB Output is correct
94 Correct 70 ms 127208 KB Output is correct
95 Correct 194 ms 150220 KB Output is correct
96 Correct 266 ms 153804 KB Output is correct
97 Correct 75 ms 127780 KB Output is correct
98 Correct 69 ms 127212 KB Output is correct
99 Correct 219 ms 146232 KB Output is correct
100 Correct 76 ms 127812 KB Output is correct
101 Correct 216 ms 144724 KB Output is correct
102 Correct 280 ms 153708 KB Output is correct
103 Correct 75 ms 127916 KB Output is correct
104 Correct 73 ms 127960 KB Output is correct
105 Correct 81 ms 127716 KB Output is correct
106 Correct 79 ms 127724 KB Output is correct
107 Correct 89 ms 127844 KB Output is correct
108 Correct 1031 ms 227924 KB Output is correct
109 Correct 1413 ms 239800 KB Output is correct
110 Correct 1586 ms 252468 KB Output is correct
111 Correct 1564 ms 262144 KB Output is correct
112 Correct 1439 ms 257404 KB Output is correct
113 Correct 1178 ms 249592 KB Output is correct
114 Runtime error 1140 ms 262144 KB Execution killed with signal 11
115 Halted 0 ms 0 KB -