$Sol$
区间整体加减? 差分+树状数组维护前缀和!
那每给一个人借完教室之后都要判断一下现在合不合法?那复杂度比暴力还不如些...
注意到这里的单调性,假设给前$x$个人借完教室之后就不合法了,那给前$x+1,x+2.....$个人借教室一定也是不合法的.于是可以二分第一个需要修改申请的人,然后$check()$.$check()$里在借完所有的人教室之后再判断合不合法就好了,而且就用不着树状数组了.
$upd:$还有一种方法,是线段树,比较简单粗暴易想,维护区间减和区间$min$值即可.
$over.$
$Code$
#include<iostream> #include<cstdio> #include<cstring> #include<queue> #include<algorithm> #define il inline #define Rg register #define go(i,a,b) for(Rg int i=a;i<=b;++i) #define yes(i,a,b) for(Rg int i=a;i>=b;--i) #define mem(a,b) memset(a,b,sizeof(a)) #define ll long long #define db double #define inf 2147483647 using namespace std; il int read() { Rg int x=0,y=1;char c=getchar(); while(c<'0'||c>'9'){if(c=='-')y=-1;c=getchar();} while(c>='0'&&c<='9'){x=(x<<1)+(x<<3)+c-'0';c=getchar();} return x*y; } const int N=1000010; int n,m,r[N],d[N],s[N],t[N],a[N],as; il bool ck(int x) { mem(a,0); go(i,1,x) { a[s[i]]+=d[i]; a[t[i]+1]-=d[i]; } Rg int nw=0; go(i,1,n){nw+=a[i];if(nw>r[i])return 1;} return 0; } int main() { n=read(),m=read(); go(i,1,n)r[i]=read(); go(i,1,m)d[i]=read(),s[i]=read(),t[i]=read(); Rg int l=1,r=m,mid; while(l<=r) { mid=(l+r)>>1;//cout<<l<<" "<<r<<" "<<mid<<endl; if(ck(mid))as=mid,r=mid-1; else l=mid+1; } if(!as)printf("0 "); else printf("-1 %d ",as); return 0; }