傳送門biu~
可以發現，如果區間[l,r]滿足條件，那麼它的長度為2的子區間一定滿足條件；如果所有長度為2的子區間滿足條件，那麼這個區間也一定滿足條件。所以只需要判斷[l,r]之間是否有不滿足條件的長度為2的子區間即可，用字首和亂搞一下就可以了。

#include<bits/stdc++.h>
#define N 100005
using namespace std;
int n,m,a[N],b[N];
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;++i) scanf("%d",&a[i]);
    for
 
(int i=1;i<n;++i) b[i]=b[i-1]+(a[i]-a[i+1]>1 || a[i]-a[i+1]<-1);
    for(int l,r,i=1;i<=m;++i){
        scanf("%d%d",&l,&r);
        if(l==r || !(b[r-1]-b[l-1])) puts("YES");
        else puts("NO");
    }
    return 0;
}