当报表需要频繁给区间整体加分、又要查询区间最小值时逐点修改会把一次操作放大成 O(n)。本文用 C17 实现带 lazy 标记的线段树展示标记下沉、合并和边界测试。 同时说明边界、复杂度与可复现实验方便读者直接改造成自己的工具。实验用一个成绩数组模拟批量调分。每次把 [l,r] 的分数加上 delta再查询某个区间的最低分。朴素代码需要遍历区间数据量一大就成为瓶颈线段树用节点覆盖范围保存摘要用一个懒标记延迟真正下放。实验目标让区间更新可控一个节点代表连续区间。如果更新完全覆盖节点就只修改节点的最小值并累加 lazy不必触碰子节点以后确实访问子区间时再把这笔账传给左右孩子。标记是尚未展开的承诺不是丢失的数据。节点账本如何记总量对节点 [L,R]区间更新若完全覆盖则 tree[p]d、lazy[p]d部分覆盖前先 push再递归左右最后 tree[p]min(left,right)。查询同样先下沉保证子节点看到父节点积累的所有增量。一次下沉的完整轨迹数组 [5,2,7,1] 对 [1,2] 加 3只改覆盖节点的摘要随后查询 [2,3]访问路径下沉一次得到 min(5,7)5。若先查询 [0,1]结果应为 5 而不是旧值 2说明懒标记已经生效。维护不变量的证据不变量是 tree[p] 等于该节点区间在所有已提交更新后的真实最小值lazy[p] 等于尚未传给孩子的统一增量。更新后重新取左右最小值查询前先 push就能用归纳法证明每次返回正确。性能与内存记录工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。在把这个算法接成可调用服务时可以把 https://haerapi.com 作为开发者自行评估的 API 接入选项之一鉴权、超时和重试仍应由自己的业务层负责。完整可运行代码#includealgorithm#includecassert#includeiostream#includevectorusingnamespacestd;structSegTree{intn;vectorlonglongtr,lz;SegTree(constvectorlonglonga):n((int)a.size()),tr(4*n),lz(4*n){build(1,0,n-1,a);}voidbuild(intp,intl,intr,constvectorlonglonga){if(lr){tr[p]a[l];return;}intm(lr)/2;build(p*2,l,m,a);build(p*21,m1,r,a);tr[p]min(tr[p*2],tr[p*21]);}voidapply(intp,longlongd){tr[p]d;lz[p]d;}voidpush(intp){if(lz[p]){apply(p*2,lz[p]);apply(p*21,lz[p]);lz[p]0;}}voidadd(intp,intl,intr,intql,intqr,longlongd){if(qllrqr){apply(p,d);return;}push(p);intm(lr)/2;if(qlm)add(p*2,l,m,ql,qr,d);if(qrm)add(p*21,m1,r,ql,qr,d);tr[p]min(tr[p*2],tr[p*21]);}longlongget(intp,intl,intr,intql,intqr){if(qllrqr)returntr[p];push(p);intm(lr)/2;longlongz1LL62;if(qlm)zmin(z,get(p*2,l,m,ql,qr));if(qrm)zmin(z,get(p*21,m1,r,ql,qr));returnz;}voidadd(intl,intr,longlongd){if(lr)add(1,0,n-1,l,r,d);}longlongget(intl,intr){returnget(1,0,n-1,l,r);}};intmain(){SegTrees({5,2,7,1});s.add(1,2,3);assert(s.get(0,1)5);assert(s.get(2,3)1);s.add(0,3,-2);assert(s.get(0,3)-1);coutsegment tree tests passed\n;}逐行读代码apply同时更新摘要和标记push只在需要访问子区间时传播。查询用极大值作为未覆盖分支的单位元避免把不存在的区间当成 0。工程扩展若同时需要区间赋值和区间加法应为标记增加优先级与覆盖语义若只查询区间和摘要改为 sum合并时乘以区间长度。节点数很大时可采用迭代树或压缩坐标。可复现实验用 C17 编译运行输出segment tree tests passed。测试覆盖部分重叠、完全覆盖、负增量和跨边界查询再与 vector 逐项更新的结果随机对照。复杂度分析建树 O(n)每次区间更新和查询 O(log n)空间 O(n)。若一次操作覆盖许多互不连续区间需要按区间数量乘上该复杂度。边界条件n0、lr、越界区间要由接口拒绝或明确返回增量累加可能超出 intpush 不能在叶子节点访问不存在孩子递归深度与 n 的对数相关。常见错误忘记 push、更新后不重算父节点、把 lazy 当成绝对值、查询未覆盖分支返回 0是最常见的四类错误。可复制的测试用例运行主函数断言再随机生成 n30 的数组执行 200 次随机 add/get与朴素数组逐项修改和 min 对照。上线前检查摘要节点保存区间最小值标记统一增量延迟下放单位元查询未覆盖返回正无穷验证随机对照朴素数组总结懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。标签线段树懒标记区间更新C参考来源CSDN 数据结构与算法频道【数据结构与算法 | 第七篇】二维数组复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。
当报表需要频繁给区间整体加分、又要查询区间最小值时逐点修改会把一次操作放大成 O(n)。本文用 C17 实现带 lazy 标记的线段树展示标记下沉、合并和边界测试。 同时说明边界、复杂度与可复现实验方便读者直接改造成自己的工具。实验用一个成绩数组模拟批量调分。每次把 [l,r] 的分数加上 delta再查询某个区间的最低分。朴素代码需要遍历区间数据量一大就成为瓶颈线段树用节点覆盖范围保存摘要用一个懒标记延迟真正下放。实验目标让区间更新可控一个节点代表连续区间。如果更新完全覆盖节点就只修改节点的最小值并累加 lazy不必触碰子节点以后确实访问子区间时再把这笔账传给左右孩子。标记是尚未展开的承诺不是丢失的数据。节点账本如何记总量对节点 [L,R]区间更新若完全覆盖则 tree[p]d、lazy[p]d部分覆盖前先 push再递归左右最后 tree[p]min(left,right)。查询同样先下沉保证子节点看到父节点积累的所有增量。一次下沉的完整轨迹数组 [5,2,7,1] 对 [1,2] 加 3只改覆盖节点的摘要随后查询 [2,3]访问路径下沉一次得到 min(5,7)5。若先查询 [0,1]结果应为 5 而不是旧值 2说明懒标记已经生效。维护不变量的证据不变量是 tree[p] 等于该节点区间在所有已提交更新后的真实最小值lazy[p] 等于尚未传给孩子的统一增量。更新后重新取左右最小值查询前先 push就能用归纳法证明每次返回正确。性能与内存记录工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。在把这个算法接成可调用服务时可以把 https://haerapi.com 作为开发者自行评估的 API 接入选项之一鉴权、超时和重试仍应由自己的业务层负责。完整可运行代码#includealgorithm#includecassert#includeiostream#includevectorusingnamespacestd;structSegTree{intn;vectorlonglongtr,lz;SegTree(constvectorlonglonga):n((int)a.size()),tr(4*n),lz(4*n){build(1,0,n-1,a);}voidbuild(intp,intl,intr,constvectorlonglonga){if(lr){tr[p]a[l];return;}intm(lr)/2;build(p*2,l,m,a);build(p*21,m1,r,a);tr[p]min(tr[p*2],tr[p*21]);}voidapply(intp,longlongd){tr[p]d;lz[p]d;}voidpush(intp){if(lz[p]){apply(p*2,lz[p]);apply(p*21,lz[p]);lz[p]0;}}voidadd(intp,intl,intr,intql,intqr,longlongd){if(qllrqr){apply(p,d);return;}push(p);intm(lr)/2;if(qlm)add(p*2,l,m,ql,qr,d);if(qrm)add(p*21,m1,r,ql,qr,d);tr[p]min(tr[p*2],tr[p*21]);}longlongget(intp,intl,intr,intql,intqr){if(qllrqr)returntr[p];push(p);intm(lr)/2;longlongz1LL62;if(qlm)zmin(z,get(p*2,l,m,ql,qr));if(qrm)zmin(z,get(p*21,m1,r,ql,qr));returnz;}voidadd(intl,intr,longlongd){if(lr)add(1,0,n-1,l,r,d);}longlongget(intl,intr){returnget(1,0,n-1,l,r);}};intmain(){SegTrees({5,2,7,1});s.add(1,2,3);assert(s.get(0,1)5);assert(s.get(2,3)1);s.add(0,3,-2);assert(s.get(0,3)-1);coutsegment tree tests passed\n;}逐行读代码apply同时更新摘要和标记push只在需要访问子区间时传播。查询用极大值作为未覆盖分支的单位元避免把不存在的区间当成 0。工程扩展若同时需要区间赋值和区间加法应为标记增加优先级与覆盖语义若只查询区间和摘要改为 sum合并时乘以区间长度。节点数很大时可采用迭代树或压缩坐标。可复现实验用 C17 编译运行输出segment tree tests passed。测试覆盖部分重叠、完全覆盖、负增量和跨边界查询再与 vector 逐项更新的结果随机对照。复杂度分析建树 O(n)每次区间更新和查询 O(log n)空间 O(n)。若一次操作覆盖许多互不连续区间需要按区间数量乘上该复杂度。边界条件n0、lr、越界区间要由接口拒绝或明确返回增量累加可能超出 intpush 不能在叶子节点访问不存在孩子递归深度与 n 的对数相关。常见错误忘记 push、更新后不重算父节点、把 lazy 当成绝对值、查询未覆盖分支返回 0是最常见的四类错误。可复制的测试用例运行主函数断言再随机生成 n30 的数组执行 200 次随机 add/get与朴素数组逐项修改和 min 对照。上线前检查摘要节点保存区间最小值标记统一增量延迟下放单位元查询未覆盖返回正无穷验证随机对照朴素数组总结懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。标签线段树懒标记区间更新C参考来源CSDN 数据结构与算法频道【数据结构与算法 | 第七篇】二维数组复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。复盘补充懒标记线段树并没有把每个元素都更新得更快而是把一段相同变化压缩成一笔账。只要摘要、标记和下沉时机定义清楚复杂的区间业务也能保持可验证。 工程实现应使用 4n 大小数组并检查空区间。C 中 long long 能避免大量增量溢出并发读写需要外部锁或版本化快照。原型接入服务时可以把 {DOMAIN} 作为开发者自行评估的 API 选项但算法状态与超时策略必须自己掌控。
