【CF 1179C】Serge and Dining Room

传送门
感觉自己真的好菜啊，每次都只能想到暴力，怎么办？？？（请各位大佬在线答疑）
要解出这道题，首先得得出2个结论。

1. 对于i < j && b[i] <= b[j]，如果i选的菜>j选的菜，我们可以将2道菜交换一下，显然这是不影响结果的。（该被选的一定会被选，只是先后问题）
2. 第i道菜要想成为答案，就必须满足价值大于i菜的菜的个数>可以买i菜的人的个数。（由1产生）

然后发现2结论的式子其实可以转化为线段树。（嘿嘿嘿 ）我们用1表示菜，-1表示人，这样统计的时候就只用判断其线段树上值是否大于0。

上马！

#include
#include
using namespace std;
const int N = 300002, Limit = 1000000;
int n, m, q, a[N], b[N], st[Limit << 2], la[Limit << 2];
void pushDown(const int u) {
    if(la[u]) {
        la[u << 1] += la[u];
        la[u << 1 | 1] += la[u];
        st[u << 1] += la[u];
        st[u << 1 | 1] += la[u];
        la[u] = 0;
    }
}
void add(const int id, const int l, const int r, const int L, const int R, const int num) {
    if(L <= l && R >= r) {
        la[id] += num;
        st[id] += num;
        return;
    }
    pushDown(id);
    int mid = l + r >> 1;
    if(L <= mid)
        add(id << 1, l, mid, L, R, num);
    if(R > mid)
        add(id << 1 | 1, mid + 1, r, L, R, num);
    st[id] = max(st[id << 1], st[id << 1 | 1]);
}
int ask(const int id, const int l, const int r) {
    if(l == r)
        return l;
    int mid = l + r >> 1;
    pushDown(id);//C
    if(st[id << 1 | 1] > 0)//D
        return ask(id << 1 | 1, mid + 1, r);
    return ask(id << 1, l, mid);
}
int main() {
    int f, x, y;
    scanf("%d %d", &n, &m);
    for(int i = 1; i <= n; i ++) {
        scanf("%d", &a[i]);
        add(1, 1, Limit, 1, a[i], 1);//E
    }
    for(int i = 1; i <= m; i ++) {
        scanf("%d", &b[i]);
        add(1, 1, Limit, 1, b[i], -1);
    }
    scanf("%d", &q);
    while(q --) {
        scanf("%d %d %d", &f, &x, &y);
        if(f == 1) {
            add(1, 1, Limit, 1, a[x], -1);//A
            add(1, 1, Limit, 1, y, 1);
            a[x] = y;
        }
        else {
            add(1, 1, Limit, 1, b[x], 1);
            add(1, 1, Limit, 1, y, -1);
            b[x] = y;
        }
        if(st[1] > 0)//B
            printf("%d\n", ask(1, 1, Limit));
        else
            printf("-1\n");
    }
    return 0;
}

注：
E：为什么是1—a[i]？仔细想想，任何小于等于a[i]的菜都满足加1条件。
A：既然将a[x]的值更改了，前面就不作数了。
B：1为根节点，前面add函数取了max，代表只要有一个可行st[1]就大于0。
C：此处一定将懒标记下放，因为前面可能没下放。
D：为什么先判断右儿子？越右边越大啊。

如有错误，请大佬在评论区指出。谢谢！