数据结构：二项队列原理及其C++实现

前言：

        这次，将进行介绍的是一个特殊而有趣的队列——二项队列。在二项队列中你会发现人们是怎么把二进制的思想体现在数据结构中的；同时二项队列也是一种很高效的队列，对于合并、插入以及DeleteMin操作，它的最坏运行时间为O(LogN)，而插入平均花费常数时间进行。那么接下来开始我们的讲解吧~~

原理：

        首先我们得知道，二项队列并不是一颗堆序的树，而是堆序树的一个集合，也可以成为森林。而在森林中的每棵树，我们称之为二项树。二项树有如下的性质：1. 高度为0的二项树是一颗单节点的树；

2. 高度为n的二项树Bn，通过将一颗二项树B(n-1)接到另一颗二项树B(n-1)上构成；换句话来将，对于高度为n的树它的节点数为2的n次方；


如上图所示，这就是二项树深林，而二项队列与普通的堆相同，都支持合并，插入以及DeleteMin操作；表现方式：        对于二项树，我们不使用一般的树的形式来对其进行储存，我们要求二项树的每一个节点包含数据，第一个儿子以及其右兄弟，同时保证其子节点元素一定小于父节点的元素。在离散数学中，这是一种很普遍的表达树的形式。


合并：        对于二项队列来说合并可以说是最重要的操作，合并的目的是将两个二项队列进行合并，其中涉及到了单独两科二项树之间的合并以及森林(二项队列)之间的合并；对于二项树之间的合并是非常简单的，即先判断两颗二项树的头结点的大小，将元素较大的作为另外一颗树的新儿子，旧儿子则变为新儿子的右兄弟。

代码如下：

BinTree B_queue::CombineTrees(BinTree T1, BinTree T2) {
// 判断是否需要反接
if (T1->Element > T2->Element)
return CombineTrees(T2, T1);

// 将T2接在T1上
T2->NextSibling = T1->LeftChild;
T1->LeftChild = T2;
return T1;
}

        可以看到合并两颗二项树所需要的操作是非常少的。那么如何进行森林的合并呢？这里，我们需要一点二进制的思想。我们先回忆一下，两个二进制数相加的情况：比如00101+00011的结果用二进制表示将会是01000，我们将从最低位开始运算，满二进一并向高位进位。而在二项树的合并中，我们也保留相同的思路，将有树看为1将没有树看为0，那么从高度最小的二项树之间开始合并，树的合并也就等效成了二进制的加法。

上图

        我们可以发现上图中的二项队列合并可以看做二进制的加法0011 + 0111 = 1010；也就是说，我们运用二进制的思想，就可以很好的解决二项队列的合并问题！        代码如下：

void B_queue::Merge(B_queue &other) {
// T1:该二项队列的二项树
// T2:另一个二项队列的二项树
// Carry:额外合成的二项树
BinTree T1, T2, Carry = NULL;
int i, j;

// 判断是否可以进行合并
if (CurrentSize + other.CurrentSize > 2 * (1 << MaxSize) - 1) {
cout << "队列合并后超出长度!" << endl;
return;
}

CurrentSize += other.CurrentSize; // 更新元素个数
// 检索所有的二项树
for (i = 0, j = 1; j <= CurrentSize; i++, j *= 2) {
T1 = TheTrees[i], T2 = other.TheTrees[i];

switch (!!T1 + 2 * !!T2 + 4 * !! Carry)
{
// 都没有
case 0:
// 只有T1
case 1:
break;
// 只有T2
case 2:
TheTrees[i] = other.TheTrees[i];
other.TheTrees[i] = NULL;
break;
// 有T1和T2
case 3:
Carry = CombineTrees(T1, T2);
TheTrees[i] = other.TheTrees[i] = NULL;
break;
// 只有Carry
case 4:
TheTrees[i] = Carry;
Carry = NULL;
break;
// 有T1和Carry
case 5:
Carry = CombineTrees(T1, Carry);
TheTrees[i] = NULL;
break;
// 有T2和Carry
case 6:
Carry = CombineTrees(T2, Carry);
other.TheTrees[i] = NULL;
break;
// 有T1，T2和Carry
case 7:
TheTrees[i] = Carry;
Carry = CombineTrees(T1, T2);
other.TheTrees[i] = NULL;
break;
default:
break;
}
}
}

        可以看到，在具体的代码中，我们用了一个新的二项树节点来保存进位，以此来达到我们向二进制加法的转换。同时巧妙的通过switch将8中情况给完美的进行了对应。(8种情况很好解释，应为2的三次方等于8)

插入操作：        在我们完成了合并以后，插入操作就显得非常显而易见了。当我们想要插入某个元素的时候，我们只需重新生成一个只有目标元素的二项队列，然后将它与原来的二项队列进行合并，即可达到插入的目的！        代码如下：

void B_queue::Insert(int key) {
// 申请新的二项队列
B_queue other(MaxSize);

// 初始化一个新的队列，并加入一个指定元素
other.TheTrees[0] = new BinNode();
other.TheTrees[0]->Element = key;
other.TheTrees[0]->LeftChild = other.TheTrees[0]->NextSibling = NULL;
other.CurrentSize = 1;

// 合并新队列
Merge(other);
}

删除操作：

        删除操作与插入相比要复杂一些，不过我们已经掌握了合并操作，所以对我们来说也不是什么难事了。删除要求我们删除队列中的最小元素并返回它的值，我们只需要遍历队列中每个树的树根，找到其中最小的元素，将该节点删除并返回其值即可。不过当删除一个树根节点后，会使其不满足二项队列的性质，因此，我们采取如下措施：1. 找到最小元素所在的二项树后，在一个新的队列H2中加入该二项树，同时在原队列中删除该二项树；

2. 在H2中删除最小的节点后，将二项树的每一个儿子作为新的二项树的树根；(如下图所示)

3. 将H2队列与H1队列进行合并，即完成删除操作；

        代码如下：

int B_queue::DeleteMin() {
// MinTree:最小值所在的树
// MinElement:队列中的最小值
// DeletedQueue:被删除树所组成的新队列
// DeletedTree:被删除树
int MinTree;
int MinElement;
B_queue DeletedQueue;
Position DeletedTree, oldRoot;

MinElement = INT_MAX;
// 获取队列中的最小值以及其所在二项树
for (int i = 0; i < MaxSize; i++) {
if (TheTrees[i] && TheTrees[i]->Element < MinElement) {
MinTree = i;
MinElement = TheTrees[i]->Element;
}
}

// 删除最小元素所在的节点
DeletedTree = TheTrees[MinTree];
oldRoot = DeletedTree;
DeletedTree = DeletedTree->LeftChild;
delete oldRoot;
oldRoot = NULL;

// 更新新队列
DeletedQueue.CurrentSize = (1 << MinTree) - 1; // 设置新队列的元素个数
for (int i = MinTree - 1; i >= 0; i--) {
DeletedQueue.TheTrees[i] = DeletedTree;
DeletedTree = DeletedTree->NextSibling;
DeletedQueue.TheTrees[i]->NextSibling = NULL;
}

// 该二项队列的对于二项树置空
TheTrees[MinTree] = NULL;
CurrentSize -= DeletedQueue.CurrentSize + 1; // 更新大小

// 与新的二项队列合并
Merge(DeletedQueue);

// 返回最小值
return MinElement;
}

这样整个二项队列的标准操作就完成了。

C++实现：

        首先是.h文件：

#ifndef B_QUEUE_H
#define B_QUEUE_H

#include <iostream>
#include <iomanip>
#include <limits>
using namespace std;

// 重命名二项树节点
typedef struct BinNode *Position;
typedef struct BinNode *BinTree;

/* 二项树节点
* 储存元素:
* Element:节点中存储的元素
* LeftChild:节点的左子树
* NextSibling:节点的兄弟节点
*/
struct BinNode {
int Element;
Position LeftChild;
Position NextSibling;
};

/* B_queue类(二项队列)
* 接口:
* B_queue(int):构造函数，该队列的最大阶数
* Insert:插入功能，向二项队列中插入一个指定元素
* DeleteMin:删除功能，删除队列中的最小元，并返回其值
* MakeEmpty:置空功能，将二项队列置空
* Display:展示功能，展示二项队列中的元素
*/
class B_queue
{
public:
// 构造函数
B_queue(int = 10);
//析构函数
~B_queue();

// 接口函数
void Insert(int);
int DeleteMin();
void MakeEmpty();
void Display();

private:
// 合成函数
void Merge(B_queue &);
BinTree CombineTrees(BinTree, BinTree);

// 辅助函数
void MakeEmpty(BinTree);
void Display(BinTree, int);

int MaxSize; // 储存二项队列的阶数
int CurrentSize; //储存二项队列储存元素个数
BinTree *TheTrees; // 二项树森林
};

#endif

        接下来是.cpp文件：

#include "stdafx.h"
#include "B_queue.h"

/* 构造函数:初始化对象
* 返回值:无
* 参数:size:二项队列的阶数
*/
B_queue::B_queue(int size)
: MaxSize(size){
// 初始化二项队列
CurrentSize = 0;
TheTrees = new BinTree[MaxSize];
for (int i = 0; i < MaxSize; i++)
TheTrees[i] = NULL;
}

/* 析构函数:对象消亡时回收存储空间
* 返回值:无
* 参数:无
*/
B_queue::~B_queue()
{
MakeEmpty(); // 置空二项队列

// 删除森林
delete TheTrees;
TheTrees = NULL;
}

/* 置空函数:将二项队列置空
* 返回值:无
* 参数:无
*/
void B_queue::MakeEmpty() {
// 将森林中的每棵树置空
for (int i = 0; i < MaxSize; i++)
MakeEmpty(TheTrees[i]);
}

/* 置空函数:将二项树置空
* 返回值:无
* 参数:无
*/
void B_queue::MakeEmpty(BinTree Tree) {
if (Tree == NULL)
return;

MakeEmpty(Tree->LeftChild); // 递归置空子树
MakeEmpty(Tree->NextSibling); // 递归置空兄弟节点

// 删除当前节点
delete Tree;
Tree = NULL;
}

/* 展示函数:展示二项队列中的信息
* 返回值:无
* 参数:无
*/
void B_queue::Display() {
// 展示森林中的所以信息
for (int i = 0; i < MaxSize; i++) {
cout << "第" << i << "阶:" << endl;
Display(TheTrees[i], 0);
}
}

/* 展示函数:展示二项树中的信息
* 返回值:无
* 参数:Tree:想要展示信息的树；index:辅助下标，1为子树，2为兄弟节点
*/
void B_queue::Display(BinTree Tree, int index) {
if (Tree == NULL)
return;

if (index == 1)
cout << "子";
if (index == 2)
cout << "兄";
cout << Tree->Element << endl;
Display(Tree->LeftChild, 1); // 递归展示子节点
Display(Tree->NextSibling, 2); // 递归展示兄弟节点
}

/* 组合函数:将两个二项树组合在一起
* 返回值:BinTree:组合后的二项树
* 参数:T1:参与组合的二项树；T2:参与组合的二项树
*/
BinTree B_queue::CombineTrees(BinTree T1, BinTree T2) {
// 判断是否需要反接
if (T1->Element > T2->Element)
return CombineTrees(T2, T1);

// 将T2接在T1上
T2->NextSibling = T1->LeftChild;
T1->LeftChild = T2;
return T1;
}

/* 合并函数:另一个二项队列与该队列组合在一起
* 返回值:无
* 参数:other:参与组合的二项队列
*/
void B_queue::Merge(B_queue &other) {
// T1:该二项队列的二项树
// T2:另一个二项队列的二项树
// Carry:额外合成的二项树
BinTree T1, T2, Carry = NULL;
int i, j;

// 判断是否可以进行合并
if (CurrentSize + other.CurrentSize > 2 * (1 << MaxSize) - 1) {
cout << "队列合并后超出长度!" << endl;
return;
}

CurrentSize += other.CurrentSize; // 更新元素个数
// 检索所有的二项树
for (i = 0, j = 1; j <= CurrentSize; i++, j *= 2) {
T1 = TheTrees[i], T2 = other.TheTrees[i];

switch (!!T1 + 2 * !!T2 + 4 * !! Carry)
{
// 都没有
case 0:
// 只有T1
case 1:
break;
// 只有T2
case 2:
TheTrees[i] = other.TheTrees[i];
other.TheTrees[i] = NULL;
break;
// 有T1和T2
case 3:
Carry = CombineTrees(T1, T2);
TheTrees[i] = other.TheTrees[i] = NULL;
break;
// 只有Carry
case 4:
TheTrees[i] = Carry;
Carry = NULL;
break;
// 有T1和Carry
case 5:
Carry = CombineTrees(T1, Carry);
TheTrees[i] = NULL;
break;
// 有T2和Carry
case 6:
Carry = CombineTrees(T2, Carry);
other.TheTrees[i] = NULL;
break;
// 有T1，T2和Carry
case 7:
TheTrees[i] = Carry;
Carry = CombineTrees(T1, T2);
other.TheTrees[i] = NULL;
break;
default:
break;
}
}
}

/* 插入函数:向二项队列中插入指定元素
* 返回值:无
* 参数:key:想要插入的元素
*/
void B_queue::Insert(int key) {
// 申请新的二项队列
B_queue other(MaxSize);

// 初始化一个新的队列，并加入一个指定元素
other.TheTrees[0] = new BinNode();
other.TheTrees[0]->Element = key;
other.TheTrees[0]->LeftChild = other.TheTrees[0]->NextSibling = NULL;
other.CurrentSize = 1;

// 合并新队列
Merge(other);
}

/* 删除函数:删除队列中的最小元素，并返回其值
* 返回值:int:队列中的最小值
* 参数:无
*/
int B_queue::DeleteMin() {
// MinTree:最小值所在的树
// MinElement:队列中的最小值
// DeletedQueue:被删除树所组成的新队列
// DeletedTree:被删除树
int MinTree;
int MinElement;
B_queue DeletedQueue;
Position DeletedTree, oldRoot;

MinElement = INT_MAX;
// 获取队列中的最小值以及其所在二项树
for (int i = 0; i < MaxSize; i++) {
if (TheTrees[i] && TheTrees[i]->Element < MinElement) {
MinTree = i;
MinElement = TheTrees[i]->Element;
}
}

// 删除最小元素所在的节点
DeletedTree = TheTrees[MinTree];
oldRoot = DeletedTree;
DeletedTree = DeletedTree->LeftChild;
dele
9cc2
te oldRoot;
oldRoot = NULL;

// 更新新队列
DeletedQueue.CurrentSize = (1 << MinTree) - 1; // 设置新队列的元素个数
for (int i = MinTree - 1; i >= 0; i--) {
DeletedQueue.TheTrees[i] = DeletedTree;
DeletedTree = DeletedTree->NextSibling;
DeletedQueue.TheTrees[i]->NextSibling = NULL;
}

// 该二项队列的对于二项树置空
TheTrees[MinTree] = NULL;
CurrentSize -= DeletedQueue.CurrentSize + 1; // 更新大小

// 与新的二项队列合并
Merge(DeletedQueue);

// 返回最小值
return MinElement;
}

        那么整个二项队列到这里也就讲完啦，如果大家有什么疑问，或者我说的不好的地方欢迎指出，我一定会改正的~~
参考文献：《数据结构与算法分析——C语言描述》