【线段树】Gym101620I Intrinsic Interval

$Source:$2017-2018 ACM-ICPC, Central Europe Regional Contest (CERC 17)
$Problem:$$n=1e5$的全排列。定义一个区间是好区间当区间内的值域是连续的，即$mx-mn=R-L$。$m$个查询$[l_i,r_i]$，求一个长度最小的好区间$[L,R]$使得$L\le l_i,r_i\le R$。
$Idea:$注意到最小的能包裹的好区间显然是唯一，两个好区间的交必定是好区间。考虑从左往右扫一遍，对于当前的新增的右端点，线段树维护前面的所有左端点能否和当前右端点形成好区间，即值域是否连续。对于询问按照左端点从大到小排序，依次查询是否存在最大的左端点满足，否则扫描线继续。
$Code:$

#include<bits/stdc++.h>
using namespace std;

#define I inline
#define lc o<<1
#define rc o<<1|1
#define fi first
#define se second
#define pb push_back
typedef pair<int, int> PII;

const int N = 1e5+10;

I namespace segtree {
    int ql, qr, _L, _R;
    struct Node{ int l, r, ad, pos, mx; } T[N<<2];
    I void add(int o, int d) { T[o].ad += d; T[o].mx += d; }
    I void pushup(int o) {
        T[o].mx = max(T[lc].mx, T[rc].mx);
        T[o].pos = T[rc].mx>=T[lc].mx?T[rc].pos:T[lc].pos;
    }
    I void pushdown(int o) {
        if(T[o].ad) { add(lc, T[o].ad), add(rc, T[o].ad); T[o].ad = 0; }
    }
    void build(int o, int l, int r) {
        if((T[o].l=l) == (T[o].r=r)) {
            T[o].pos = T[o].mx = l;
            return;
        }
        int mid = l+r>>1;
        build(lc, l, mid); build(rc, mid+1, r);
        pushup(o);
    }
    void update(int o = 1) {
        if(ql<=T[o].l && qr>=T[o].r) { add(o, 1); return; }
        pushdown(o);
        int mid = T[o].l+T[o].r>>1;
        if(ql <= mid) update(lc); if(qr > mid) update(rc);
        pushup(o);
    }
    void query(int o = 1) {
        if(ql<=T[o].l && qr>=T[o].r) {
            if(T[o].mx >= _R) {
                _R = T[o].mx;
                _L = T[o].pos;
            }
            return;
        }
        pushdown(o);
        int mid = T[o].l+T[o].r>>1;
        if(ql <= mid) query(lc); if(qr > mid) query(rc);
    }
}

int a[N], p[N];
PII ans[N];
vector<PII> G[N];
set<PII> S;

I bool ok(PII t, int R) {
    ql = 1, qr = -t.fi, _R = -1;
    query();
    if(_R == R) {
        ans[t.se].fi = _L;
        ans[t.se].se = _R;
        return true;
    }
    return false;
}

I void work() {
    int n; scanf("%d", &n);
    for(int i = 1; i <= n; i++) {
        scanf("%d", a+i);
        p[a[i]] = i;
    }
    build(1, 1, n);
    int m; scanf("%d", &m);
    for(int i = 0; i < m; i++) {
        int l, r;
        scanf("%d%d", &l, &r);
        G[r].pb({-l, i});
    }
    for(int i = 1; i <= n; i++) {
        for(PII &x:G[i]) S.insert(x);
        ql = 1, qr = p[a[i]-1];
        if(a[i]>1 && qr<=i) update();
        ql = 1, qr = p[a[i]+1];
        if(a[i]<n && qr<=i) update();
        while(!S.empty()) {
            auto it = S.begin();
            if(ok(*it, i)) S.erase(it);
            else break;
        }
    }
    assert(S.empty());
    for(int i = 0; i < m; i++) {
        printf("%d %d\n", ans[i].fi, ans[i].se);
    }
}

int main() {
    work();
    return 0;
}