【BZOJ】1135: [POI2009]Lyz

题意

有(1)到(n(1 le n le 200000))号的溜冰鞋各(k(1 le k le 10^9))双。已知(x)号脚的人可以穿(x)到(x+d)的溜冰鞋。
有(m(1 le m le 500000))次操作，每次来了(x_i)个(r_i)号脚的人。(x_i)为负，则代表走了这么多人。对于每次操作，输出溜冰鞋是否足够。

分析

容易发现是二分图模型，然而数据太大。

题解

根据Hall定理:如果存在(X)的完备匹配，则(X)中任意(k)个点都至少与(Y)中的(k)个点相邻。
所以我们只需要在任意一些人使得满足这个条件那么就行了。
然后来了个神结论：
假设(a_i)是(i)号鞋的人，则只要任意的([l, r])满足(sum_{i=l}^{r} a_i ge (r-l+1+d) * k)，即(sum_{i=l}^{r} (a_i-k) ge d * k)则可行。
并不知道这个结论怎么来的...
所以用线段树维护一下最大子序列的值即可。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int getint() {
	int x=0, f=1, c=getchar();
	for(; c<48||c>57; f=c=='-'?-1:f, c=getchar());
	for(; c>47&&c<58; x=x*10+c-48, c=getchar());
	return x*f;
}
struct T {
	ll mx, mxl, mxr, s;
	void init() {
		mx=mxl=mxr=s;
	}
}t[1000005];
int n, m, k, d;
void up(int x) {
	int l=x<<1, r=x<<1|1;
	t[x].s=t[l].s+t[r].s;
	t[x].mxl=max(t[l].mxl, t[l].s+t[r].mxl);
	t[x].mxr=max(t[r].mxr, t[r].s+t[l].mxr);
	t[x].mx=max(t[l].mxr+t[r].mxl, max(t[l].mx, t[r].mx));
}
void upd(int p, int g, int l=1, int r=n, int x=1) {
	if(l==r) {
		t[x].s+=g;
		t[x].init();
		return;
	}
	int mid=(l+r)>>1;
	if(p<=mid) {
		upd(p, g, l, mid, x<<1);
	}
	else {
		upd(p, g, mid+1, r, x<<1|1);
	}
	up(x);
}
int main() {
	n=getint(), m=getint(), k=getint(), d=getint();
	for(int i=1; i<=n; ++i) {
		upd(i, -k);
	}
	for(ll te=(ll)d*k; m; --m) {
		int r=getint(), x=getint();
		upd(r, x);
		puts(t[1].mx<=te?"TAK":"NIE");
	}
	return 0;
}