BZOJ1135 [POI2009]Lyz

这个，二分图完备匹配模型

然后呢，上hall定理

发现肯定是选择脚号为一个区间的人的话最可能不满足hall定理

设a[x]为x号脚的人的数量

那么假设选择区间[l,r]，我们要满足sigma i=l to r a[x]<=(r+d-l+1)*k

即sigma i=l to r (a[x]-k)<=k*d

那么线段树维护最大连续和即可

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<ctime>
#include<cmath>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<map>
#include<set>
#include<bitset>
#include<queue>
#include<stack>
using namespace std;
#define MAXN 200010
#define MAXM 1010
#define INF 1000000000
#define MOD 1000000007
#define eps 1e-8
#define ll long long
struct data{
	ll mxl;
	ll mxr;
	ll mx;
	ll sum;
	data(){
		
	}
	data(ll x){
		mxl=mxr=mx=sum=x;
	}
	friend data operator +(data x,data y){
		data z;
		z.mxl=max(x.mxl,x.sum+y.mxl);
		z.mxr=max(y.mxr,y.sum+x.mxr);
		z.sum=x.sum+y.sum;
		z.mx=max(x.mxr+y.mxl,max(x.mx,y.mx));
		return z;
	}
};
data v[MAXN<<2];
int n,m,k,d;
inline void ud(int x){
	v[x]=v[x<<1]+v[x<<1|1];
}
void build(int x,int y,int z){
	if(y==z){
		v[x]=data(-k);
		return ;
	}
	int mid=y+z>>1;
	build(x<<1,y,mid);
	build(x<<1|1,mid+1,z);
	ud(x);
}
void change(int x,int y,int z,int p,int cv){
	if(y==z){
		v[x]=data(v[x].sum+cv);
		return ;
	}
	int mid=y+z>>1;
	if(p<=mid){
		change(x<<1,y,mid,p,cv);
	}else{
		change(x<<1|1,mid+1,z,p,cv);
	}
	ud(x);
}
int main(){
	int x,y;
	scanf("%d%d%d%d",&n,&m,&k,&d);
	build(1,1,n);
	while(m--){
		scanf("%d%d",&x,&y);
		change(1,1,n,x,y);
		printf(v[1].mx<=(ll)k*d?"TAK\n":"NIE\n");
	}
	return 0;
}

/*

*/