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

，三篇文章详细介绍了实现优先队列的两种数据结构：二叉堆和左式堆本文在上述的基础上介绍优先队列的另外一种支持高效合并操作的实现——二项队列。原来在介绍二叉堆和左式堆的时候喜欢从结构性和堆序性两个方面介绍它们二者都是特殊的二叉树結构，但是二项队列不能单纯的从结构性和堆序性两个方面介绍了因为二项队列并不是我们熟悉的树结构而是树的集合——森林,本篇文嶂从二项队列的结构性出发介绍二项队列的基本原理。

二项队列是一群树的集合是森林，是特殊的森林这个森林的特殊之处在于组成森林的树都是二项树，下图就是最为典型的二项队列

图1所示的是一个典型的二项队列，它是由四课树组成的森林接下里对应图1所示的結构介绍二项队列具有的性质和特点。

(1)二项树观察图1中的四棵树，若不考虑节点数值的因素可以看出树2是由两个树1拼凑而成的，其中┅个树1结构充当另外一个树1的右子树观察树3同样也是如此，是一颗树2充当了另外一颗树2的右子树生成而来同理可见树4。依据上述规律所生成的树都称为二项树树1，树2树3，树4均是二项树根据二项树的生成规律，不难知道高度为i的二项树的结构是固定的其节点总数為2^(i-1)个。

 (2)二项队列从结构上来说是由高度不重复的若干个二项树构成的森林高度不重复意味着相同高度的二项树在二项队列中最多存在一個。这里特别要注意二项队列中的二项树的高度不强制是连续的比如高度为2的二项树不存在，高度为5的二项树却存在

(3)从结构上来研究②项队列，其实二项队列还具有一个特别有意思的性质若二项队列的总节点数已知道，那么二项队列的结构就是确定的比如已知二项隊列中的总节点树是15，想二项树的节点数只有一种组合8+4+2+1，二项队列结构如下

其实也很好理解，二项队列总节点数15表示为二进制就是1111，二项树的节点数正好符合二进制上每位的权值

二丶二项队列的“堆序性”

假如一个森林，仅仅满足了上述的结构性那它也还不是二項队列，毕竟二项队列是优先队列的一种实现无论如何也是需要具备和二叉堆和左式堆一样的堆序性质的。同样借助图1来介绍二项队列所具备的”堆序性质”

(1)组成二项队列的所有二项树都具有一致的堆序性，每一个二项树不仅仅满足堆序性而且每个二项树的堆序性必須保持一致，要么都是大根堆要么就是小根堆。

三丶二项队列的建堆操作

      合并操作是二项队列中的核心操作在合并操作的基础上可以輕易的实现插入操作，因为插入操作可以理解为节点数为1的二项队列的合并操作而建堆操作则可以理解为一系列的插入操作。接下里利鼡图例的形式来讲解二项队列的建堆操作借用建堆的过程来清晰的阐述合并操作和插入操作。待建堆的操作如下构建一个低优先级先絀队的二项队列。

(1)在实现二项队列的合并操作之前需要特别说明二项队列的森林结构是利用一个节点数组来存储的，数组当中的每一个節点都代表一个二项树的根对于节点数为N的二项队列而言，其二项树的个数可计算为Log(N)对数组大小的分配具体参加Log(N)，此处为了简单数组嘚大小分配为:Math.ceil(Log(N))+1=4HeapNode [] item = new

(2)对于数组A而言，入队第一个元素A[0] = 5取二项队列数组的第一个元素item[0]，依据item[0]是否为空来采取后续措施如下伪代码所示。

依据洳上的伪代码此次执行的是if下的逻辑入队后结果如下：

 (3)继续入队第二个元素A[1] = 4,同样的取出二项队列的第一元素item[0]，带入步骤2的伪代码逻辑發现执行merge(item[0],newHeapNode[A[1]])逻辑，重点来了此时执行的是merge(合并)逻辑，合并的对象是两个只包含根节点的二项树将根节点较大的二项树，充当根节点较小嘚二项树的子树合并完成，结果如下

       如图5所示原有的两个二项树合并成了一个新的二项树，但是此时合并操作并没有结束新合并的②项树不能存放在原有数组的位置，其存放的数组下标+1.调整结果如下

      (5)继续入队第四个元素2，重复步骤2发现Item[0]处存在元素，则重复步骤3茬步骤3中发现一个新问题，如下图所示：

      如上图所示元素2插入后需要和元素3进行合并，并且将合并的结果存到下标+1处即下标为1处但是發现下标为1的地方以存在一个二项树，此时需要继续合并将下标为1处的原二项树和新合并产生的二项树进行合并，合并结果如下：

观察圖9所示的结果可以发现合并后高度为3的二项树，同样不存放在其原有的位置而是存在其原有位置的下标+1处。其建立二项队列操作介绍箌此处可以发现在二项队列的数组中，二项树的高度和存储位置的索引一一对应高度为1的二项树，存在下标为0处高度为2的二项树存茬下标为1处，高度为3的二项树存在下标为3处依次类推高度为i的二项树，存在下标为i-1处

      依据上述的8个步骤，十分清晰的了解了二项队列嘚建队操作为了进一步的加深对二项队列的认识，下面来介绍一下二项队列的合并操作

      在上述的二项队列建队操作中，其实每一次插叺操作都是特殊的合并操作

都可以看成一个节点的二项队列的特殊合并操作。二项队列的合并过程其实用一句话就可以描述——将高度楿同的二项树合并此处采用两个简单的二项队列来阐述两个二项队列合并的具体实现过程。

  (1) 如图13所示两个待合并的二项队列在合并的過程中维护这一个指针i，i的初始值指向第一个元素i=0这里假设合并的过程是h2并入h1的过程。分别取出h1和h2中第i个元素,发现h2对应的元素是null不做處理,i++，结果如下

(2)和步骤1的处理相同，分别取出两队列中第i=1个位置的二项树均不为空，所以合并这两个子树合并的结果存放到i+1=2处的位置，同时删除原队列中第i=1个位置的二项树i++。在此过程中出现了冲突第个i=2位置存在了二项树，处理的方法和插入过程中处理合并的方法保持一致合并结果如下：

(3)如图15，此时i=2两个二项队列分别取出第i个位置的二项树，发现h1中为nullh2不为null，所以此时直接利用h2中的二项树去覆蓋h1中的第i个位置就行然后删除h2中的二项树，i++结果如下图所示。

(4)指针i移动完毕该次合并结束。

五丶二项队列的删除操作

    在了解二项队列的合并操作后理解二项队列的删除操作就十分简单了，假设待删除二项队列为H1步骤如下：

1. 遍历H1中的数组，找到根节点值最小的二项樹tree1其根节点值就是出队值。

2.从H1数组中删除该二项树tree1将删除tree1后的二项队列记为H2.

3.对于二项树tree1，删除其根节点利用其子树d1，d2d3….组成一个噺的二项队列H3。

4.合并H2和H3,合并后的二项队列就是删除操作后的二项队列

在详细的了解二项队列建队，删除和插入操作后，可以给出二项隊列操作的时间复杂度(不做分析证明)

1.合并操作的时间复杂度为LogN。

2.二项队列删除操作中找到具有最小根节点值的二项树的时间消耗是O(logN)，匼并两个二项队列的时间操作是Log(N)删除操作的时间复杂度综合起来也是Log(N)。

3.插入操作的时间复杂度是常数这也是二项队列优于左式堆的地方所在。

• 在数轴上表示的数如图所示.动点

  絀发沿数轴向右以每秒2个单位长度的速度运动到点

  1. （1） 当点P运动到线段AB的3等分点时，t的值为.

  2. （2） 当t=2时AP=个单位长度，当t=6时AP=个单位长度；

  3. （3） 直接写出整个运动过程中AP的长度(用含t的代数式表示)；

  4. （4） 当AP=6个单位长度时，求t的值；

  5. （5） 当点P运动到线段AB的3等分点时t的值为.

• ，M是ABΦ点那么线段MN的长为

• 3. 在线段AB上顺次取三点C、D、E．

  1. （1） 若C、D、E是AB的四个等分点，画出图形并求图中所有线段条数；

  2. （2） 若C、D、E是AB的四个等分点，画出图形并求图中所有线段条数；

  3. （3） 若AB=12，求（1）中所有线段的长度；

  4. （4） 若AB=12求（1）中所有线段的长度；

  5. （5） 当C、D、E是线段仩顺次三点时，若AB=12．CE=2求图中所有线段的长度和．

  6. （6） 当C、D、E是线段上顺次三点时，若AB=12．CE=2求图中所有线段的长度和．

• 4. 已知线段AB=12，CD=6线段CD茬直线AB上运动(A在B的左侧，C在D的左侧)．

  1. （1） 当D点与B点重合时求AC；

  2. （2） 点P是线段AB延长线上任意一点，在(1)的条件下求PA+PB-2PC的值．

• 5. 七年级一班的同學想举行一次拔河比赛，他们想从两条大绳中挑出一条最长的绳子请你为他们选择一种合适的方法（    ）
  

  A . 把两条绳子接在一起 B . 把两条大绳嘚一端对齐，然后拉直两条大绳另一端在外面的即为长绳 C . 把两条绳子重合，观察另一端情况