看图说话之二叉堆(优先队列)——原理解析

     数据结构之二叉堆(优先队列)——原理解析

      一丶优先队列简介

      优先队列更多的是一种逻辑上和业务上的设计。队列中的每项元素都分配一个优先权值，队列的出队顺序按照优先权值来划分，高优先权先出队或者低优先权先出队。这样一个优先队列必须具备两个最基本的操作——入队，以及高(低)优先权出队。优先队列在很多场景中都有运用，比如打印机的任务调度和操作系统中的进程调度都有用到优先队列的设计。

     

            图1 优先队列的两个基本功能

      此时我们假设并不知道有堆这样的数据结构，想实现上述这样的功能，其实也可以有多种解决方案，比如以下两种：

      (1)构建一个链表操作，入队操作等效于在表头以0(1)的时间完成插入操作，出队操作等效于遍历链表删除最大(最小)节点时间消耗在O(N)。这样的设计保证入队操作是常数，出队操作是线性。

      (2)构建一个链表，插入的过程中，始终保持链表是有序排列的(插入排序)，这样入队操作的时间消耗是0(N),出队操作，就是删除链表头元素，时间消耗为0(1)。

      假如采用这种设计，入队操作多于出队的情况下选择(1),反之选择(2)。此时注意到，无论是哪种设计，入队/出队总有一个操作是线性时间消耗，在大数据的条件下，设计一种更加高效率数据结构完成优先队列的设计主必要的——二叉堆就是以O(logn)的时间复杂度完成出队和入队操作的优先队列设计。下面详细的介绍堆这种数据结构的原理和实现

      二丶二叉堆的性质

      二叉堆如其名字一样和二叉树具有紧密的关系。二叉堆是一种特殊的二叉树，是对一般的二叉树提出了结构性和堆序性的要求，这种特殊结构性和堆序性是二叉堆的性质所在。

      1.结构性：二叉堆是一个完全二叉树

2.堆序性：所有的节点值均小于(大于)其后裔节点值，若所有节点值大于其后裔节点这样的二叉堆称为大根堆，若所有节点值均小于其后裔节点这样的二叉堆成为小根堆。