数据结构（浙大慕课）：堆

堆的概念

**堆：**优先队列，即取出元素的顺序是依照元素的优先权（关键字）大小，而不是元素进入队列的先后顺序。

堆的实现结构

1、采用数组或链表实现优先队列
插入和删除中总有一个时间复杂度较大，实际使用时可以综合考虑进行选用。

2、完全二叉树表示
堆的两个特性：
结构性:用 数组 表示的完全二叉树;
有序性:任一结点的关键字是其子树所有结点的最大值(或最小值)
“最大堆(MaxHeap)”,也称“大顶堆”：最大值
“最小堆(MinHeap)”,也称“小顶堆”：最小值

堆的抽象数据类型描述及常用操作

最大堆

类型名称： 最大堆（MaxHeap）
数据对象集： 完全二叉树，每个结点的元素值不小于其子结点的元素值
注意： 因为最大堆是完全二叉树，所以在进行操作时要充分利用完全二叉树的性质。例如：父节点的编号 = 子节点编号 / 2（取整数部分）。
主要操作:
1、MaxHeap Create( int MaxSize )：创建一个空的最大堆。
2、Boolean IsFull( MaxHeap H )：判断最大堆H是否已满。
3、Insert( MaxHeap H, ElementType item )：将元素item插入最大堆H。
4、Boolean IsEmpty( MaxHeap H )：判断最大堆H是否为空。
5、ElementType DeleteMax( MaxHeap H )：返回H中最大元素(高优先级)。

最大堆的数据类型描述

//结构体表示：
typedef struct HeapStruct *MaxHeap;
struct HeapStruct {
	ElementType *Elements; /* 存储堆元素的数组 */
	int Size; /* 堆的当前元素个数 */
	int Capacity; /* 堆的最大容量 */
}; 
//数组表示
int H_size;	//堆的当前元素个数
int H[]；	//数组表示堆，同样的，0处不储存数据或储存哨兵，从1再开始储存元素

最大堆的创建
注意点： 堆的元素从树编号为 1 的结点开始存放，编号为 0 的结点可以用于存放哨兵，即为大于堆中所有可能元素的值，便于以后得操作。
有哨兵： 在插入操作时可以正常循环到结点为1的地方
无哨兵： 在插入操作时不能循环到结点为1的地方，要在下一层就结束，1 处不能再和0比较了，因为0处无哨兵。
（如果此处不能理解则具体看插入操作代码）

MaxHeap Create( int MaxSize )
{ /* 创建容量为MaxSize的空的最大堆 */
	MaxHeap H = malloc( sizeof( struct HeapStruct ) );
	// Elements为存储堆元素的数组
	// 这里的MaxSize + 1是因为堆的元素从树编号为 1 的结点开始存放，0处不存放或存放哨兵。
	H->Elements = malloc( (MaxSize+1) * sizeof(ElementType));
	H->Size = 0;
	H->Capacity = MaxSize;
	H->Elements[0] = MaxData; 
	 /* 定义“哨兵”为大于堆中所有可能元素的值，便于以后更快操作 */
	return H;
}

最大堆的插入
思路： 先将新增元素插入最后一个位置，然后向上再和父节点比较，若大于父节点则和父节点交换，然后继续往上和父节点进行比较直到满足最大堆的特性位置。
时间复杂度： T(N) = O( log N）

void Insert( MaxHeap H, ElementType item )
{ /* 将元素item 插入最大堆H，其中H->Elements[0]已经定义为哨兵 */
	int i;
	if ( IsFull(H) ) {
		 printf("最大堆已满");
		 return;
	}
	i = ++H->Size; /* i指向插入后堆中的最后一个元素的位置 */
	 // 1、有哨兵的情况
	 // 此时H->Element[ 0 ] 是哨兵元素，它不小于堆中的最大元素，控制顺环结束。
	for ( ; H->Elements[i/2] < item; i/=2 )
		 H->Elements[i] = H->Elements[i/2]; /* 向下过滤结点 */
	// 2、无哨兵的情况
	// 此时H->Element[ 0 ]无元素，所以 i 不能等于1
	/*for ( ; H->Elements[i/2] < item && i > 1; i/=2 )
		 H->Elements[i] = H->Elements[i/2]; /* 向下过滤结点 */
	H->Elements[i] = item; /* 将item 插入 */
}

最大堆的删除
思路： 删除堆的最大值，即根节点（最大值）元素。首先将最后的元素替补根的位置，然后往下比较，将替换后的根的左右儿子中值更大的元素与根进行替换，然后再继续往下比较，直到满足有序性为止。

ElementType DeleteMax( MaxHeap H )
{ /* 从最大堆H中取出键值为最大的元素，并删除一个结点 */
	int Parent, Child;
	ElementType MaxItem, temp;
	if ( IsEmpty(H) ) {
		printf("最大堆已为空");
		return;
 }
MaxItem = H->Elements[1]; /* 取出根结点最大值 */
/* 用最大堆中最后一个元素从根结点开始向上过滤下层结点 */
temp = H->Elements[H->Size--];
for( Parent=1; Parent*2<=H->Size; Parent=Child ) {
	Child = Parent * 2;
	if( (Child!= H->Size) && (H->Elements[Child] < H->Elements[Child+1]) )
		Child++; /* Child指向左右子结点的较大者 */
	if( temp >= H->Elements[Child] ) break;
	else /* 移动temp元素到下一层 */
		H->Elements[Parent] = H->Elements[Child];
}
H->Elements[Parent] = temp;
return MaxItem;

最大堆的建立： 用于堆排序
建立最大堆： 将已经存在的N个元素按最大堆的要求存放在一个一维数组中
方法1：通过插入操作，将N个元素一个个相继插入到一个初始为空的堆中去，其时间代价最大为O(N logN)。（效率较低）
方法2：在线性时间复杂度下建立最大堆。T( N ) = O( N )
（1）将N个元素按输入顺序存入，先满足完全二叉树的结构特性；
（2）从叶子结点的上一层开始，调整各结点位置，以满足最大堆的有序特性。

最小堆

最小堆的插入： 此处是用数组表示的堆

void Insert(int H[], int data){
    int i;
    for(i = ++s; H[i / 2] > data ; i /= 2) H[i] = H[i / 2];
    H[i] = data;
}

注： 最小堆的其他表示参考最大堆的进行改写即可