如何证明从完全二叉树到数组的转换？
How to prove the conversion from a compete binary tree to an array?
一个完整二叉树可以有效地实现为一个数组，其中索引i处的节点在索引2i和2i+1 和索引为 floor(i/2) 的父级，具有 one-based 索引.
如果子索引大于节点数，则子节点不存在。
我每次都看到这些转换，但是没有它们的正式证明，任何人都可以给出严格的证明或link，谢谢！
查看此 link Derivation of index equations 这是基于 0 的索引。但也有关于 1 based indexing
的注释
一个完整二叉树可以有效地实现为一个数组，其中索引i处的节点在索引2i和2i+1 和索引为 floor(i/2) 的父级，具有 one-based 索引.
如果子索引大于节点数，则子节点不存在。
我每次都看到这些转换，但是没有它们的正式证明，任何人都可以给出严格的证明或link，谢谢！
查看此 link Derivation of index equations 这是基于 0 的索引。但也有关于 1 based indexing
的注释