BZOJ1135: [POI2009]Lyz

似乎是hall定理的经典模型

贪心的想，对于人的任意一个集合，肯定编号是连续的l~r一段更容易使匹配不合法
写成柿子就是$\sum_{i=l}^rsi>(d+r-l+1)k$
把l,r移项，令$ci=si-k$
柿子可以化为$\sum_{i=l}^rci>dk$
用线段树维护序列里的最大连续子序列和判一下

code：

#include<set>
#include<map>
#include<deque>
#include<queue>
#include<stack>
#include<cmath>
#include<ctime>
#include<bitset>
#include<string>
#include<vector>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<climits>
#include<complex>
#include<iostream>
#include<algorithm>
#define ll long long
using namespace std;

inline void read(int &x)
{
    char c; int f=1;
    while(!((c=getchar())>='0'&&c<='9')) if(c=='-') f=-f;
    x=c-'0';
    while((c=getchar())>='0'&&c<='9') (x*=10)+=c-'0';
    x*=f;
}
const int maxn = 210000;
const int maxm = 510000;

int n,N,m,K,d;
ll a[maxn];
struct segment{ll ls,rs,sum,c;}seg[maxn<<2];
void pushup(const int x)
{
    int lc=x<<1,rc=lc|1;
    seg[x].c=seg[lc].c+seg[rc].c;
    seg[x].sum=max(seg[lc].sum,seg[rc].sum);
    seg[x].sum=max(seg[x].sum,seg[lc].rs+seg[rc].ls);
    seg[x].ls=max(seg[lc].ls,seg[lc].c+seg[rc].ls);
    seg[x].rs=max(seg[rc].rs,seg[rc].c+seg[lc].rs);
}
void build(const int x,const int l,const int r)
{
    if(l==r) { seg[x].c=seg[x].ls=seg[x].rs=seg[x].sum=a[l]; return; }
    int mid=l+r>>1;
    build(x<<1,l,mid);
    build(x<<1|1,mid+1,r);
    pushup(x);
}
int loc;
void upd(const int x,const int l,const int r)
{
    if(l==r) { seg[x].c=seg[x].ls=seg[x].rs=seg[x].sum=a[l]; return ; }
    int mid=l+r>>1;
    if(loc<=mid) upd(x<<1,l,mid);
    else upd(x<<1|1,mid+1,r);
    pushup(x);
}

int main()
{
    read(n); read(m); read(K); read(d);
    for(int i=1;i<=n;i++) a[i]=-K;
    build(1,1,N=n-d);
    for(int i=1;i<=m;i++)
    {
        int ri,xi; read(ri); read(xi);
        a[ri]+=(ll)xi; loc=ri; upd(1,1,N);
        puts(seg[1].sum>(ll)K*d?"NIE":"TAK");
    }

    return 0;
}