題目傳送門

枚舉每個點作為最大值的那個點。
然後既然是作為最大值出現的話，那麽這個點就是不需要被減去的，因為如果最小值也在這個區間內的話，2者都減去1，對答案沒有影響，如果是最小值不出現在這個區間內的話，那麽就是變虧了。
然後如果我們枚舉每個點作為起點的話，然後每次都是便利所有的區間，然後用線段樹維護區間加減法，復雜度是n*m*lgn的。
嘗試了一次，然後TLE了。
所以我們可以先把所有的能減去都減去。
然後在從左往右掃描的過程中時，我們每次出現在一條線的左端點的時候，就把這個區間內的刪除還原，離開這個區間的時候，就把這個區間內的數再刪除回去。這樣對於每一段區間最多只有2個刪除，1次增加。總的復雜度是 n + m * lgn。

代碼：

/*
code by: zstu wxk
time: 2019/01/27
*/
#include<bits/stdc++.h>
using namespace std;
#define Fopen freopen("_in.txt","r",stdin); freopen("_out.txt","w",stdout);
#define LL long long
#define ULL unsigned LL
#define fi first
#define se second
#define pb push_back
#define lson l,m,rt<<1
#define
 
 rson m+1,r,rt<<1|1
#define lch(x) tr[x].son[0]
#define rch(x) tr[x].son[1]
#define max3(a,b,c) max(a,max(b,c))
#define min3(a,b,c) min(a,min(b,c))
typedef pair<int,int> pll;
const int inf = 0x3f3f3f3f;
const int _inf = 0xc0c0c0c0;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const LL _INF = 0xc0c0c0c0c0c0c0c0;
const
 
 LL mod =  (int)1e9+7;
const int N = 1e5 + 100;
int Wa(){return rand()%2;}
void Hack(int n){srand(time(0));int hack = 0;for(int j = 1; j <= n; ++j)hack += Wa();if(hack == n)puts("OH No!");}
int n, m;
pll p[N];
int Mn[N<<2], lz[N<<2];
int a[N];
void PushUp(int rt){
    Mn[rt] = min(Mn[rt<<1], Mn[rt<<1|1]);
}
void Build(int l, int r, int rt){
    if(l == r){
        Mn[rt] = a[l];
        return ;
    }
    int m = l+r >> 1;
    Build(lson); Build(rson);
    PushUp(rt);
}
void PushDown(int rt){
    if(lz[rt]){
        lz[rt<<1] += lz[rt];
        lz[rt<<1|1] += lz[rt];
        Mn[rt<<1] += lz[rt];
        Mn[rt<<1|1] += lz[rt];
        lz[rt] = 0;
    }
}
void Update(int L, int R, int C, int l, int r, int rt){
    if(L <= l && r <= R){
        Mn[rt] += C;
        lz[rt] += C;
        return ;
    }
    PushDown(rt);
    int m = l+r >> 1;
    if(L <= m) Update(L,R,C,lson);
    if(m < R)  Update(L,R,C,rson);
    PushUp(rt);
}
vector<int> Lp[N], Rp[N];
void Ac(){
    for(int i = 1; i <= n; ++i)
        scanf("%d", &a[i]);
    Build(1,n,1);
    for(int i = 1; i <= m; ++i){
        scanf("%d%d", &p[i].fi, &p[i].se);
        Lp[ p[i].fi ].pb(p[i].se);
        Rp[ p[i].se ].pb(p[i].fi);
        Update(p[i].fi, p[i].se, -1, 1,n, 1);
    }
    int ans = 0, id;
    for(int i = 1; i <= n; ++i){
        for(int j : Rp[i-1])
            Update(j, i-1, -1, 1, n, 1);
        for(int j : Lp[i])
            Update(i, j, 1, 1, n, 1);
        int tmp = a[i] - Mn[1];
        if(tmp > ans)
            ans = tmp, id = i;
    }
    printf("%d\n", ans);
    int cnt = 0;
    for(int j = 1; j <= m; ++j){
        if(id < p[j].fi || p[j].se < id) cnt++;
    }
    printf("%d\n", cnt);
    for(int j = 1; j <= m; ++j){
        if(id < p[j].fi || p[j].se < id)
            printf("%d ", j);
    }
}
int main(){
    while(~scanf("%d%d", &n, &m)){
        Ac();
    }
    return 0;
}

CF - 1108 E 枚舉上界+線段樹維護