一棵完全二叉树可以有效地实现为一个数组，其中索引为 i 的节点在索引为 2i 和 2i+1 和索引 floor(i/2) 的父级，具有基于一个的索引。
如果子索引大于节点数，则子节点不存在。
我每次都看到这些转换，但是没有正式的证明，谁能给出严格的证明或链接，谢谢!
最佳答案
请参阅此链接 Derivation of index equations这是基于 0 的索引。但也有关于基于 1 的索引的注释
https://stackoverflow.com/questions/32997836/
相关文章：
Emacs - 多行搜索
c# - 如何知道壁虎浏览器是否完成加载网页？
wpf - 更改 UIElement 的角度
time - NetLogo 时间扩展 : Plotting graphs does not wor
numpy - numpy 中有 elliptictheta 函数吗？
drupal - 如何在更新模块之前检查是否需要更新数据库
cross-compiling - Clang++ 无法找到任何 stdlib header
cmake - 如何编写功能测试脚本在cmake/ctest下运行
javascript - 纯函数是幂等的吗？
php - 如何使用 FDI/FPDF 从 PDF 中删除文本