线段树需要开4倍区间大小的数组的原因

struct list
{
	int left;
	int right;
	int _max;
}tree[maxn*4];
如上述代码所示,我们在写线段树的模板时,别人会告诉我们开4倍的数组就不会溢出了,然而原因是什么,现在证明一下

首先线段树是一棵二叉树,最底层有n个叶子节点(n为区间大小)

那么由此可知,此二叉树的高度为,可证

然后通过等比数列求和求得二叉树的节点个数,具体公式为,(x为树的层数,为树的高度+1)

化简可得,整理之后即为(近似计算忽略掉-1)

证毕







你可能感兴趣的:(线段树)