洛谷 P1083 借教室【二分+差分/线段树】

二分mid，然后用1~mid的操作在差分序列上加减，最后把差分序列前缀和起来，看是否有有超过初始r值的

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e6,INF=1e9;
long long n,m,a[N],d[N],x[N],y[N],s[N];
int read()
{
    int r=0,f=1;
    char p=getchar();
    while(p>'9'||p<'0')
    {
        if(p=='-')
            f=-1;
        p=getchar();
    }
    while(p>='0'&&p<='9')
    {
        r=r*10+p-48;
        p=getchar();
    }
    return r*f;
}
bool ok(int m)
{
    memset(s,0,sizeof(s));
    for(int i=1;i<=m;i++)
        s[x[i]]+=d[i],s[y[i]+1]-=d[i];
    long long sum=0;
    for(int i=1;i<=n;i++)
    {
        sum+=s[i];
        if(sum>a[i]) 
            return 0;
    }
    return 1;
}
int main()
{
    n=read(),m=read();
    for(int i=1;i<=n;i++) 
        a[i]=read();
    for(int i=1;i<=m;i++)
        d[i]=read(),x[i]=read(),y[i]=read();
    int l=0,r=m,ans=0;
    while(l<=r)
    {
        int mid=(l+r)>>1;
        if(ok(mid))
            l=mid+1,ans=mid;
        else
            r=mid-1;
    }
    if(ans==m) 
        printf("0");
    else 
        printf("-1\n%d",ans+1);
    return 0;
}

线段树，模拟即可，洛谷上会T一个点（开O2能过）

#include<iostream>
#include<cstdio>
using namespace std;
const int N=1000005;
int n,m,a[N];
struct xds
{
    int l,r,mn,lz;
}t[N<<1];
int read()
{
    int r=0,f=1;
    char p=getchar();
    while(p>'9'||p<'0')
    {
        if(p=='-')
            f=-1;
        p=getchar();
    }
    while(p>='0'&&p<='9')
    {
        r=r*10+p-48;
        p=getchar();
    }
    return r*f;
}
void pd(int ro)
{
    if(t[ro].lz!=0)
    {
        t[ro<<1].mn+=t[ro].lz,t[ro<<1].lz+=t[ro].lz;
        t[ro<<1|1].mn+=t[ro].lz,t[ro<<1|1].lz+=t[ro].lz;
        t[ro].lz=0;
    }
}
void build(int ro,int l,int r)
{
    t[ro].l=l,t[ro].r=r;
    if(l==r)
    {
        t[ro].mn=a[l];
        return;
    }
    int mid=(l+r)>>1;
    build(ro<<1,l,mid);
    build(ro<<1|1,mid+1,r);
    t[ro].mn=min(t[ro<<1].mn,t[ro<<1|1].mn);
}
void update(int ro,int l,int r,int v)
{
    if(t[ro].l==l&&t[ro].r==r)
    {
        t[ro].mn+=v,t[ro].lz+=v;
        return;
    }
    pd(ro);
    int mid=(t[ro].l+t[ro].r)>>1;
    if(r<=mid)
        update(ro<<1,l,r,v);
    else if(l>mid)
        update(ro<<1|1,l,r,v);
    else
        update(ro<<1,l,mid,v),update(ro<<1|1,mid+1,r,v);
    t[ro].mn=min(t[ro<<1].mn,t[ro<<1|1].mn);
}
int ques(int ro,int l,int r)
{
    if(t[ro].l==l&&t[ro].r==r)
        return t[ro].mn;
    pd(ro);
    int mid=(t[ro].l+t[ro].r)>>1;
    if(r<=mid)
        return ques(ro<<1,l,r);
    else if(l>mid)
        return ques(ro<<1|1,l,r);
    else
        return min(ques(ro<<1,l,mid),ques(ro<<1|1,mid+1,r));
}
int main()
{
    n=read(),m=read();
    for(int i=1;i<=n;i++)
        a[i]=read();
    build(1,1,n);
    for(int i=1;i<=m;i++)
    {
        int d=read(),x=read(),y=read(),mn=ques(1,x,y);
        if(d>mn)
        {
            printf("-1\n%d\n",i);
            return 0;
        }
        update(1,x,y,-d);
    }
    puts("0");
    return 0;
}