data-structures - 判断二叉树是否为最大堆

Question

我正在编写一个函数来确定给定的二叉树是否是最大堆。如果二叉树只有一个节点（根），它会被认为是有效的最大堆吗？

Answer 1

要被认为是有效的最大堆，二叉树必须满足两个属性：

1. 形状属性。树必须是完全二叉树。也就是说，除了最后一个级别之外的每个级别都必须是满的。如果最后一个未满，则为左满。
2. 堆属性。每个子节点必须小于或等于其父节点。

具有单个节点的树同时满足这两个属性，因此它是有效的最大堆。