bzoj 4777 [Usaco2017 Open]Switch Grass 线段树+multiset

题面

题目传送门

解法

因为我比较菜，离线的做法并不会……

• 显然我们可以发现一个性质：不同颜色的最短距离一定是某一条边。
• 然后我们可以发现，这些答案边一定在最小生成树上，且任意一棵最小生成树都满足。
• 考虑这个为什么是正确的。假设存在一条不在最小生成树上的边$(x,y,v)$满足答案要求，那么同时也一定会与一条$x$到$y$且总长度不超过$v$的路径上存在某一条边满足条件，并且不会使答案更劣。
• 那么我们可以建出一棵最小生成树，然后考虑如何处理询问。
• 对于每一个点$x$都开一棵以颜色种类为下标的线段树，叶节点维护的东西是$x$在生成树上的所有满足颜色等于下标的儿子$k$到$x$的边的长度的最小值。其他节点维护整个区间的最小值。
• 我们再开一个全局的multiset维护最后的答案。
• 对于修改某一个点$x$的颜色，可以分两种情况讨论一下：1.$x$是整棵树的根。那么我们只要更改它的答案，在全局的multiset中维护一下即可。 2.$x$不是整棵树的根。那么答案可能会产生变化的只可能是$x$和$x$的父节点。那么我们可以在$x$和$fa[x]$所对应的线段树上直接修改就可以了，同时维护全局的答案。
• 因为一个点同种颜色的儿子可能会有很多，所以线段树叶节点上需要使用一个multiset来维护。
• 时间复杂度：$O(q\log n)$

代码

#include <bits/stdc++.h>
#define inf 1 << 30
#define N 200005
using namespace std;
template <typename T> void chkmax(T &x, T y) {x = x > y ? x : y;}
template <typename T> void chkmin(T &x, T y) {x = x > y ? y : x;}
template <typename T> void read(T &x) {
	x = 0; int f = 1; char c = getchar();
	while (!isdigit(c)) {if (c == '-') f = -1; c = getchar();}
	while (isdigit(c)) x = x * 10 + c - '0', c = getchar(); x *= f;
}
struct Node {
	int x, y, v;
	bool operator < (const Node &a) const {return v < a.v;}
} a[N];
struct Edge {int next, num, v;} e[N * 3];
struct SegmentTree {
	struct Node {int lc, rc, id, mn;} t[N * 28];
	multiset <int> s[N * 3]; int tot, cnt;
	int mn(int k) {return k ? t[k].mn : inf;}
	void ins(int &k, int l, int r, int x, int v, int op) {
		if (!k) k = ++tot, t[k].mn = inf;
		if (l == r) {
			int &y = t[k].id; if (!y) y = ++cnt;
			if (!op) s[y].insert(v); else s[y].erase(s[y].find(v));
			if (!s[y].empty()) t[k].mn = *s[y].begin(); else t[k].mn = inf;
			return;
		}
		int mid = (l + r) >> 1;
		if (x <= mid) ins(t[k].lc, l, mid, x, v, op);
			else ins(t[k].rc, mid + 1, r, x, v, op);
		t[k].mn = min(mn(t[k].lc), mn(t[k].rc));
	}
	int query(int k, int l, int r, int L, int R) {
		if (!k || L > R) return inf;
		if (L <= l && r <= R) return t[k].mn;
		int mid = (l + r) >> 1, ret = inf;
		if (L <= mid) chkmin(ret, query(t[k].lc, l, mid, L, R));
		if (R > mid) chkmin(ret, query(t[k].rc, mid + 1, r, L, R));
		return ret;
	}
} T;
multiset <int> ans;
int cnt, p[N], rt[N], fa[N], val[N], las[N], col[N];
int Find(int x) {return x == p[x] ? x : p[x] = Find(p[x]);}
void add(int x, int y, int v) {
	e[++cnt] = (Edge) {e[x].next, y, v};
	e[x].next = cnt;
}
void dfs(int x, int las) {
	for (int p = e[x].next; p; p = e[p].next) {
		int k = e[p].num, v = e[p].v;
		if (k == las) continue;
		fa[k] = x, val[k] = v; dfs(k, x);
	}
}
int main() {
	int n, m, K, q; read(n), read(m), read(K), read(q);
	for (int i = 1; i <= m; i++)
		read(a[i].x), read(a[i].y), read(a[i].v);
	sort(a + 1, a + m + 1); cnt = n;
	for (int i = 1; i <= n; i++) p[i] = i, read(col[i]);
	for (int i = 1; i <= m; i++) {
		int x = a[i].x, y = a[i].y, tx = Find(x), ty = Find(y);
		if (tx != ty)
			add(x, y, a[i].v), add(y, x, a[i].v), p[tx] = ty;
	}
	dfs(1, 0);
	for (int i = 2; i <= n; i++)
		T.ins(rt[fa[i]], 1, K, col[i], val[i], 0);
	for (int i = 1; i <= n; i++)
		ans.insert(las[i] = min(T.query(rt[i], 1, K, 1, col[i] - 1), T.query(rt[i], 1, K, col[i] + 1, K)));
	while (q--) {
		int x, y, z; read(x), read(y); z = fa[x];
		if (z) {
			ans.erase(ans.find(las[z])), ans.erase(ans.find(las[x]));
			T.ins(rt[z], 1, K, col[x], val[x], 1);
			T.ins(rt[z], 1, K, y, val[x], 0);
			ans.insert(las[z] = min(T.query(rt[z], 1, K, 1, col[z] - 1), T.query(rt[z], 1, K, col[z] + 1, K)));
			ans.insert(las[x] = min(T.query(rt[x], 1, K, 1, y - 1), T.query(rt[x], 1, K, y + 1, K))), col[x] = y;
		} else {
			col[x] = y;
			ans.erase(ans.find(las[x]));
			ans.insert(las[x] = min(T.query(rt[x], 1, K, 1, col[x] - 1), T.query(rt[x], 1, K, col[x] + 1, K)));
		}
		cout << *ans.begin() << "\n";
	}
	return 0;
}