线段树

线段树是一种用于处理区间数据更新和查询的数据结构,由Jon Louis Bentley于1977年发明。它能将区间查询和单点更新的时间复杂度降低到O(logn)。通过预处理,线段树可以实现区间和的快速计算,同时支持高效地处理元素修改。文章介绍了线段树的基本原理、操作和代码实现,并对比了线段树与树状数组的区别。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

线段树

线段树(英语:Segment tree)是一种二叉树形数据结构,1977年由Jon Louis Bentley发明[1],用以储存区间或线段,并且允许快速查询结构内包含某一点的所有区间。

线段树常常用对区间数据更新和查询,主要的作用就是体现在对区间的处理。

最常见就是这样一个问题:

现在有一个长度为 n n 的数组a[i],给定一个区间 i i ~j,返回这个区间的元素 a[i] a [ i ] ~ a[j] a [ j ] 的和 sum s u m

最直接的方式便是对该区间的元素直接累加,这样的时间复杂度为 O(ji+1) O ( j − i + 1 ) ;然而还有一种简单的方式,可以将复杂度降为 O(1) O ( 1 ) ,但是这种方式需要预处理一下原数组。

首先令 sum[i] s u m [ i ] 表示区间 0 0 ~i之间的元素的和,预处理的时候遍历原数组得到这个 sum s u m 数组,
然后,对于每一次区间和的查询 i i j,则通过 sum=sum[j]sum[i1] s u m = s u m [ j ] − s u m [ i − 1 ] 等式直接计算得出。

上述第二种方式固然高效,但是当我们修改了原数组的某一个元素 a[k] a [ k ] ,那么 sum s u m 数组也要相应的被修改,且修改的时间复杂度为 O(n) O ( n ) 。那么是否存在更好的算法,能把这个 O(n) O ( n ) 优化到更低呢?

以上的问题属于典型的单点更新,区间查询的问题,此类问题很适合使用线段树这个数据结构来解决,线段树可以将上面由于某个元素更新,而需要更新 sum s u m 数组的 O(n) O ( n ) ,降低到 O(logn) O ( l o g n )

线段树将原来数组的 n n 个区间(每个元素构成一个区间),划分成了更多的区间(约4n个区间),每个区间作为一棵二叉树的节点,且满足如下条件:

  • 叶节点的区间大小为1
  • 同一层的区间的交集为空
  • 父节点的区间等于左孩子节点代表的区间与右孩子代表的区间的并集

因此,线段树其实是一棵二叉树,大致的形状如下:

对于单点修改来说:

因为对单点进行更新后,需要对包含该点的区间进行更新,因此我们希望包含该点的区间尽量少,这样在单点更新后,需要更新的区间就少了很多。通过这种同层的区间交集为空,父节点区间是孩子节点区间的并集的方式,包含某个点的区间数就降为了二叉树的高度 O(logn) O ( l o g n ) ,从而将时间复杂度降下来了。

假设把 a[6]+=7 ,看看哪些区间需要修改?[6],[5,6],[5,7],[1,7],[1,13]这些区间全部都需要+7.其余所有区间都不用动。

对于区间查询来说:

给定一个区间 i i ~j,由于节点区间是孩子节点区间的并集的性质,我们可以从下向上不断的合并区间,这样查询的时间复杂度也是树高 O(logn) O ( l o g n )

下图是对区间 2 2 ~12进行查询的过程:

因此通过线段树,对于这种单点修改和区间查询的时间复杂度都能为降低到 O(logn) O ( l o g n ) ,通过上面的图示,可以发现两种操作都可以使用简洁的递归代码来实现。

代码实现


public class SegmentTree {

    public static void main(String[] args) {
        // TODO Auto-generated method stub
        int[] A = new int[]{1,2,3,4,5,6,7,8,9};
        SegmentTree demo = new SegmentTree(A);

        System.out.println(demo.query(0, 9));
        demo.update(0, 1000);
        System.out.println(demo.query(0, 9));
    }

    int[] A = null;
    int[] sum = null;

    public SegmentTree(int[] A) {
        // TODO Auto-generated constructor stub
        this.A = A;
        sum = new int[A.length << 2];//sum数组大小为原数组的4倍,这个值是根据满二叉树计算出来的;
        //buildTree
        buildSegmentTree(0, A.length-1, 0);
    }

    //构建线段树
    public void buildSegmentTree(int l, int r, int idx) {
        //base case
        if (l == r) {
            sum[idx] = A[l];
            return;
        }
        //递归创建左右线段树
        int m = (l+r) >> 1;
        buildSegmentTree(l, m, ((idx+1) << 1) - 1);//2*(rt+1) - 1
        buildSegmentTree(m+1, r, (idx+1) << 1);//2*(rt+1) 
        sum[idx] = sum[((idx+1) << 1) - 1] + sum[(idx+1) << 1];
    }

    //区间查询
    public int query(int L, int R) {
        return query(L, R, 0, A.length-1, 0);
    }

    private int query(int L, int R, int l, int r, int idx) {
        //base case
        if (L <= l && r <= R) return sum[idx];
        int m = (l + r) >> 1;
        int s = 0;
        if (L <= m) s += query(L, R, l, m,((idx+1) << 1) - 1);
        if (R >= (m + 1)) s += query(L, R, m+1, r, (idx+1) << 1);
        return s;
    }

    //单点更新
    public void update(int idx, int C) {
        update(idx, C, 0, A.length-1, 0);
    }

    private void update(int L,int C, int l, int r, int idx) {
        if (l == r) {
            sum[idx] += C;
            return;
        }

        int m = (l+r) >> 1;
        //判断需要修改的点L落在左子树还是右子树
        if (L <= m) {
            update(L, C, l, m, ((idx+1) << 1) - 1);
        } else {
            update(L, C, m+1, r, (idx+1) << 1);
        }
        //更新当前sum数组的idx节点
        sum[idx] = sum[((idx+1) << 1) - 1] + sum[(idx+1) << 1];
    }
}

除此之外,树状数组和线段树类似,也能完成一些线段树的功能,但是两者存在一些差异,关于树状数组后面继续总结。

References

  1. https://blog.youkuaiyun.com/zearot/article/details/52280189
  2. https://zh.wikipedia.org/wiki/%E7%B7%9A%E6%AE%B5%E6%A8%B9_(%E5%84%B2%E5%AD%98%E5%8D%80%E9%96%93)
  3. 《ACM/ICPC算法训练教程》 余立功
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值