Introduce to algorithm--------pseudo code to C/C++ code(Chapter 6)

堆排序：

如果只是从字面意思出发，大家很难理解堆排序的原理，但如果说的详细一点，‘堆排序’中的‘堆’实际上指的是二叉堆，

那么，也许堆排序不那么难记了。简单的说堆排序是以二叉堆为基础，多次对数组build二叉堆，从而进行排序的一种algorithm。

先给出build二叉堆的code：

//size if the size of arraytemplate <typename T>void max_heapify (T* A, int i, int size){//get left and right child's indexint l = 2 * i + 1,r = l + 1;int largest;if (l < size && A[l] > A[i])largest = l;else largest = i;if (r < size && A[r] > A[largest])largest = r;if (largest != i){T temp = A[i];A[i] = A[largest];A[largest] = temp;max_heapify<T> (A, largest, size);}}template <typename T>void build_max_heap (T* A, int length){for (int i = length / 2 - 1; i >= 0; --i)max_heapify<T> (A, i, length);}

build二叉堆的函数是build_max_heap，这里实现为一个模板，该函数简单的调用max_heapify函数，至于为什么从数组下标length / 2 - 1处开始进行调用，

请参见算法导论。

有了二叉堆的build算法，堆排序就简单明了了。以最大堆为例， 堆排序是先对整个数组进行最大堆的构建，然后将根节点（即最大值）与数组末尾值进行

调换。接着将数组末尾值排除在外，以剩余数组为整体重复上述过程，直到剩余数组为零。

下面是堆排序代码(也以模板给出)：

template <typename T>void heap_sort (T* A, int length){build_max_heap<int> (A, length);for (int i = length - 1; i > 0; --i){Ttemp = A[0];A[0] = A[i];A[i] = temp;max_heapify<int> (A, 0, i);}}

以上代码仅经过一组数据测试，不完善之处敬请指正!

For more detail information, see introduce to algorithm.