【正确答案】 D

【答案解析】[解析] 首先看一下堆的定义：n个元素的序列{k₁,k₂,…,k_n)当满足下列关系时称为堆，k_i≤k_2i且k_i≤k_2i+1，或者k_i≥k_2i且k_i≤k_2i+1。我们将选项D的内容转换为一个完全二叉树：
[*]
可以发现子树[*]
子树节点比其叶子节点小，而其[*]
子树节点比其叶子节点大，不符合堆定义。