以 P3380 中的树状数组套权值线段树为例，假设值域和序列长度同阶

空间复杂度是这样算的，一个元素会被插到 $\log n$ 棵权值树里面去，一棵权值树中某个元素占用 $\log n$ 的空间，一共 $n$ 个元素，所以是 $n \log ^ 2 n$

但由于树状数组自带小常数+线段树中有大量共用结点，空间常数是很小的，测试了的题目开到 $\dfrac{1}{2}$ 倍空间都可通过。

有没有巨佬能给出这个期望 $\dfrac{1}{2}$ 常数的严格证明，或者构造一组 hack