BZOJ1135: [POI2009]Lyz（洛谷P3488）

Hall定理 线段树

BZOJ题目传送门
洛谷题目传送门

Hall定理：一张二分图有完美匹配的充要条件为对于左边点集任意一个子集（大小为$|S|$），都存在至少$|S|$个右边的点有边相连。

对于这道题，我们只需要判断连续一段区间内的人是否满足即可。即$\forall l,r{\sum }_{i=l}^r{a}_i\le (r-l+1+d)\ast k$。把$(r-l+1)\ast k$移过去，即$\forall l,r{\sum }_{i=l}^r(a_i-k)\le k\ast d$。右边是个定值，那么我们只需维护最大连续子序列即可。这个可以用线段树。

代码：

#include<cctype>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 500005
#define F inline
using namespace std;
typedef long long LL;
struct tree{ int l,r; LL x,s,ls,rs; }t[N<<2];
int n,m; LL k,d;
F char readc(){
	static char buf[100000],*l=buf,*r=buf;
	if (l==r) r=(l=buf)+fread(buf,1,100000,stdin);
	return l==r?EOF:*l++;
}
F int _read(){
	int x=0,f=1; char ch=readc();
	while (!isdigit(ch)){ if (ch=='-') f=-1; ch=readc(); }
	while (isdigit(ch)) x=(x<<3)+(x<<1)+(ch^48),ch=readc();
	return x*f;
}
F void pshp(int x){
	int l=x<<1,r=x<<1|1; t[x].x=t[l].x+t[r].x;
	t[x].ls=max(t[l].ls,t[l].x+t[r].ls);
	t[x].rs=max(t[r].rs,t[r].x+t[l].rs);
	t[x].s=max(max(t[l].s,t[r].s),t[l].rs+t[r].ls);
}
F void build(int x,int l,int r){
	t[x].l=l,t[x].r=r; int mid=l+r>>1;
	if (l==r) return void(t[x]=(tree){l,r,-k,-k,-k,-k});
	build(x<<1,l,mid),build(x<<1|1,mid+1,r),pshp(x);
}
F void mdfy(int x,int p,int w){
	if (t[x].l==t[x].r) return t[x].x+=w,t[x].ls=t[x].rs=t[x].s=t[x].x,void();
	int mid=t[x].l+t[x].r>>1; mdfy(x<<1|(p>mid),p,w),pshp(x);
}
int main(){
	n=_read(),m=_read(),k=_read(),d=_read();
	for (n-=d,build(1,1,n);m;m--){
		int r=_read(),x=_read(); mdfy(1,r,x);
		puts(t[1].s<=k*d?"TAK":"NIE");
	}
	return 0;
}