在计算机科学里面，**加权平衡树**（）是一种可以用来实现集合、字典（映射）和序列的平衡树。这些树结构在20世纪70年代被Nievergelt和Reingold作为**有界限的自平衡树**或**BB[α]树**提出。让这些结构普及的是高德纳。

就像其他自平衡树一样，加权平衡树储存的账簿信息可以在树结构被插入和删除操作打乱时，通过平衡结点和操作树旋转来使树结构重新达到平衡。特别的地方是，加权平衡树的每个结点储存这个结点下子树的大小，并且这个结点左右子树的大小保持着某种内在联系。不同于AVL树（储存子树的高度）和红黑树（储存虚构的"颜色"位），加权平衡树储存记账信息的方式是对应用真正有用的属性：一棵树下元素的数量等于它的根的大小，然而这个根的大小是一个用来实现顺序统计树操作的有用数据，也就是说，可以得到一个大小为n的集合下的最大元素或者决定一个顺序结构下一个元素的索引。

加权平衡树在函数程式语言社区下面非常受欢迎以及被用来实现MIT Scheme的集合和映射结构还有Haskell语言的实现。

描述
--

加权平衡树是一种储存子树大小的二叉搜索树。那就是说，一个结点包含以下字段：

* 键（*key*），任何可排序的类型
* 值（*value*，可选，只作映射作用）
* 左子树（*left*），右子树（*right*），结点的指针
* 大小（*size*），整数类型

从定义上来说，树上叶子（没有子结点的元素）的大小（典型地用一个空指针表示）是0。一个内部结点的大小是它的两棵子树的大小，再加一
（size[n] = size[n.left] + size[n.right] + 1）。一个结点的权重取决于它的大小或者等于它的大小，或weight[n] = size[n] + 1。

树旋转
修改树的操作必须使用与AVL树中相同的操作来保证左子树和右子树的大小相互存在某种内在因子α，也就是旋转和两次选择。形式上来说，结点平衡操作如下定义：

如果一个结点满足weight[n.left] ≥ α·weight[n]以及weight[n.right] ≥ α·weight[n]，那么就说这个结点是α加权平衡的。
在这里，α是一个在实现加权平衡树是用来做决定的数值参数。α的值越小，意味着这棵树"更加平衡"，但不是所有的α值都是合适的；Nievergelt和Reingold曾经证明过满足

\alpha < 1 - \frac{1}{\sqrt{2}}
是一个平衡算法成功工作的重要状态。他们往后的工作展示了α的一个下界是2⁄11，但如果使用一个自定义（更加复杂的）的再平衡算法，下界还可以更小。

若平衡被正确实现，一棵含有n个元素的加权平衡树的高度h满足

h \le \log\_{\frac{1}{1-\alpha}} n = \frac{\log\_2 n}{\log\_2 \left( \frac{1}{1-\alpha} \right)} = O(\log n)
加权平衡树n次插入和删除操作中，平衡的次数是线性的，为n。也就是说，加权平衡树的平衡操作均摊开销是恒定的。

引用
--

1. ↑  Tsakalidis, A. K.. Acta Informatica. 1984, **21**: 101. doi:10.1007/BF00289142.
2. ↑  Nievergelt, J.; Reingold, E. M.. SIAM Journal on Computing. 1973, **2**: 33. doi:10.1137/0202005.
3. ↑   本条目引用的公有领域材料。材料来自NIST的文档：Black, Paul E.. 演算法與資料結構辭典（英语：）.
4. 1 2  Hirai, Y.; Yamamoto, K.. Journal of Functional Programming. 2011, **21** (3): 287. doi:10.1017/S0956796811000104.
5. ↑  Roura, Salvador.. ICALP. Lecture Notes in Computer Science **2076**: 469–480. 2001. ISBN 978-3-540-42287-7. doi:10.1007/3-540-48224-5\_39.
6. ↑  Adams, Stephen.. Journal of Functional Programming. 1993, **3** (4): 553–561. doi:10.1017/S956796800000885.
7. 1 2 3  Brass, Peter.. Cambridge University Press. 2008: 61–71.
8. ↑  Blum, Norbert; Mehlhorn, Kurt.  (PDF). Theoretical Computer Science. 1980, **11** (3): 303–320  [2015-12-08]. doi:10.1016/0304-3975(80)90018-3. （原始内容存档 (PDF)于2016-03-04）.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
计算机科学中的树 |
| --- |
|  |
| 二叉树 | 
* 二元搜尋樹
* 笛卡尔树
* MVP树
* Top tree（英语：）
* T树
* 线索二叉树

 |
|  |
| 自平衡二叉查找树 | 
* AA树
* AVL树
* 左倾红黑树
* 红黑树
* 替罪羊树
* 伸展树
* 树堆
* 加权平衡树

 |
|  |
| B树 | 
* B+树
* B\*树
* Bx树
* UB树
* 2-3树
* 2-3-4树
* (a,b)-树
* Dancing tree（英语：）
* H树

 |
|  |
| 堆 | 
* 二叉堆
* 二项堆
* 斐波那契堆
* 左偏树
* 配对堆
* 斜堆
* Van Emde Boas tree（英语：）

 |
|  |
| Trie | 
* 后缀树
* 基数树
* 三叉查找树
* X-快速前缀树
* Y-快速前缀树
* AC自动机

 |
|  |
| 二叉空间分割（BSP）树 | 
* 四叉树
* 八叉树
* *k*-d树
* 隐式*k*-d树
* VP树

 |
|  |
| 非二叉树 | 
* 指数树（英语：）
* 融合树（英语：）
* PQ树（英语：）
* SPQR树（英语：）

 |
|  |
| 空间数据分割树 | 
* R树
* R\*树
* R+树
* X树
* M树
* 線段樹 (儲存區間)
* 线段树 (区间查询)
	+ 可持久化线段树
* 希尔伯特R树
* 优先R树

 |
|  |
| 其他树 | 
* 散列日历
* 散列树
* Finger tree（英语：）
* 顺序统计树
* Metric tree（英语：）
* Cover tree（英语：）
* BK树
* Doubly chained tree（英语：）
* iDistance（英语：）
* Link-cut tree（英语：）
* Log-structured merge-tree（英语：）
* 树状数组
* 哈希树

 |

 |