高效排序算法：堆排序】实现原理及源代码

堆排序是一种高效的排序算法，它利用堆的数据结构来进行排序操作。在堆排序中，我们首先将待排序的序列构建成一个最大堆（或最小堆），然后依次将堆顶元素与最后一个元素交换，并调整堆，使得剩余元素仍保持堆的性质。通过不断重复这个过程，最终得到一个有序的序列。

下面我们将详细介绍堆排序的实现原理，并给出相应的源代码。

1. 堆的构建

首先，我们需要构建一个最大堆。最大堆是一种满足父节点大于或等于其子节点的特性的完全二叉树。构建最大堆的过程可以通过从最后一个非叶子节点开始，依次向上调整每个子树，使得每个子树都满足最大堆的性质。

% 堆的构建
build_max_heap(List) ->
    Length = length(