堆是一种基于完全二叉树的结构，常用于实现优先队列。堆的根节点可以是最小值或最大值，取决于其类型；堆的左右子树结构必须完全相同。