堆·二叉堆·构建二叉堆-heapify

是一种用于构建二叉堆的核心算法。二叉堆是一种特殊的完全二叉树，它满足堆性质：父节点的值大于或等于子节点的值。通过算法，我们可以将一个普通数组转换为一个合法的二叉堆。这个过程分为两个阶段：首先，将数组转换为一个完全二叉树；然后，通过调整节点位置，确保满足堆性质。在实现上，我们可以从最后一个非叶子节点开始，依次向上调整，直到根节点。这样，我们就可以得到一个高效的二叉堆，用于实现堆排序、优先队列等应用。