BZOJ1135 LYZ（POI2009） Hall定理+线段树

做这个题之前首先要了解判定二分图有没有完备匹配的Hall定理：

那么根据Hell定理，如果任何一个X子集都能连大于等于|S|的Y子集就可以获得完备匹配，那么就是：

题目变成只要不满足上面这个条件就能得到完备匹配，注意到右边的这个dk是一个常数，那么我们就可以只考虑左边最大的是否满足就行了。

那么我们就可以在修改过程中一边在线段树上修改一边查询区间最大值作比较就可以了。

 #include <bits/stdc++.h>
 using namespace std;
 const int N=;
 typedef long long ll;
 int n,m;
 ll k,d,sum[N],lftsum[N],rhtsum[N],mxsum[N];

 void buildtree(int no,int l,int r) {
     lftsum[no]=rhtsum[no]=mxsum[no]=;
     if (l==r) {sum[no]=-k;return;}
     int mid=(l+r)>>;
     buildtree(no<<,l,mid);
     buildtree(no<<|,mid+,r);
     sum[no]=sum[no<<]+sum[no<<|];
 }

 void pushup(int no) {
     sum[no]=sum[no<<]+sum[no<<|];
     mxsum[no]=max(max(mxsum[no<<],mxsum[no<<|]),rhtsum[no<<]+lftsum[no<<|]);
     lftsum[no]=max(lftsum[no<<],lftsum[no<<|]+sum[no<<]);
     rhtsum[no]=max(rhtsum[no<<|],rhtsum[no<<]+sum[no<<|]);
 }

 void modify(int no,int l,int r,int pos,ll x) {
     if (l==r) {
         sum[no]+=x;
         lftsum[no]=rhtsum[no]=mxsum[no]=max(sum[no],(ll));
         return;
     }
     int mid=(l+r)>>;
     if (pos<=mid) modify(no<<,l,mid,pos,x);
     else modify(no<<|,mid+,r,pos,x);
     pushup(no);
 }

 int main()
 {
     scanf("%d%d%lld%lld",&n,&m,&k,&d);
     buildtree(,,n-d);
     for(int i=;i<=m;i++) {
         int r;
         ll x;
         scanf("%d%lld",&r,&x);
         modify(,,n-d,r,x);
         if (mxsum[]>d*k) printf("NIE\n");
         else printf("TAK\n");
     }
     return ;
 }