【正确答案】 D

【答案解析】[分析] 根据堆的定义，n个关键字序列k₁，k₂，…，K_n。称为堆的条件是，当且仅当该序列满足 k_i≤k_2i且k_i≤k_2i+1或k_i≥k_2i且k_i≥k_2i+1，(1≤i≤[n/2])。当i=1，2时，4个选项都满足条件 (其中A，B，D为大根堆，C为小根堆)。但当i=3时，D不满足条件。