📐二叉树性质验证
选择树型自动计算
性质1：第 i 层最多有 2^(i-1) 个结点
max_nodes(i) = 2^(i-1)
性质2：深度为 k 的二叉树最多有 2^k - 1 个结点
max_total(k) = 2^k - 1
性质3：n0 = n2 + 1（叶子结点数 = 度为2结点数 + 1）
n0 = n2 + 1
性质4：完全二叉树深度 = floor(log2(n)) + 1
depth = floor(log2(n)) + 1
性质5：完全二叉树双亲/孩子下标关系
parent(i)=i/2, left=2i, right=2i+1