等经典的RMQ问题上有着对数时间的优越表现。
线段树又称"区间树”,在每个节点上保存一个区间,当然区间的划分采用折半的思想,叶子节点只保存一个值,也叫单元节点,所
以最终的构造就是一个平衡的二叉树,拥有CURD的O(lgN)的时间。
从图中我们可以清楚的看到[0-10]被划分成线段的在树中的分布情况,针对区间[0-N],最多有2N个节点,由于是平衡二叉树的形
式也可以像堆那样用数组来玩,不过更加耗费空间,为最多4N个节点,在针对RMQ的问题上,我们常常在每个节点上增加一些sum,
max,min等变量来记录求得的累加值,当然你可以理解成动态规划的思想,由于拥有logN的时间,所以在RMQ问题上比数组更加优美。
1:在节点中定义一些附加值,方便我们处理RMQ问题。
前面我也说了,构建有两种方法,数组的形式或者链的形式,各有特点,我就采用后者,时间为O(N)。
在线段树中,区间查询还是有点小麻烦的,存在三种情况。
① 完全包含:也就是节点的线段范围完全在查询区间的范围内,这说明我们要么到了“单元节点",要么到了一个子区间,这种情况
就是我找到了查询区间的某一个子区间,直接累积该区间值就可以了。
② 左交集: 这种情况我们需要到左子树去遍历。
③右交集: 这种情况我们需要到右子树去遍历。
比如说:我要查询Sum[4-8]的值,最终会成为:Sum总=Sum[4-4]+Sum[5-5]+Sum[6-8],时间为log(N)。
这个操作跟树状数组中的更新操作一样,当递归的找到待修改的节点后,改完其值然后在当前节点一路回溯,并且在回溯的过程中一
路修改父节点的附加值直到根节点,至此我们的操作就完成了,复杂度同样为logN。
最后我们做个例子,在2000000的数组空间中,寻找200-3000区间段的sum值,看看他的表现如何。
using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Diagnostics; using System.Threading; using System.IO; namespace ConsoleApplication2 { public class Program { public static void Main() { int[] nums = new int[200 * 10000]; for (int i = 0; i < 10000 * 200; i++) { nums[i] = i; } Tree tree = new Tree(); //将当前数组构建成 “线段树” tree.Build(nums); var watch = Stopwatch.StartNew(); var sum = tree.Query(200, 3000); watch.Stop(); Console.WriteLine("耗费时间:{0}ms, 当前数组有:{1}个数字, 求出Sum=:{2}", watch.ElapsedMilliseconds, nums.Length, sum); Console.Read(); } } public class Tree { #region 线段树的节点 /// <summary> /// 线段树的节点 /// </summary> public class Node { /// <summary> /// 区间左端点 /// </summary> public int left; /// <summary> /// 区间右端点 /// </summary> public int right; /// <summary> /// 左孩子 /// </summary> public Node leftchild; /// <summary> /// 右孩子 /// </summary> public Node rightchild; /// <summary> /// 节点的sum值 /// </summary> public int Sum; /// <summary> /// 节点的Min值 /// </summary> public int Min; /// <summary> /// 节点的Max值 /// </summary> public int Max; } #endregion Node nodeTree = new Node(); int[] nums; #region 根据数组构建“线段树" /// <summary> /// 根据数组构建“线段树" /// </summary> /// <param name="length"></param> public Node Build(int[] nums) { this.nums = nums; return Build(nodeTree, 0, nums.Length - 1); } #endregion #region 根据数组构建“线段树" /// <summary> /// 根据数组构建“线段树" /// </summary> /// <param name="left"></param> /// <param name="right"></param> public Node Build(Node node, int left, int right) { //说明已经到根了,当前当前节点的max,sum,min值(回溯时统计上一层节点区间的值) if (left == right) { return new Node { left = left, right = right, Max = nums[left], Min = nums[left], Sum = nums[left] }; } if (node == null) node = new Node(); node.left = left; node.right = right; node.leftchild = Build(node.leftchild, left, (left + right) / 2); node.rightchild = Build(node.rightchild, (left + right) / 2 + 1, right); //统计左右子树的值(min,max,sum) node.Min = Math.Min(node.leftchild.Min, node.rightchild.Min); node.Max = Math.Max(node.leftchild.Max, node.rightchild.Max); node.Sum = node.leftchild.Sum + node.rightchild.Sum; return node; } #endregion #region 区间查询 /// <summary> /// 区间查询(分解) /// </summary> /// <returns></returns> public int Query(int left, int right) { int sum = 0; Query(nodeTree, left, right, ref sum); return sum; } /// <summary> /// 区间查询 /// </summary> /// <param name="left">查询左边界</param> /// <param name="right">查询右边界</param> /// <param name="node">查询的节点</param> /// <returns></returns> public void Query(Node node, int left, int right, ref int sum) { //说明当前节点完全包含在查询范围内,两点:要么是单元节点,要么是子区间 if (left <= node.left && right >= node.right) { //获取当前节点的sum值 sum += node.Sum; return; } else { //如果当前的left和right 和node的left和right无交集,此时可返回 if (node.left > right || node.right < left) return; //找到中间线 var middle = (node.left + node.right) / 2; //左孩子有交集 if (left <= middle) { Query(node.leftchild, left, right, ref sum); } //右孩子有交集 if (right >= middle) { Query(node.rightchild, left, right, ref sum); } } } #endregion #region 更新操作 /// <summary> /// 更新操作 /// </summary> /// <param name="index"></param> /// <param name="key"></param> public void Update(int index, int key) { Update(nodeTree, index, key); } /// <summary> /// 更新操作 /// </summary> /// <param name="index"></param> /// <param name="key"></param> public void Update(Node node, int index, int key) { if (node == null) return; //取中间值 var middle = (node.left + node.right) / 2; //遍历左子树 if (index >= node.left && index <= middle) Update(node.leftchild, index, key); //遍历右子树 if (index <= node.right && index >= middle + 1) Update(node.rightchild, index, key); //在回溯的路上一路更改,复杂度为lgN if (index >= node.left && index <= node.right) { //说明找到了节点 if (node.left == node.right) { nums[index] = key; node.Sum = node.Max = node.Min = key; } else { //回溯时统计左右子树的值(min,max,sum) node.Min = Math.Min(node.leftchild.Min, node.rightchild.Min); node.Max = Math.Max(node.leftchild.Max, node.rightchild.Max); node.Sum = node.leftchild.Sum + node.rightchild.Sum; } } } #endregion } }