bzoj2138 stone（Hall定理+线段树）

这篇博文讲得很好：传送门
Hall定理：
二分图G中的两部分顶点组成的集合分别为X, Y, X={X1, X2, X3,X4,………,Xm}, Y={y1, y2, y3, y4 ,………,yn},G中有一组无公共点的边，一端恰好为组成X的点的充分必要条件是：
X中的任意k个点至少与Y中的k个点相邻。（1≤k≤m)

然后由于这道题的特殊性质，我们不需要验证任意子集均满足hall定理，排序后只需要验证任意区间（即连续个点）均满足hall定理即可。具体证明见神犇blog。
为了方便讨论，我们先把没有被覆盖过的a删去，$b_i$表示第i个区间实际取走的石子数。
令$A[i]=\sum\limits_{k=1}^ia_k$,$B[i]=\sum\limits_{k=1}^ib_k$
然后经过一波推导，我们得到使得区间[l,r]的点满足hall定理的约束：$c_r<=d_l$。然后我们按时间顺序来做，假设这次要做的区间拍完序后的位置是j，取走了x个石子，则影响为对于k>=j,B[k]加x，以至于对于k>=j,c[k]加x,对于k>=j+1,d[k]加x。我们看有可能会改变大小关系的l<=r,一定是满足$1<=l<=j,j<=r<=m$，我们要保证$c_r+x<=d_l$，需要$x<=d_l-c_r$，所以x的最大值就是$d_l$的最小值-$c_r$的最大值。我们可以用线段树来维护区间最值和区间加。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 40010
inline char gc(){
    static char buf[1<<16],*S,*T;
    if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,a[N],cov[N],aa[N],tot=0,A[N],c[N],d[N],pos[N];
//c[i]->B[i]-A[R[i]]  d[i]->B[i-1]-A[L[i]-1]
struct quer{
    int id,l,r,k;
    friend bool operator<(quer a,quer b){return a.r<b.r;}
}q[N];
struct node{
    int mn,mx,addd,addc;
}tr[N<<2];
inline int sqr(int x){return x*x;}
inline void pushup(int p){
    tr[p].mn=min(tr[p<<1].mn,tr[p<<1|1].mn);
    tr[p].mx=max(tr[p<<1].mx,tr[p<<1|1].mx);
}
inline void doaddd(int p,int val){tr[p].mn+=val;tr[p].addd+=val;}
inline void doaddc(int p,int val){tr[p].mx+=val;tr[p].addc+=val;}
inline void pushdown(int p){
    if(tr[p].addd){
        doaddd(p<<1,tr[p].addd);doaddd(p<<1|1,tr[p].addd);tr[p].addd=0;
    }if(tr[p].addc){
        doaddc(p<<1,tr[p].addc);doaddc(p<<1|1,tr[p].addc);tr[p].addc=0;
    }
}
inline void build(int p,int l,int r){
    if(l==r){tr[p].mn=d[l];tr[p].mx=c[l];return;}
    int mid=l+r>>1;build(p<<1,l,mid);build(p<<1|1,mid+1,r);pushup(p);
}
inline void addd(int p,int l,int r,int x,int y,int val){
    if(x>y) return;
    if(x<=l&&r<=y){doaddd(p,val);return;}
    int mid=l+r>>1;pushdown(p);
    if(x<=mid) addd(p<<1,l,mid,x,y,val);
    if(y>mid) addd(p<<1|1,mid+1,r,x,y,val);pushup(p);
}
inline void addc(int p,int l,int r,int x,int y,int val){
    if(x<=l&&r<=y){doaddc(p,val);return;}
    int mid=l+r>>1;pushdown(p);
    if(x<=mid) addc(p<<1,l,mid,x,y,val);
    if(y>mid) addc(p<<1|1,mid+1,r,x,y,val);pushup(p);
}
inline int qmin(int p,int l,int r,int x,int y){
    if(x<=l&&r<=y) return tr[p].mn;
    int mid=l+r>>1,res=inf;pushdown(p);
    if(x<=mid) res=min(res,qmin(p<<1,l,mid,x,y));
    if(y>mid) res=min(res,qmin(p<<1|1,mid+1,r,x,y));
    return res;
}
inline int qmax(int p,int l,int r,int x,int y){
    if(x<=l&&r<=y) return tr[p].mx;
    int mid=l+r>>1,res=-inf;pushdown(p);
    if(x<=mid) res=max(res,qmax(p<<1,l,mid,x,y));
    if(y>mid) res=max(res,qmax(p<<1|1,mid+1,r,x,y));
    return res;
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();int x=read(),y=read(),z=read(),mod=read();
    for(int i=1;i<=n;++i) a[i]=((ll)sqr(x-i)+sqr(y-i)+sqr(z-i))%mod;
    m=read();q[1].k=read();q[2].k=read();x=read();y=read();z=read();mod=read();
    if(!m) return 0;
    for(int i=3;i<=m;++i) q[i].k=(q[i-1].k*x+q[i-2].k*y+z)%mod;
    for(int i=1;i<=m;++i) q[i].l=read(),q[i].r=read(),q[i].id=i,cov[q[i].l]++,cov[q[i].r+1]--;
    for(int i=1;i<=n;++i){//删掉没有被覆盖过的点
        cov[i]+=cov[i-1];
        if(cov[i]) a[++tot]=a[i],aa[i]=tot;  
    }n=tot;for(int i=1;i<=n;++i) A[i]=A[i-1]+a[i];
    for(int i=1;i<=m;++i) q[i].l=aa[q[i].l],q[i].r=aa[q[i].r];
    sort(q+1,q+m+1);for(int i=1;i<=m;++i) c[i]=-A[q[i].r],d[i]=-A[q[i].l-1],pos[q[i].id]=i;
    build(1,1,m);
    for(int i=1;i<=m;++i){
        int j=pos[i],d=qmin(1,1,m,1,j),c=qmax(1,1,m,j,m),ans=min(q[j].k,d-c);
        printf("%d\n",ans);addd(1,1,m,j+1,m,ans);addc(1,1,m,j,m,ans);
    }return 0;
}