叶节点仅限于最低两层
底层叶子，均居于次底层叶子左侧（相对于LCA）
除末节点的父亲，内部节点均有双子
叶节点数 = 内部节点数 或 叶节点数 = 内部节点数 + 1 (视末节点的父亲有几个儿子)
前 $\lceil n/2 \rceil - 1$ 步迭代中，均有右孩子入队
前 $\lfloor n/2 \rfloor$ 步迭代中，都有左孩子入队
辅助队列先增后减，最大为 $\lceil n/2 \rceil$ (开始循环时队列中有根，前 $\lceil n/2 \rceil - 1$ 次均出1入2)，最大规模可能出现2次(视末节点的父亲有几个儿子)。