洛谷P6812

对于题目的区间加法明显可以用线段树或树状数组进行
并且由题可得，先辈序列即为不下降序列，需满足ai<aj&&i<j
判断一个序列是否为先辈我们比较的是一个元素和前一个元素的大小关系。所以我们可以将原序列进行一次差分来对比其是否为先辈序列。
如果差分后的序列中的某个元素小于0，说明其原序列中对应的元素小于前面的元素,则序列不为先辈。
如果差分后序列中的元素均大于等于0，说明其符合条件。
所以我们可以利用线段树维护某段区间最小值并且判断最小值是否小于0。
至此，我们就将原问题转化成了线段树区间查询区间修改的模板题。

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#define MAXN 1008600
#define int long long
using namespace std;
int n,m,ch;
int c[MAXN];
int a[MAXN];
struct T{
    int l,r;
    long long val;
}t[MAXN*4];

inline void updata(int node){
    t[node].val=min(t[node<<1].val,t[node<<1|1].val);//维护区间最小值
}
int read(){
   int s = 0,w = 1;
   char ch = getchar();
   while(ch < '0' || ch > '9'){if(ch == '-')w = -1;ch = getchar();}
   while(ch >= '0' && ch <= '9')s = s * 10 + ch - '0',ch = getchar();
   return s * w;
}

inline void build(int l,int r,int node){
    t[node].l=l;
    t[node].r=r;
    if(l==r){
        t[node].val=c[l];
        return;
    }
    int mid=(l+r)/2;
    build(l,mid,node<<1);
    build(mid+1,r,node<<1|1);
    updata(node);
}

inline void change(int p,int node,int k){
    if(t[node].l==t[node].r){
        t[node].val+=k; 
        return;
    }
    
    int mid=(t[node].l+t[node].r)/2;
    if(p<=mid)change(p,node<<1,k);
    else change(p,node<<1|1,k); 
    updata(node);
}


inline long long ask(int l,int r,int node){
    long long ans=0x7fffffff;
    if(l<=t[node].l&&t[node].r<=r){
        return t[node].val;
    }
    int mid=(t[node].l+t[node].r)/2;
    if(l<=mid)ans=min(ans,ask(l,r,node<<1));
    if(r>mid)ans=min(ans,ask(l,r,node<<1|1));
    return ans;
}

signed main(){
    scanf("%d%d",&n,&m);

    for(int i=1;i<=n;i++){
        cin>>a[i];
    }

    for(int i=1;i<=n;i++){
       c[i]=a[i]-a[i-1];
    }

    int l,r,x,y;
    build(1,n+1,1);

    for(int i=1;i<=m;i++){
        ch=read();l=read();r=read();//若用cin会TLE

        if(ch==1){
            x=read();
            change(l,1,x);
            change(r+1,1,-x);
        }

        if(ch==2){
            if(ask(l+1,r,1)>=0)cout<<"Yes"<<"\n";
            else cout<<"No"<<"\n";
        }
        
    }

    return 0;
}