【证明】用数学归纳法证明二叉堆的数组元素索引与其父母节点和左右孩子的索引关系

目录

 

用数组存储二叉堆

证明parent(i)=i/2

证明left_child(i) = 2i

证明right_child(i) = 2i+1

---

用数组存储二叉堆

上图是二叉堆，黑体数字是索引。

设i为索引，则i的父母节点索引为parent(i) = i/2，i的左孩子索引为left_child(i) = 2*i，i的右孩子索引为right_child(i) = 2*i+1

现在我们来证明这些结论。

 

证明parent(i)=i/2

当i=1时，parent(i) = i/2 ≈ 0 （注意：计算机整型作除法取整数）。成立。

假设当i=m时，parent(m)=m/2成立。当i=m+1时，parent(m+1)=?

如果m和m+1在同一层，有两种情况：

①m和m+1是一个父母的左右孩子，比如下图的这种情况。

那么parent(m+1)=parent(m)=m/2。而因为计算机中整型作除法取整数的特点，我们可以写成parent(m+1)=(m+1)/2（在此例中，即是parent(5)=5/2=2.5≈2，可见不影响结果）。

②m和m+1分别是两个相邻父母的右左孩子

此时m+1的父母节点是m的父母节点的右兄弟节点，即parent(m+1)=(m-1)/2+1 = (m+1)/2

如果m和m+1不在同一层，m和m+1分别是上一层最后右孩子节点和下一层第一个左孩子节点，如下图所示。

m+1的父母节点是和m同层的第一个左孩子节点，即索引4。m减去父母节点的索引即可得到m+1的父母节点索引，即7-3=4，所以parent(m+1) = m-(m-1)/2 = (2m-m+1)/2 = (m+1)/2。

综上，在计算机整型计算的范围里，parent(i)=i/2成立。

证明left_child(i) = 2i

当i=1时，left_child(i) =2i=2 。成立。

假设当i=m时，left_child(m)=2m成立。当i=m+1时，left_child(m+1)=?

如果m和m+1在同一层，有两种情况：

①m和m+1是一个父母的左右孩子，比如下图的这种情况。

left_child(m+1) = 2m+2 = 2(m+1)

②m和m+1分别是两个相邻父母的右左孩子

left_child(m+1) = 2m+2 = 2(m+1)

如果m和m+1不在同一层，m和m+1分别是上一层最后右孩子节点和下一层第一个左孩子节点，如下图所示。

left_child(m+1) = 2m+2 = 2(m+1)

综上，left_child(m) = 2m

证明right_child(i) = 2i+1

当i=1时，right_child(i) =2i+1 = 3 。成立。

假设当i=m时，right_child(m)=2m+1成立。当i=m+1时，right_child(m+1)=?

如果m和m+1在同一层，有两种情况：

①m和m+1是一个父母的左右孩子，比如下图的这种情况。

right_child(m+1) = 2m+3 = 2(m+1)+1

②m和m+1分别是两个相邻父母的右左孩子

right_child(m+1) = 2m+3 = 2(m+1)+1

如果m和m+1不在同一层，m和m+1分别是上一层最后右孩子节点和下一层第一个左孩子节点，如下图所示。

right_child(m+1) = 2m+3 = 2(m+1)+1

综上，right_child(i) = 2i+1成立。