二叉排序树的特征
二叉排序树或者是一棵空树,或者是具有如下特性的二叉树:
1.每一元素都有一个键值, 而且不允许重复;
2.若它的左子树不空,则左子树上所有结点的值均小于根结点的值;
3.若它的右子树不空,则右子树上所有结点的值均大于根结点的值;
4.它的左、右子树也都分别是二叉排序树。
二叉排序树保存的元素构造
template <typename Type>
class Element
{
public:
Element(const Type& _key): key(_key) {}
Element():key(0) {}
Type key;
//在这儿可以很容易的添加更多的数据
//方便对Element进行扩展
};
二叉排序树节点的设计与实现
template <typename Type>
class BstNode
{
friend class BsTree<Type>;
public:
BstNode(const Element<Type> &_data = 0,
BstNode *_leftChild = NULL,
BstNode *_rightChild = NULL)
: data(_data), leftChild(_leftChild), rightChild(_rightChild) {}
const Type &getData() const
{
return data.key;
}
private:
//Node当中保存的是Element元素
Element<Type> data;
BstNode *leftChild;
BstNode *rightChild;
void display(int i);
};
//中序遍历二叉树:
//能够保证该二叉树元素按照递增顺序打印出来
template <typename Type>
void BstNode<Type>::display(int i)
{
//首先访问左子树
if (leftChild != NULL)
leftChild->display(2*i);
//访问中间节点
//Number表示为如果该树为完全二叉树/满二叉树, 其编号为几
std::cout << "Number: " << i << ", data.key = " << data.key << std::endl;
//访问右子树
if (rightChild != NULL)
rightChild->display(2*i+1);
}
二叉排序树的构造
template <typename Type>
class BsTree
{
public:
//构造与析构
BsTree(BstNode<Type> *init = NULL): root(init) {}
~BsTree()
{
if (!isEmpty())
makeEmpty(root);
}
//二叉查找树的三大主力:插入, 删除, 搜索(又加入了一个迭代搜索)
//插入
bool insert(const Element<Type> &item);
//删除
void remove(const Element<Type> &item)
{
remove(item, root);
}
//递归搜索
const BstNode<Type>* search(const Element<Type> &item)
{
return search(item, root);
}
//迭代搜索
const BstNode<Type> *searchByIter(const Element<Type> &item);
//实用函数
void display() const
{
if (root != NULL)
root->display(1);
}
void visit(BstNode<Type> * currentNode) const
{
std::cout << "data.key = "
<< currentNode->data.key << std::endl;
}
bool isEmpty() const
{
return root == NULL;
}
void makeEmpty(BstNode<Type> *subTree);
//中序遍历
void levelOrder() const;
private:
const BstNode<Type>* search(const Element<Type> &item,
const BstNode<Type> *currentNode);
void remove(const Element<Type> &item,
BstNode<Type> *¤tNode);
private:
BstNode<Type> *root;
};
二叉排序树的插入算法
根据动态查找表的定义,“插入”操作在查找不成功时才进行;若二叉排序树为空树,则新插入的结点为新的根结点;否则,新插入的结点必为一个新的叶子结点,其插入位置由查找过程得到。
//二叉排序树插入的实现与解析
template <typename Type>
bool BsTree<Type>::insert(const Element<Type> &item)
{
//如果这是新插入的第一个节点
if (root == NULL)
{
root = new BstNode<Type>(item);
root->leftChild = root->rightChild = NULL;
return true;
}
BstNode<Type> *parentNode = NULL; //需要插入位置的父节点
BstNode<Type> *currentNode = root; //需要插入的位置
while (currentNode != NULL)
{
//如果二叉树中已经含有了该元素, 则返回插入出错
if (item.key == currentNode->data.key)
return false;
parentNode = currentNode;
//如果要插入的元素大于当前指向的元素
if (item.key < currentNode->data.key)
currentNode = currentNode->leftChild; //向左搜索
else
currentNode = currentNode->rightChild; //向右搜索
}
//此时已经查找到了一个比较合适的插入位置了
if (item.key < parentNode->data.key)
parentNode->leftChild = new BstNode<Type>(item);
else
parentNode->rightChild = new BstNode<Type>(item);
return true;
}
二叉排序树的查找算法
若二叉排序树为空,则查找不成功;否则:
1.若给定值等于根结点的关键字,则查找成功;
2.若给定值小于根结点的关键字,则继续在左子树上进行查找;
3.若给定值大于根结点的关键字,则继续在右子树上进行查找。
//二叉排序树搜索的设计与实现
//递归搜索
template <typename Type>
const BstNode<Type>* BsTree<Type>::search(const Element<Type> &item,
const BstNode<Type> *currentNode)
{
if (currentNode == NULL)
return NULL;
if (currentNode->data.key == item.key)
return currentNode;
if (item.key < currentNode->data.key)
return search(item, currentNode->leftChild);
else
return search(item, currentNode->rightChild);
}
//迭代搜索
template <typename Type>
const BstNode<Type> *BsTree<Type>::searchByIter(const Element<Type> &item)
{
for (BstNode<Type> *searchNode = root;
searchNode != NULL;
/*empty*/)
{
if (item.key == searchNode->data.key)
return searchNode;
if (item.key < searchNode->data.key)
searchNode = searchNode->leftChild;
else
searchNode = searchNode->rightChild;
}
return NULL;
}
二叉排序树的删除算法
和插入相反,删除在查找成功之后进行,并且要求在删除二叉排序树上某个结点之后,仍然保持二叉排序树的特性。
删除分三种情况:
1.被删除的结点是叶子节点:其双亲结点中相应指针域的值改为“空”, 并将该节点删除;
2.被删除的结点只有左子树或者只有右子树:其双亲结点的相应指针域的值改为 “指向被删除结点的左子树或右子树”, 然后删除该节点;
3.被删除的结点既有左子树,也有右子树:以其前驱替代之,然后再删除该前驱结点;
//二叉排序树节点删除的实现与解析如下
template <typename Type>
void BsTree<Type>::remove(const Element<Type> &item,
BstNode<Type> *¤tNode)
{
if (currentNode != NULL)
{
//如果要删除的元素小于当前元素
if (item.key < currentNode->data.key)
remove(item, currentNode->leftChild); //向左搜索删除
//如果要删除的元素大于当前元素
else if (item.key > currentNode->data.key)
remove(item, currentNode->rightChild); //向右搜索删除
//如果要删除掉的元素等于当前元素(找到要删除的元素了)
// 并且当前节点的左右子女节点都不为空
else if ((currentNode->leftChild != NULL) && (currentNode->rightChild != NULL))
{
//从当前节点的右子女节点开始,
//不断向左寻找, 找到从当前节点开始中序遍历的第一个节点
//找到的这一个节点是在当前子树中, 大于要删除的节点的第一个节点
BstNode<Type> *tmp = currentNode->rightChild;
while (tmp->leftChild != NULL)
tmp = tmp->leftChild;
//用搜索到的节点值覆盖要删除的节点值
currentNode->data.key = tmp->data.key;
//删除搜索到的节点
remove(currentNode->data, currentNode->rightChild);
}
//如果当前节点就是要删除的节点
//并且其左子女(和/或)右子女为空
//默认包含了左右子女同时为空的情况:
//即: 在if中肯定为true
else
{
BstNode<Type> *tmp = currentNode;
//如果左子女为空
if (currentNode->leftChild == NULL)
//则用他的右子女节点顶替他的位置
currentNode = currentNode->rightChild;
//如果右子女为空
else
//则用他的左子女节点顶替他的位置
currentNode = currentNode->leftChild;
//释放节点
delete tmp;
}
}
}
二叉查找树的几个实用操作
//清空二叉树
template <typename Type>
void BsTree<Type>::makeEmpty(BstNode<Type> *subTree)
{
if (subTree != NULL)
{
if (subTree->leftChild != NULL)
makeEmpty(subTree->leftChild);
if (subTree->rightChild != NULL)
makeEmpty(subTree->rightChild);
delete subTree;
}
}
//二叉查找树的层次遍历
template <typename Type>
void BsTree<Type>::levelOrder() const
{
std::queue< BstNode<Type> * > queue;
queue.push(root);
while (!queue.empty())
{
BstNode<Type> *currentNode = queue.front();
queue.pop();
visit(currentNode);
if (currentNode->leftChild != NULL)
queue.push(currentNode->leftChild);
if (currentNode->rightChild != NULL)
queue.push(currentNode->rightChild);
}
}
二叉排序树的性能分析
对于每一棵特定的二叉排序树,均可按照平均查找长度的定义来求它的 ASL 值,显然,由值相同的 n 个关键字,构造所得的不同形态的各棵二叉排序树的平均查找长度的值不同,甚至可能差别很大(如果二叉查找树退化成一条链表, 则其插入/删除/查找的性能都会退化为O(N))。
但是在随机情况下, 二叉排序树的搜索, 插入, 删除操作的平均时间代价为O(logN);