在任意二叉树中，度为 0 的叶子结点数 $n_0$ 等于 度为 2 的结点数 $n_2$ 加 1。
第 $i$ 层（$i\ge 1$）最多有 $2^{i-1}$ 个结点。
深度为 $k$ 的二叉树最多有 $2^k - 1$ 个结点（即满二叉树）。
按层序从 1 编号，结点 $i$ 的：父为 $\lfloor i/2\rfloor$，左孩子 $2i$，右孩子 $2i+1$（下标不越界时）。
具有 $n$ 个结点的二叉树，其深度 $k \ge \lfloor\log_2 n\rfloor + 1$；完全二叉树深度恰为 $\lfloor\log_2 n\rfloor + 1$。
| 性质 | 公式 |
|---|---|
| 叶子与度为 2 的关系 | $n_0 = n_2 + 1$ |
| 第 $i$ 层最多结点 | $2^{i-1}$ |
| 深度 $k$ 最多结点 | $2^k - 1$ |
| 完全二叉树编号 | 父 $\lfloor i/2\rfloor$，左 $2i$，右 $2i+1$ |
| 深度下界 | $\lfloor\log_2 n\rfloor + 1$ |
↑ 以上为站内 HTML 相对链接（纯网页可浏览）；本页右上「在 Obsidian 中打开」跳回源笔记。