完全二叉树推导的重要性质

** n0 = floor( (n + 1) / 2 ) = ceiling( n / 2 )**

解释：

1.假设 n0 = floor( (n + 1) / 2 ) ，就是只有这么一个公式，不论n是奇是偶，
则n是奇数是公式没有一点问题，但是n是偶数时，它其实是要通过n0 = n / 2来计算，但是咱们规定要用n0 = floor( (n + 1) / 2 )计算，比如n等于4时，将n带入这两个式子发现结果都是一样的，即(n + 1) / 2 自动向下取整了。

同理可得其他结论