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\)。
