堆:
堆是具有以下性质的完全二叉树:每个结点的值都大于或等于其左右孩子结点的值,称为大顶堆;或者每个结点的值都小于或等于其左右孩子结点的值,称为小顶堆。如下图:
对大顶堆中的节点映射到数组中,就是:
由堆是完全二叉树,可以知道当堆中某个节点的编号为i时,如果这个节点有左右子树,那么左子树的节点编号为2*i,右子树的节点编号为2*i+1(当然这是在根节点编号为1的情况时)。 那么上面的数组从逻辑上讲就是一个堆结构,可以用公式来描述堆的定义:
大顶堆:arr[i] >= arr[2i+1] && arr[i] >= arr[2i+2]
小顶堆:arr[i] <= arr[2i+1] && arr[i] <= arr[2i+2]
算法描述:
1、从最后一个非叶子结点开始,判断该结点是否大于两个孩子结点,如果有孩子节点大于该结点,则交换两个结点的值。然后后退到倒数第二个非叶子结点,继续上面的判断,直到根节点。此时根结点即为最大值,讲根结点的值与最后一个元素交换。
2、此时最后一个元素已经是最大值,讲剩余的n-1个元素继续上面的步骤1操作。构造大顶堆。最终得出的就是升序序列
3、大顶堆得出升序序列,小顶堆得出降序序列
4、最后一个非叶子结点的位置:数组长度/2
图解:
1、初始状态:
2、从最后一个非叶子结点开始,比较结点和其孩子结点值得大小,小于则进行交换
3、构造完成大顶堆,讲根元素与尾元素进行交换
4、继续步骤2
5、构造完成大顶堆,讲根元素与尾元素进行交换
6、继续步骤2
7、构造完成大顶堆,讲根元素与尾元素进行交换
8、继续步骤2
9、构造完成大顶堆,讲根元素与尾元素进行交换
10、此时只剩下一个元素,不需要进行构造,此时已经为升序序列
代码:
#include <iostream>
#include <vector>
using namespace std;
void heap_sort(vector<int>&v);
int main()
{
vector<int>v={9, 12, 0, 0, 6, 8, 15, 7};
heap_sort(v);
for(auto &i:v)
cout<<i<<" ";
return 0;
}
void heap_sort(vector<int>&v)
{
int wait_sort=v.size(),child;
while(wait_sort>1)
{
for(int i=wait_sort/2;i>0;i--)
{
child=2*i;
if(child<=wait_sort&&v[i-1]<v[child-1])
swap(v[i-1],v[child-1]);
if((child+1)<=wait_sort&&v[i-1]<v[child])
swap(v[i-1],v[child]);
}
swap(v[0],v[wait_sort-1]);
wait_sort--;
}
}
算法分析:
时间复杂度:堆排序时间复杂度一般认为就是O(nlogn)级
空间复杂度:不需要额外的空间
稳定性:不稳定