摘要： 发现并证明了最大堆的一种性质，即：某一层上的所有结点的值（不包括叶子结点的值）与堆中此层以下的所有结点的值满足一个不等式组。

关键词: 堆, 性质, 证明, 不等式组

Abstract: In this paper, a property of the heap has been discovered and proved. A group of inequalities must be satisfied between these keys in one hierarchy (except the keys of leaf nodes) and those keys in higher hierarchies of a heap.

中图分类号: 

• TP311.1