【答案解析】堆的定义:n个元素的序列{k1,k2....,kn}当且仅当满足如下的关系式时才称之为堆:

或

,相应的称为小顶堆或大顶堆。
判断堆的办法是把序列看成一棵完全二叉树,按层序遍历,若树中的所有非终端节点的值均不大于(或不小于)其左右孩子的节点的值,则该序列为堆。
初始堆建立方法是:将待排序的关键字按层序遍历方式分放到一棵完全二叉树的各个节点中,显然所有

的节点K
i都没有子节点,以这样的K
i为根的子树已经是堆,因此初始堆可从完全二叉树的第(

)个节点开始,通过调整,逐步使以

、
