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^{\prime }}$ 使得 $i$ 可以被归并为 $i^{\prime }$ 一类的，所以 $id$ 可以是单调的，$m$ 表示对于当前的新 $i$ 可以放的。$res$ 统计所有类别，故为 $\sum ans$。