>1. 完全二叉树
>2. 最大堆：父节点 >= 子节点
>3. 最小堆：子节点 <= 父节点
>4. 逻辑结构是一颗二叉树，物理结构上是一个数组

##