参考答案：

n个关键字序列L[1...n]称为堆，当却仅当该序列满足：1，L（i）<=L（2i）且L（i）<=L（2i）或者2，L（i）>=L（2i）且L（i）<=L（2i）。