堆的概念
**堆:**优先队列,即取出元素的顺序是依照元素的优先权(关键字)大小,而不是元素进入队列的先后顺序。
堆的实现结构
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;
}
注: 最小堆的其他表示参考最大堆的进行改写即可