章节简述
本章主要介绍堆，用该数据结构解决下面两个重要的问题：
- 排序，采用堆排序算法对n元数组排序，所花的时间不会超过O(nlogn)，而且只需要几个字的额外空间；
- 优先级队列，堆通过插入新元素和提取最小元素这两种操作来维护元素集合，每个操作所需的时间都为O(logn)；
本章采用自底向上的组织结构，从细节开始逐步过渡到正题。
堆数据结构
该部分介绍堆数据结构的设计思想。
优先级队列实现向量排序算法
优先级队列提供了一种简单的向量排序算法，优先在优先级队列中依次插入每个元素，然后按序删除它们，程序实现代码如下：
/************************************************************************/
/*
* 优先级队列的类实现
*/
/************************************************************************/
#ifndef _PRIQUEUE_H_
#define _PRIQUEUE_H_
#include <iostream>
template<typename T>
class PriQueue{
private:
int n, maxsize;
T *x;
void swap(int i, int j)
{
T temp = x[i];
x[i] = x[j];
x[j] = temp;
}
public:
PriQueue(int m) :maxsize(m)
{
x = new T[maxsize + 1];
n = 0;
}
void insert(T t)
{
int i, p;
x[++n] = t;
//自底向上类似siftup函数内容实现优先级序列
for (i = n ; i > 1 && x[p=i/2] > x[i] ; i = p)
swap(p, i);
}
//输出队列顶并调整队列结构
T extramin()
{
/*cout << "队列中的数据为：" << endl;
for (int i = 1; i <= n; i++)
cout << x[i] << "\t";
cout << endl;*/
int i, c;
T t = x[1];
x[1] = x[n--];
//自顶向下调整队列结构
for (i = 1; (c = 2 * i) <= n; i = c)
{
if (c + 1 <= n && x[c + 1] < x[c])
c++;
if (x[i] <= x[c])
break;
swap(c, i);
}
return t;
}
};
#endifmain主程序实现如下：
/************************************************************************/
/* 《编程珠玑》第十四章 堆
* 问题：程序的输入包含两个整数m和n，其中m<n。输出是0~n-1范围内m个随机整数的有序列表，不允许重复
* 方案：使用堆数据结构思想，构造优先级队列，设计出一种向量排序算法
*/
/************************************************************************/
#include <iostream>
#include <algorithm>
#include <cstdlib>
#include "PriQueue.h"
using namespace std;
/************************************************************************/
/* 解决问题的向量排序算法 */
/************************************************************************/
template<typename T>
void pqsort(T *v , int n)
{
PriQueue<T> pq(n);
for (int i = 0; i < n; i++)
{
pq.insert(v[i]);
}
for (int j = 0; j < n; j++)
{
v[j] = pq.extramin();
}
}
const int N = 10;
int main()
{
int arr[N] = { 4, 12 , 56 , 32 , 24 , 68 , 33 , 6 , 7 , 2 };
cout << "排序前输入数据为 ："<<endl;
for (int j = 0; j < N; j++)
{
cout << arr[j] << "\t";
}
cout << endl;
pqsort(arr,N);
cout << "排序后输出数据为 ： " << endl;
for (int j = 0; j < N; j++)
{
cout << arr[j] << "\t";
}
cout << endl;
system("pause");
return 0;
}对于上面实现的优先级队列向量排序算法，n次insert和extractmin操作在最坏情况下的开销是O(nlogn)，优于快速排序算法的最坏O(n^2)的复杂度，但是缺点是，该算法需要额外的n+1的字节的空间来存储数组x[0…n];
下面讨论的堆排序，改进了基于优先级队列的向量排序算法，代码更加简洁，而且不需要辅助数组，使用的空间更少。
堆排序算法
对于优先级队列实现的向量排序算法，需要两个数组，一个用于优先级队列，一个用于待排序的元素；而堆排序算法只需要一个数组，因此节省了空间开销。
思想：使用单个数组x同时表示两种抽象结构，左边是堆，右边是输入元素序列。元素的初始顺序是随意的，而最终则是有序的。
算法实现：
这里写代码片原理
本章最终总结以下几个原理：
- 高效性，堆数据结构形状保证了堆中所有节点和根节点之间相差的层数在logn内，由于树是平衡的，所以函数siftup和siftdown的运行效率很高。堆排序通过在同一个实现数组中包含两种抽象结构（堆和元素序列）来避免使用额外的开销；
- 正确性；
- 抽象性，一个好的工程师能够分清某个组件做什么（用户看到的抽象功能）和如何做（黑盒实现）之间的差别；
- 过程抽象；
- 抽象数据类型：数据类型做什么是由它的方法和方法的规范给出的，而如何做则是由具体实现决定的；
