对于线段树中的每一个非叶子节点[a,b],它的左儿子表示的区间为[a,(a+b)/2],右儿子表示的区间为[(a+b)/2+1,b]。
静态构造数组模拟
const int MAXNODE = 2097152;
const int MAX = 1000003;
struct NODE
{
int value; // 结点对应区间的权值
int left,right; // 区间 [left,right]
}node[MAXNODE];
int father[MAX]; // 每个点(当区间长度为0时,对应一个点)对应的结构体数组下标
【创建线段树(初始化)】:
由于线段树是用二叉树结构储存的,而且是近乎完全二叉树的,所以在这里我使用了数组来代替链表上图中区间上面的红色数字表示了结构体数组中对应的下标。
在完全二叉树中假如一个结点的序号(数组下标)为 n,那么 (二叉树基本关系)
n的父亲为 n/2,
n的另一个兄弟为 n/2*2 或 n/2*2+1
n 的两个孩子为 n*2 (左) n*2+1(右)
void BuildTree(int i,int left,int right) // 为区间[left,right]建立一个以i为根的线段树,i为数组下标,即结点序号
{
node[i].left = left; // 写入第i个结点中的 左区间
node[i].right = right; // 写入第i个结点中的 右区间
node[i].value = 0; // 每个区间初始化为 0
if (left == right) // 当区间长度为 0 时,结束递归
{
father[left] = i; // 能知道某个点对应的序号,为了更新的时候从下往上一直到顶
return;
}
// 该结点往 左孩子的方向 继续建立线段树,线段的划分是二分思想,如果写过二分查找的话这里很容易接受
// 这里将 区间[left,right] 一分为二了
BuildTree(i<<1, left, (int)floor( (right+left) / 2.0));
// 该结点往 右孩子的方向 继续建立线段树
BuildTree((i<<1) + 1, (int)floor( (right+left) / 2.0) + 1, right);
}
【单点更新线段树】:
由于我事先用 father[ ] 数组保存过 每单个结点 对应的下标了,因此我只需要知道第几个点,就能知道这个点在结构体中的位置(即下标)了,这样的话,根据之前已知的基本关系,就只需要直接一路更新上去即可。
void UpdataTree(int ri) // 从下往上更新(注:这个点本身已经在函数外更新过了)
{
if (ri == 1)return; // 向上已经找到了祖先(整个线段树的祖先结点 对应的下标为1)
int fi = ri / 2; // ri 的父结点
int a = node[fi<<1].value; // 该父结点的两个孩子结点(左)
int b = node[(fi<<1)+1].value; // 右
node[fi].value = (a > b)?(a):(b); // 更新这个父结点(从两个孩子结点中挑个大的)
UpdataTree(fi); // 递归更新,由父结点往上找
}