BZOJ3065 带插入区间K小值

3065: 带插入区间K小值

Time Limit: 60 Sec  Memory Limit: 512 MB

Description

从前有n只跳蚤排成一行做早操，每只跳蚤都有自己的一个弹跳力a[i]。跳蚤国王看着这些跳蚤国欣欣向荣的情景，感到非常高兴。这时跳蚤国王决定理性愉悦一下，查询区间k小值。他每次向它的随从伏特提出这样的问题: 从左往右第x个到第y个跳蚤中，a[i]第k小的值是多少。
这可难不倒伏特，他在脑袋里使用函数式线段树前缀和的方法水掉了跳蚤国王的询问。
这时伏特发现有些跳蚤跳久了弹跳力会有变化，有的会增大，有的会减少。
这可难不倒伏特，他在脑袋里使用树状数组套线段树的方法水掉了跳蚤国王的询问。（orz 主席树）
这时伏特发现有些迟到的跳蚤会插入到这一行的某个位置上，他感到非常生气，因为……他不会做了。
请你帮一帮伏特吧。
快捷版题意：带插入、修改的区间k小值在线查询。

Input

第一行一个正整数n，表示原来有n只跳蚤排成一行做早操。
第二行有n个用空格隔开的非负整数，从左至右代表每只跳蚤的弹跳力。
第三行一个正整数q，表示下面有多少个操作。
下面一共q行，一共三种操作对原序列的操作：（假设此时一共m只跳蚤）
1. Q x y k: 询问从左至右第x只跳蚤到从左至右第y只跳蚤中，弹跳力第k小的跳蚤的弹跳力是多少。
    (1 <= x <= y <= m, 1 <= k <= y - x + 1)
2. M x val: 将从左至右第x只跳蚤的弹跳力改为val。
    (1 <= x <= m)
3. I x val: 在从左至右第x只跳蚤的前面插入一只弹跳力为val的跳蚤。即插入后从左至右第x只跳蚤是我刚插入的跳蚤。
    (1 <= x <= m + 1)

为了体现在线操作，设lastAns为上一次查询的时候程序输出的结果，如果之前没有查询过，则lastAns = 0。
则输入的时候实际是：
Q _x _y _k ------> 表示 Q _x^lastAns _y^lastAns _k^lastAns
M _x _val  ------> 表示 M _x^lastAns _val^lastAns
I _x _val  ------> 表示 I _x^lastAns _val^lastAns
简单来说就是操作中输入的整数都要异或上一次询问的结果进行解码。

(祝Pascal的同学早日转C++，就不提供pascal版的描述了。)

Output

对于每个询问输出回答，每行一个回答。

 

Sample Input

10
10 5 8 28 0 19 2 31 1 22
30
I 6 9
M 1 11
I 8 17
M 1 31
M 6 26
Q 2 7 6
I 23 30
M 31 7
I 22 27
M 26 18
Q 26 17 31
I 5 2
I 18 13
Q 3 3 3
I 27 19
Q 23 23 30
Q 5 13 5
I 3 0
M 15 27
Q 0 28 13
Q 3 29 11
M 2 8
Q 12 5 7
I 30 19
M 11 19
Q 17 8 29
M 29 4
Q 3 0 12
I 7 18
M 29 27

Sample Output

28
2
31
0
14
15
14
27
15
14

HINT

此题作为一个小小的研究来搞吧～做法有很多～不知道这题究竟有多少种做法。

请自觉O(log^2n)，我故意卡块状链表，块链A了的请受我深情一拜……

A掉的同学请在Discuss里面简要说下自己的做法吧～

原序列长度 <= 35000

插入个数 <= 35000，修改个数 <= 70000，查询个数 <= 70000  ,0 <= 每时每刻的权值 <= 70000

由于是OJ上的题，所以数据无梯度。为了防止卡OJ，本题只有4组数据。

---

这是一道SB数据结构，替罪羊套权值线段树可以解决，膜拜块链与划分树神犇Orz

先说一个卡oj的故事：从前有只菜鸡，他觉得自己的写法十分优秀，但是总会RE，对比了hzwer的写法之后，他很好奇自己的写法为啥开不下结点，于是他在为bzoj贡献了十几发RE之后，发现自己重建替罪羊时忘了回收主席树了，然后，就没有然后了

惨像，已使我目不忍视了。。。

好吧，替罪羊其实很简单，没有任何难度，就是不平衡就重建，如下

inline bool isbad(int rt) {
	return sz[rt] * alpha < max(sz[t[rt].l], sz[t[rt].r]);
}

alpha是一个简单粗暴的常数，0.6 - 0.7 足矣，当重建复杂度较大时0.7可以再大一点，但是到0.8就已经很不平衡了

替罪羊维护了整个序列，每个结点对应一只跳蚤，这个结点的线段树存它及它的子树的所有跳蚤的权值线段树，如何提取\( [x,y] \)这个区间呢？先考虑如何提取\( [1, x] \)这个区间

void dfs_part(int rt, int pos) {
	if (pos == 0) return ;
	if (pos == sz[t[rt].l]) {
		p[++pcnt] = Pnode(1, root[t[rt].l]);
	} else if (pos > sz[t[rt].l]) {
		p[++pcnt] = Pnode(1, root[rt]);
		p[++pcnt] = Pnode(-1, root[t[rt].r]);
		dfs_part(t[rt].r, pos - sz[t[rt].l] - 1);
	} else {
		dfs_part(t[rt].l, pos);
	}
}

然后就没有然后了，插入询问都是\( n\log^{2}n \)注意询问时先提取所有区间然后再直接二分

---

 

#include<bits/stdc++.h>
using namespace std;
template <class _T> inline void read(_T &_x) {
    int _t; bool flag = false;
    while ((_t = getchar()) != '-' && (_t < '0' || _t > '9')) ;
    if (_t == '-') _t = getchar(), flag = true; _x = _t - '0';
    while ((_t = getchar()) >= '0' && _t <= '9') _x = _x * 10 + _t - '0';
    if (flag) _x = -_x;
}
const int maxn = 70010;
struct Tnode {
    int v, l, r;
};
namespace T {
    Tnode t[maxn * 400];
    int st[maxn * 400], top, tot;
    inline int newnode() {
        if (!top) st[top++] = ++tot;
        int cur = st[--top];
        t[cur].v = t[cur].l = t[cur].r = 0;
        return cur;
    }
    void remove(int rt) {
        if (!rt) return ;
        remove(t[rt].l), remove(t[rt].r);
        st[top++] = rt;
    }
    int merge(int a, int b) {
        if (!a && !b) return 0;
        int cur = newnode();
        t[cur].v = t[a].v + t[b].v;
        t[cur].l = merge(t[a].l, t[b].l);
        t[cur].r = merge(t[a].r, t[b].r);
        return cur;
    }
    void insert(int &rt, int l, int r, int pos, int val) {
        if (!rt) rt = newnode(); t[rt].v += val;
        if (l == r) return ;
        int mid = (l + r) >> 1;
        if (pos <= mid) insert(t[rt].l, l, mid, pos, val);
        else insert(t[rt].r, mid + 1, r, pos, val);
        if (!t[rt].v) remove(rt), rt = 0;
    }
}
namespace S {
    const double alpha = 0.7;
    Tnode t[maxn * 2];
    int st[maxn * 2], top, tot;
    int root[maxn * 2], sz[maxn * 2]; //root for segtree
    int Root, v[maxn * 2], cnt, badroot; //Root of Scapegoat
    inline int newnode() {
        if (!top) st[top++] = ++tot;
        int cur = st[--top];
        t[cur].v = t[cur].l = t[cur].r = 0;
        return cur;
    }
    void remove(int rt) {
        if (!rt) return ;
        remove(t[rt].l), remove(t[rt].r);
        T::remove(root[rt]);
        st[top++] = rt;
    }
    inline bool isbad(int rt) {
        return sz[rt] * alpha < max(sz[t[rt].l], sz[t[rt].r]);
    }
    void print(int rt) {
        if (!rt) return ;
        print(t[rt].l);
        cout << t[rt].v << ' ' ;
        print(t[rt].r);
    }
    void Print() {
        cout << "Seq: " ; print(Root);
        cout << endl;
    }
    void insert(int &rt, int pos, int val) { // insert val after pos
        if (!rt) rt = newnode(), sz[rt] = 0, t[rt].v = val;
        ++sz[rt];
        T::insert(root[rt], 0, maxn, val, 1);
        if (sz[rt] != 1) {
            if (pos <= sz[t[rt].l]) insert(t[rt].l, pos, val);
            else insert(t[rt].r, pos - sz[t[rt].l] - 1, val);
            if (isbad(rt)) badroot = rt;
        }
    }
    void dfs_node(int rt) {
        if (!rt) return ;
        dfs_node(t[rt].l);
        v[++cnt] = t[rt].v;
        dfs_node(t[rt].r);
    }
    void build(int &rt, int l, int r) {
        rt = newnode();
        int mid = (l + r) >> 1;
        t[rt].v = v[mid], sz[rt] = r - l + 1;
        if (l < mid) build(t[rt].l, l, mid - 1);
        if (mid < r) build(t[rt].r, mid + 1, r);
        root[rt] = T::merge(root[t[rt].l], root[t[rt].r]);
        T::insert(root[rt], 0, maxn, t[rt].v, 1);
    }
    void rebuild(int &rt) {
        cnt = 0, dfs_node(rt);
        remove(rt);
        build(rt, 1, cnt);
    }
    void init(int n) {
        for (int i = 1; i <= n; ++i) read(v[i]);
        build(Root, 1, n);
    }
    void Insert(int pos, int val) { // insert before pos & rebuild
        //printf("Insert %d before position %d\n", val, pos);
        badroot = 0;
        insert(Root, pos - 1, val);
        if (badroot) rebuild(badroot);
    }
    int change(int &rt, int pos, int val) {
        int ret = -1;
        if (pos == sz[t[rt].l] + 1) {
            ret = t[rt].v, t[rt].v = val;
            goto Modify_part;
        }
        if (pos <= sz[t[rt].l]) ret = change(t[rt].l, pos, val);
        else ret = change(t[rt].r, pos - sz[t[rt].l] - 1, val);
        Modify_part:T::insert(root[rt], 0, maxn, val, 1),
                    T::insert(root[rt], 0, maxn, ret, -1);
        return ret;
    }
    void Change(int pos, int val) {
        //printf("Change position %d's value to %d\n", pos, val);
        change(Root, pos, val);
    }
    struct Pnode {
        int v, rt;
        Pnode() {}
        Pnode(int a, int b):v(a), rt(b) {}
    }p[maxn * 2];
    int pcnt;
    void dfs_part(int rt, int pos) {
        if (pos == 0) return ;
        if (pos == sz[t[rt].l]) {
            p[++pcnt] = Pnode(1, root[t[rt].l]);
        } else if (pos > sz[t[rt].l]) {
            p[++pcnt] = Pnode(1, root[rt]);
            p[++pcnt] = Pnode(-1, root[t[rt].r]);
            dfs_part(t[rt].r, pos - sz[t[rt].l] - 1);
        } else {
            dfs_part(t[rt].l, pos);
        }
    }
    int Query(int l, int r, int k) {
        //printf("Query %d%s smallest in range [%d, %d]\n", k, k%10 == 1 ? "st" : (k%10 == 2 ? "nd" : (k%10 == 3 ? "rd" : "th")), l, r);
        pcnt = 0;
        dfs_part(Root, l - 1);
        for (int i = 1; i <= pcnt; ++i) p[i].v = -p[i].v;
        dfs_part(Root, r);
        int L = 0, R = maxn, mid, totv;
        while (L < R) {
            mid = (L + R) >> 1, totv = 0;
            for (int i = 1; i <= pcnt; ++i) totv += p[i].v * T::t[T::t[p[i].rt].l].v;
            //cout << mid << ' ' << tot << endl;
            if (totv >= k) {
                for (int i = 1; i <= pcnt; ++i) p[i].rt = T::t[p[i].rt].l;
                R = mid;
            } else {
                for (int i = 1; i <= pcnt; ++i) p[i].rt = T::t[p[i].rt].r;
                k -= totv, L = mid + 1;
            }
        }
        return L;
    }
}
using S::Print;
int n, q;
int main() {
    //freopen("3065.in", "r", stdin);
    //freopen("3065.out", "w", stdout);
    read(n);
    S::init(n);
    //Print();
    read(q);
    char op[20];
    int lastans = 0;
    for (int i = 1, a, b, c; i <= q; ++i) {
        scanf("%s", op);
        switch (op[0]) {
            case 'Q':
                read(a), read(b), read(c);
                a ^= lastans, b ^= lastans, c ^= lastans;
                printf("%d\n", lastans = S::Query(a, b, c));
                break;
            case 'M':
                read(a), read(b);
                a ^= lastans, b ^= lastans;
                S::Change(a, b);
                break;
            case 'I':
                read(a), read(b);
                a ^= lastans, b ^= lastans;
                S::Insert(a, b);
                break;
        }
        //Print();
    }
    return 0;
}