P6812 「MCOI-02」Ancestor 先辈

题目传送门

这个题大力线段树，但是可以偷鸡，就是如果一个序列是先辈的话，那它是严格不下降序列的，那这个放到差分，这个段区间的差分数组都必须大于等于0，否则不是先辈

然后这个区间加法就可以转化为单点修改，也就是修改 $l$ 和 $r+1$ ,此时就真是大力出奇迹了

#include<bits/stdc++.h>
#define int long long 
#define INF 0x3f3f3f3f
using namespace std;
const int N=1e6+10;
int n,m,a[N],op,l,r,k,c[N];
template<class T>inline T &read(T &x){
    bool f=1;x=0;char ch=getchar();
    for(;!isdigit(ch);ch=getchar()) f^=(ch=='-');
    for(;isdigit(ch);ch=getchar()) x=(x<<1)+(x<<3)+(ch^48);
    return f?x:(x=-x);
}
template<typename T,typename...Args>
inline void read(T &first,Args&...args){
    read(first),read(args...);
}
template<class T>inline void write(T x){
    if(x<0) putchar('-'),x=-x;
    if(x>9) write(x/10);    
    putchar((x%10)^48);
}
struct Segtree{
    struct node{
        int l,r,minn;
    }tre[N<<2];
    inline void pushup(int root){
        tre[root].minn=min(tre[root<<1].minn,tre[root<<1|1].minn);
    }
    inline void build(int root,int l,int r){
        tre[root].l=l,tre[root].r=r,tre[root].minn=INF;
        if(l==r){
            tre[root].minn=c[l];
            return;
        }
        int mid=l+r>>1;
        build(root<<1,l,mid),build(root<<1|1,mid+1,r);
        pushup(root);
    }
    inline void update(int root,int num,int k){
        if(tre[root].l==tre[root].r){
            tre[root].minn+=k;
            return ;
        }
        int mid=tre[root].l+tre[root].r>>1;
        if(num<=mid) update(root<<1,num,k);
        else update(root<<1|1,num,k);
        pushup(root);
    }
    inline int query(int root,int l,int r){
        if(l<=tre[root].l&&tre[root].r<=r) return tre[root].minn;
        int mid=tre[root].l+tre[root].r>>1;
        int ans=INF;
        if(l<=mid) ans=min(ans,query(root<<1,l,r));
        if(r>mid) ans=min(ans,query(root<<1|1,l,r));
        return ans;
    }
}T;
signed main(){
    read(n,m);
    for(int i=1;i<=n;++i) read(a[i]);
    for(int i=1;i<=n;++i) c[i]=a[i]-a[i-1];
    T.build(1,1,n);
    for(int i=1;i<=m;++i){
        read(op,l,r);
        if(op==1){
            read(k);
            T.update(1,l,k);
            T.update(1,r+1,-k); 
        }else puts((T.query(1,l+1,r))>=0?("Yes"):("No"));
    }
    return 0;
}