首先,啊,先简单介绍一下优先队列的概念,学数据结构以及出入算法竞赛的相信都对队列这一数据结构十分熟悉,这是一个线性的数据结构.
针对队列这一特殊数据结构,有时需考虑队列元素的优先级的关系,即根据用户自定义的优先级排序,出队时优先弹出优先级更高(低)的元素,优先队列能更好地满足实际问题中的需求,而在优先队列的各种实现中,堆是一种最高效的数据结构。
什么是堆
堆是一颗具有特定性质的二叉树,堆的基本要求就是堆中所有结点的值必须大于或等于(或小于或等于)其孩子结点的值,这也称为堆的性质,我们也叫堆序性;堆还有另一个性质,就是当 h > 0 时,所有叶子结点都处于第 h 或 h - 1 层(其中 h 为树的高度,完全二叉树),也就是说,堆应该是一颗完全二叉树;
如下:
根据两种堆序性,我们将堆分为两类,即根节点权值≥子节点权值的我们叫大根堆,根节点权值≤子节点权值的我们叫小根堆。道理简单,就不做图演示了。
上文所述,优先队列是由一个堆维护的,堆序性正对应了优先队列的优先级。由此,优先队列就并不是一个线性的数据结构,其所有操作都是logn的时间复杂度。
了解完堆与优先队列的关系,我们就可以开始讨论如何实现优先对列了。
堆的存储方式
我们将一个堆从上到下从左到右(实际上这个顺序也是堆一般的讨论模式),从0开始给每个节点编号。如下图:
然后按照顺序存储进一个线性的数组之中,那么这就算存储好了~
简不简单?意不意外?是不是最开始想到的是递归生成树?但实际上因为堆序性的存在,我们并不需要那么复杂的存储方式~
同样的道理,我们反过来用一个数组建堆,也就是如上操作的逆操作而已。
问题就来了,如何用一个无序的数组来建堆呢?这就要谈到维护堆序性的两种操作——上浮,下沉。
维护堆的方法
1、上浮操作
首先将一个无序的数组按下标标号,然后开始进行前方所说的建堆操作,我们建堆的过程便是主要用到上浮操作,每操作一步就要与父节点比较,如果大于(此处以大根堆为例子)父节点,则与父节点进行交换,然后跳转到交换后的位置,继续与父节点进行比较,直到不大于父节点后,就算完成了一次调整。光说肯定有些童鞋无法想象得那么明白,下面放图!
这里用数组a[6] = {3,5,8,9,1,2}做模板,别多想,很随机的数字罢了。
第一步,将下标为0的节点做根节点,就是3啦~
第二步,将下标为1的节点也就是5作为3的左孩子~
很明显啊,5要比它的父节点3要大,那么,交换位置~
再看5并没有比它小的根节点了,那么继续下一步~
第三步,将下标为2的节点也就是8,放在5的下边作为右孩子~
很明显哦,8比它的父节点大,那么~,交换位置~
很明显,8并没有比它更小的父节点了,那么继续下一步~
再接下去我就不讲了,很简单,序号从上到下从左到右。
那么任一的一个节点如果它足够大(小),就一定会最底下一层爬到最大的根节点,是不是上浮呢,生动而形象,在建堆的时候每插入一个元素,就要对该元素进行一次上浮调整,将其放在正确的地方。
相信聪明的童鞋已经发现了,同层的节点不存在任何的关系!!!甚至不同根节点的同层节点也不存在任何关系,每一个节点仅仅只是在其子堆中的最大值,即局部最大值。
2、下沉操作
该操作在队列的基本操作,也就是弹出队顶操作时所用,即删除最大(小)根节点的操作。
原理也很简单,将编号为0的节点与编号最大的节点权值互换,然后弹出编号最大的节点(此时即前一步的队顶元素),此时再对队顶节点进行下沉操作:
先与左子树进行比较,按照堆序性交换,直到换回它应在的位置,此时所有局部均为优先队列,其也维护完成。
上图:
这里还是前面那个数组,顺便也给大家看看建堆后的亚子~
a[6] = {3,5,8,9,1,2}
第一步,将编号为0的节点与编号最大的节点权值互换
即将9与2进行互换。
第二步,弹出编号最大的节点(此时即前一步的队顶元素)
即9
第三步,对队顶节点进行下沉操作
即先和8,5进行顺序比较,按照优先级,明显与8互换,换完后如下
再与3先比较,无法交换再与1比较~最后应该是这个样子的。
两种操作方式也已经说完,这里就会有童鞋问道,那么如何在数组中进行所谓的上浮下沉,操作呢?
这里就有一个很重要的知识了,就是父节点和子节点在数组编号中的关系!
其实也并不难发现,根据堆的性质,有如下的关系:
设某个节点编号为i:
其父节点:dad = (i - 1) / 2
左/右子节点:left = 2 * i + 1
right = 2 * i + 2
这样大家就可以将上浮、下沉操作的每一步在数组中实现了!
附上代码
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 |
|
按照前面那个数组运行,结果如下:
是不是很神奇呢?