P9977[USACO23DEC]BovineAcrobaticsS

https://www.luogu.com.cn/problem/P9977
https://www.luogu.com.cn/article/ijti2qdg

最后一段的理解，个人认为不妥，应该根据代码来看：

#include <stdio.h>
#include <algorithm>
struct node {
	int a, b;
} c[200010];
bool cmp(node a, node b) {
	return a.b < b.b;
}
int ans[200010], id = 1;
long long res;
int main() {
	int n, m, k;
	scanf("%d%d%d", &n, &m, &k);
	for (int i = 1; i <= n; i++)
		scanf("%d%d", &c[i].b, &c[i].a);
	std::sort(c + 1, c + 1 + n, cmp);
	for (int i = 1; i <= n; i++) {
		while (id < i && c[i].b - c[id].b >= k)
			m += ans[id++];
		ans[i] = m < c[i].a ? m : c[i].a; //系统自带的min有点慢
		m -= ans[i], res += ans[i];
	}
	printf("%lld", res);
	return 0;
}

首先它是往塔底放的，因为 \(c\) 递增；而且他这里的ans其实是目前塔底是 \(i\) 的奶牛塔，也就是说可能出现后面的大的 \(w_{i'}\) 使得 \(i\) 可以被归并为 \(i'\) 一类的，所以 \(id\) 可以是单调的，\(m\) 表示对于当前的新 \(i\) 可以放的。\(res\) 统计所有类别，故为 \(\sum ans\)。