Acwing 1264. 动态求连续区间和(线段树版)

 

线段树所有叶子节点必然在最下面的两层中。考虑倒数第二层的节点，其个数一定小于 n，那么从倒数第二层一直到根节点的节点数一定小于 2n，最后一层的节点数最多是是倒数第二层的两倍，那么也小于 2n，所以总共小于 4n。

#include <iostream>
#include <algorithm>
#include <cstring>
#include <cstdio>

using namespace std;

const int N = 100010;

int n, m;
int w[N];

struct Node
{
    int l, r;
    int sum;
}tr[N * 4];

void pushup(int u)
{
    tr[u].sum = tr[u << 1].sum + tr[u << 1 | 1].sum;
}

void build(int u, int l, int r)
{
    if (l == r) tr[u] = {l, r, w[r]};
    else
    {
        // 每次递归都是初始化线段树中的一个新节点，每个新节点都要初始化区间的左右端点。
        tr[u] = {l, r};
        int mid = l + r >> 1;
        build(u << 1, l, mid), build(u << 1 | 1, mid + 1, r);
        pushup(u);
    }
}

int query(int u, int l, int r)
{
    if (tr[u].l >= l && tr[u].r <= r) return tr[u].sum;
    int mid = tr[u].l + tr[u].r >> 1;
    int sum = 0;
    if (l <= mid) sum = query(u << 1, l, r);
    if (r > mid) sum += query(u << 1 | 1, l, r);
    return sum;
}

void modify(int u, int x, int v)
{
    if (tr[u].l == tr[u].r) tr[u].sum += v;
    else
    {
        int mid = tr[u].l + tr[u].r >> 1;
        if (x <= mid) modify(u << 1, x, v);
        else modify(u << 1 | 1, x, v);
        pushup(u);
    }
}

int main()
{
    scanf("%d %d", &n, &m);
    for (int i = 1; i <= n; ++ i) scanf("%d", &w[i]);
    build(1, 1, n);
    
    int k, a, b;
    while (m --)
    {
        scanf("%d %d %d", &k, &a, &b);
        if (k == 0) printf("%d\n", query(1, a, b));
        else modify(1, a, b);
    }
    
    return 0;
}

疑问：线段树query中为什么区间要不变啊？写成

if(l<=mid)sum=query(u<<1,l,mid);
if(r>mid)sum+=query(u<<1|1,mid+1,r);为什么会错？

原因：当l <= mid时，r也可能比mid小，此时如果把r更新成mid，那就会错误地把要查询的区间变长。