万恶的柯怡（可持久化lazy模板）

万恶的柯怡

题目链接

题意就是一个在线的区间修改区间求和。但是依数据范围看，如果我们想用线段树解决这个问题就得用动态开点的线段树，那么这里涉及到区间修改，需要使用 $lazy$ 标记，但是如果是动态开点，又有 $push\_down$ 的话，就可能得在 $push\_down$ 中开点，这样可能空间复杂度不好把控，所以我们就有了可持久化的 $lazy$ 。

我觉得看代码更加好理解。如下，我们可以把落到这个区间的更新数据分成“穿过”和“被祖先拦截”两种，那么对于 $lazy$ 的更新就和正常的区间更新的线段树一样，说白了 $lazy$ 的部分就是被祖先拦截的数据，和普通区间修改的线段树可以一样去理解。那么只不过对于其穿过的数据，我们就进行实时更新就好。

void update(int &rt, ll tl, ll tr, ll l, ll r, ll x) {
    if (!rt) rt = ++cnt;
    tree[rt] += (min(tr, r) - max(tl, l) + 1) * x;
    if (l <= tl && tr <= r) {
        lazy[rt] += x;
        return ;
    }
    int mid = tl + tr >> 1;
    if (mid >= l) update(lson[rt], tl, mid, l, r, x);
    if (mid < r) update(rson[rt], mid + 1, tr, l, r, x);
}

那么对于询问，每个区间的实际值就等于穿过它的加上被祖先拦截的，那么拦截的我们一直由祖先节点的 $lazy$ 累加下来，最后再加上穿过它的，就是实际值了。

ll query(int rt, ll tl, ll tr, ll l, ll r) {
    if (!rt) return 0;
    if (l <= tl && tr <= r) return tree[rt];
    ll sum = (min(tr, r) - max(tl, l) + 1) * lazy[rt];
    int mid = tl + tr >> 1;
    if (mid >= l) sum += query(lson[rt], tl, mid, l, r);
    if (mid < r) sum += query(rson[rt], mid + 1, tr, l, r);
    return sum;
}

$完整代码$

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;

const int N = 1e5 + 2;
const ll mod = 19980105;
const ll limit = 1e9;

ll tree[N << 6], lazy[N << 6];
int root, cnt, lson[N << 6], rson[N << 6];

void init() {
    memset(tree + 1, 0, cnt * sizeof(ll));
    memset(lazy + 1, 0, cnt * sizeof(ll));
    memset(lson + 1, 0, cnt * sizeof(int));
    memset(rson + 1, 0, cnt * sizeof(int));
    root = cnt = 0;
}

void update(int &rt, ll tl, ll tr, ll l, ll r, ll x) {
    if (!rt) rt = ++cnt;
    tree[rt] += (min(tr, r) - max(tl, l) + 1) * x;
    if (l <= tl && tr <= r) {
        lazy[rt] += x;
        return ;
    }
    int mid = tl + tr >> 1;
    if (mid >= l) update(lson[rt], tl, mid, l, r, x);
    if (mid < r) update(rson[rt], mid + 1, tr, l, r, x);
}

ll query(int rt, ll tl, ll tr, ll l, ll r) {
    if (!rt) return 0;
    if (l <= tl && tr <= r) return tree[rt];
    ll sum = (min(tr, r) - max(tl, l) + 1) * lazy[rt];
    int mid = tl + tr >> 1;
    if (mid >= l) sum += query(lson[rt], tl, mid, l, r);
    if (mid < r) sum += query(rson[rt], mid + 1, tr, l, r);
    return sum;
}

int main() {
#ifndef ONLINE_JUDGE
    freopen("in.txt", "r", stdin);
    freopen("out.txt", "w", stdout);
#endif
    int T;
    scanf("%d", &T);
    while(T--) {
        init();
        int n;
        ll res = 0;
        scanf("%d", &n);
        while(n--) {
            ll ul, ur, l, r;
            ll x;
            scanf("%lld%lld%lld%lld%lld", &ul, &ur, &x, &l, &r);
            ll tmp = res % mod;
            ul ^= tmp; ur ^= tmp; l ^= tmp; r ^= tmp;
            if (ul > ur) swap(ul, ur);
            if (l > r) swap(l, r);
            update(root, 0, limit, ul, ur, x);
            printf("%lld\n", res = query(root, 0, limit, l, r));
        }
    }
}