python堆排序,详细过程图和讲解,这样做小白都会
### 正文前的扯淡
之前电话面试一个公司时,面试官让写一个堆排序,遗憾的是我忘了堆排序的思想了,所以直接说不会写,这次电面也以失败告终…知耻后勇,这几天在网上找了很多写堆排序的帖子,但是帖子质量不好,堆排序是什么不介绍,代码也非常不详细,看了半天没整明白,不过好在今天找出了数据结构课的课本,系统复习后,尝试用Python写出了一个堆排序。
### 目录
* 堆排序介绍
* 堆排序算法详解+Python实现
### 堆排序涉及到的概念
* 堆排序是利用 **堆**进行排序的
* **堆**是一种完全二叉树
* **堆**有两种类型: **大根堆** **小根堆**
* 两种类型的概念如下:
大根堆:每个结点的值都大于或等于左右孩子结点
小根堆:每个结点的值都小于或等于左右孩子结点
因为比较抽象,所以专门花了两个图表示


那么,什么是完全二叉树呢?
**完全二叉树** 是 一种除了最后一层之外的其他每一层都被完全填充,并且所有结点都保持向左对齐的树,向左对齐指的是:

像这样的树就不是完全二叉树:

如果给上面的大小根堆的根节点从1开始编号,则满足下面关系(下图就满足这个关系):

如果把这些数字放入数组中,则如下图所示:其中,上面的数字是数组下标值,第一个元素占位用。

### 堆排序算法详解+Python实现
了解了堆。下面我们来看下堆排序的思想是怎样的(以大根堆为例):
* 首先将待排序的数组构造出一个大根堆
* 取出这个大根堆的堆顶节点(最大值),与堆的最下最右的元素进行交换,然后把剩下的元素再构造出一个大根堆
* 重复第二步,直到这个大根堆的长度为1,此时完成排序。
### 下面通过图片来看下,第二个步骤是如何进行的:



这就是构建大根堆的思想,了解了之后就可以进行编码,编码主要解决两个问题:
* 如何把一个序列构造出一个大根堆
* 输出堆顶元素后,如何使剩下的元素构造出一个大根堆
根据问题进行编码,由于数组下标是从0开始的,而树的节点从1开始,我们还需要引入一个辅助位置,Python提供的原始数据类型list实际上是一个线性表(Array),由于我们需要在序列最左边追加一个辅助位,线性表这样做的话开销很大,需要把数组整体向右移动,所以list类型没有提供形如`appendleft`的函数,但是在一个链表里做这种操作就很简单了,Python的`collections`库里提供了链表结构`deque`,我们先使用它初始化一个无序序列:
“`
from collections import deque
L = deque([50, 16, 30, 10, 60, 90, 2, 80, 70])
L.appendleft(0)
“`
此时L如下:
“`
In [2]: L
Out[2]: deque([0, 50, 16, 30, 10, 60, 90, 2, 80, 70])
“`
根据我们上面找出的两个难点,可以先编出`heap_sort`函数:
“`
def heap_sort(L):
L_length = len(L) – 1
first_sort_count = L_length / 2
for i in range(first_sort_count):
heap_adjust(L, first_sort_count – i, L_length)
for i in range(L_length – 1):
L = swap_param(L, 1, L_length – i)
heap_adjust(L, 1, L_length – i – 1)
return [L[i] for i in range(1, len(L))]
“`
讲解:
* 因为引入了一个辅助空间,所以使`L_length = len(L) – 1`
* 第一个循环做的事情是把序列调整为一个大根堆(`heap_adjust`函数)
* 第二个循环是把堆顶元素和堆末尾的元素交换(`swap_param`函数),然后把剩下的元素调整为一个大根堆(`heap_adjust`函数)
我们要排序的序列为`deque([50, 16, 30, 10, 60, 90, 2, 80, 70])`,但是在第一个循环中,我们用了一个辅助变量`first_sort_count`,循环时,这个值变化的顺序是**4->3->2->1**,这是为什么呢。实际上,这些数字代表的是有孩子的节点,从下图可以看出,而我们所谓的调整大根堆,其实就是按照从右往左,从下到上的顺序,把每颗小树调整为一个大根堆。**4->3->2->1**的调整,其实就是**10->30->16->50**的调整。

**swap_param**函数很简单,我们根据Python的特点,无需引入中间变量,直接交换堆顶元素和最后元素即可,代码如下:
“`
def swap_param(L, i, j):
L[i], L[j] = L[j], L[i]
return L
“`
下面让我们看下最关键的堆调整函数`heap_adjust`:
“`
def heap_adjust(L, start, end):
temp = L[start]
i = start
j = 2 * i
while j <= end:
if (j < end) and (L[j] < L[j + 1]):
j += 1
if temp < L[j]:
L[i] = L[j]
i = j
j = 2 * i
else:
break
L[i] = temp
“`
这段代码比较抽象,我们结合实际例子把自己想象成一个解释器来看一下:

* 第一个循环在第一个调用这个函数时,start=4, end=9,L=[0, 50, 16, 30, 10, 60, 90, 2, 80, 70],进行`temp = L[start]`,实际就是temp=L[4]=10,`i=start`, i此时为4,拿到我们要处理的树节点,`j = 2*i`,j此时得到第四个节点的左子树坐标,接着开始循环,循环条件`j <= end`代表在调整完整棵树树之前一直进行循环。第一个条件`if (j < end) and (L[j] < L[j + 1])`是要保证 **j** 取到较大子树的坐标,由于左子树大于右子树,所以这个**if**表达式不进行。

第二个**if** 表达式,要做的如果根节点小于子树的值,就把根节点和较大的子树的值进行交换,`temp<L[j]` :**10<80**,所以执行if内的语句:`L[i] = L[j]` **执行后L[i]为80**,`i = j` **执行后i=8**,`j = 2 * i`,**执行后j为16**,此时不满足循环条件,退出循环,然后执行`L[i] = temp`,**执行后L[i] = 10**。
这个函数其实就是把每个子树的根节点和较大的子节点进行值交换。而且如果在左子树 依然是根节点的情况下继续进行调整。 读者可以自己照着图调整几次就可以很好的理解代码的含义了。
这样调整4次后,这棵树就变成了一个大根堆,此时序列变成了这样:

接下来进行第二个循环。
“`
for i in range(L_length – 1):
L = swap_param(L, 1, L_length – i)
heap_adjust(L, 1, L_length – i – 1)
“`
首先`L = swap_param(L, 1, L_length – i)`交换第一个节点和最后一个节点的值(因为我们引入了一个辅助空间,所以序列长度减1),此时序列变成了**[16, 80, 50, 70, 60, 30, 2, 10, 90]** 接下来对**[16, 80, 50, 70, 60, 30, 2, 10]**进行调整,由于我们之前已经把序列调整为了大根堆,所以此时循环条件变为从堆顶进行小范围调整就可以。
这次调整后,堆变为:


然后继续把10和80进行交换,继续调整,直到遍历完整个序列为止。
完整代码如下:
“`
from collections import deque
def swap_param(L, i, j):
L[i], L[j] = L[j], L[i]
return L
def heap_adjust(L, start, end):
temp = L[start]
i = start
j = 2 * i
while j <= end:
if (j < end) and (L[j] < L[j + 1]):
j += 1
if temp < L[j]:
L[i] = L[j]
i = j
j = 2 * i
else:
break
L[i] = temp
def heap_sort(L):
L_length = len(L) – 1
first_sort_count = L_length / 2
for i in range(first_sort_count):
heap_adjust(L, first_sort_count – i, L_length)
for i in range(L_length – 1):
L = swap_param(L, 1, L_length – i)
heap_adjust(L, 1, L_length – i – 1)
return [L[i] for i in range(1, len(L))]
def main():
L = deque([50, 16, 30, 10, 60, 90, 2, 80, 70])
L.appendleft(0)
print heap_sort(L)
if __name__ == “__main__”:
main()

“`
运行结果如下:
“`
python heap_sort2.py
[2, 10, 16, 30, 50, 60, 70, 80, 90]
“`
推荐一下我建的python学习交流扣扣qun:850973621,群里有免费的视频教程,开发工具、
电子书籍、项目源码分享。一起交流学习,一起进步!

一些小项目游戏

电子书籍

作者:一根薯条
链接:https://www.jianshu.com/p/d174f1862601
来源:简书
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。