二分查找很好的解决了查找问题,将时间复杂度从 O(n)降到了O(logn)。 但是二分查找的前提条件是数据必须是有序的,并且具有线性的下标。 对于线性表,可以很好的应用二分查找,但是在插入和删除操作时则可能会造成整个线性表的动荡,时间复杂度达到了O(n) 链表更是没法应用二分查找。
于是有了下面将要介绍的算法,其在查找、插入、删除都能够达到O(logn)的时间复杂度 —— 二叉查找树
见名知意,其数据结构基础为二叉树,初次接触到二叉树时并没有感觉到其有什么突出之处。但看到通过二叉树构建出的二叉查找树方案时,确被深深的震撼了。
定义
二叉查找树(英语:Binary Search Tree),也称二叉搜索树、有序二叉树(英语:ordered binary tree),排序二叉树(英语:sorted binary tree),是指一棵空树或者具有下列性质的二叉树:
若任意结点的左子树不空,则左子树上所有结点的值均小于它的根结点的值; 若任意结点的右子树不空,则右子树上所有结点的值均大于它的根结点的值; 任意结点的左、右子树也分别为二叉查找树; 没有键值相等的结点。
根据上面的规则我们先来定义一颗二叉树
这里可以很容易看出其规律,不需要过多的解释。
插入
现在再插入一个元素13。 13>12所以往右边走来到14,13 < 14则左走,发现14没有左孩子,所以将13插入之,得到下面这张图
查找
按照上面插入的思路,可以很容易实现搜索操作。并且发现其查找的时间复杂度就为这颗树的深度。
根据完全二叉树的性质,具有n个结点的完全二叉树的深度为
[logn] + 1
忽略掉+1
得到二叉查找树的查找时间复杂度为 O(logn)
,但是实际上并非如此,后面我们分析。
遍历
二叉树的遍历有前序、中序、后序遍历三种方式,这里着重介绍后序遍历。 对二差查找树进行中序遍历时,可以得到一个asc
的排序结果。如上面的树中序遍历的结果是 3, 8, 9, 12, 13, 14。 中序遍历从一颗子树最左的节点开始输出,既该树的最小值
。实现中序遍历只需要将数据收集点置于左递归点与右递归点之间,这样说还是有些含糊了,看代码吧
/**
* 中序遍历
* @param $root
* @return array
*/
public function inorder($root)
{
$data = [];
if ($root->left) {
$data = array_merge($data, $this->inorder($root->left)); //左孩子递归点
}
$data[] = $root->data; // 这里是中序遍历的数据收集点
if ($root->right) {
$data = array_merge($data, $this->inorder($root->right)); // 右孩子递归点
}
return $data;
}
前驱与后继, 以9节点为例, 12属于9的后继,8属于9的前驱。
删除
我们给这颗树多加几个结点
删除树中的结点分为很多种情况,如被删除的结点不存在子结点,只存在左子树/右子树,左右子树都存在,这里已覆盖率最广的左右子树都存在为例。
分析一个需求时要并不是需求存在多少中情况我们就写多少种情况。而应该分析情况之间的关系,是否存在重复,或者属于关系等,程序员应该做的就是提取需求的本质,力求于最简洁的实现
现在我们打算删除25这个结点,你会怎么做? 如果只是简单把18来顶替原来25的位置,则需要对18这颗子树的孩子们进行重新调整。18只有三个孩子还好,但是当孩子成千上万时,显然会造成大面积的调整。 所以我希望能够找到一个更好的节点来代替25,按照算法导论中的描述,我们应该寻找该结点的前驱或者后继来代替,比如图中的24和27分别是25的前驱和后继。
为什么要使用前驱或者后缀来代替?这点我十分不确定,我给自己的理由是
- 该结点是一个特殊值,属于某颗子树的最大值或者最小值,具有确定性,可以被比较好的定义且查找出来。
- 由于该结点属于被删除节点的前驱或者后继,则删除该结点对数据结构造成的影响最小。我并不确定是对什么的数据结构造成的影响最小
上面描述的情况的图解如下 ↓
删除还存在一些其他的情况,比如下面这种情况↓
对于这种情况直接将30提升到25即可,接下来看一下看php的代码实现:
public function delete($root, $data)
{
if (!$root) {
return null;
}
if ($root->data === $data) {
if ($root->left) {
// 左转
$node = $root->left;
$parent = $root;
$toward = 'left';
while ($node->right) {
$parent = $node;
$toward = 'right';
$node = $node->right;
}
$root->data = $node->data;
$parent->{$toward} = $this->delete($node, $node->data);
} else {
return $root->right;
}
} elseif ($root->data > $data) {
// 如果root的左孩子没有被删除,那就原样返回回来, 如果被删除了,那就找个孩子代替
$root->left = $this->delete($root->left, $data);
} else {
$root->right = $this->delete($root->right, $data);
}
return $root;
}
由于php有内存回收机制,因此我们没有办法像c一样直接去修改内存,所以这里借助递归的特性来解决这个问题 $root->left = $this->delete($root->left, $data);
做类似这样一个处理,这可能会有些理解上的困难。但总归还是能够明白的~
除了递归解决外,也可以用下面这种办法。 即定义一个parent和toward来做一个导向,这在上面的代码中也有体现。该方法更加适用于迭代处理
$parent = $root;
$toward = 'left';
while ($node->right) {
$parent = $node;
$toward = 'right';
$node = $node->right;
}
更详细的实习细节和调用示例请参考单元测试。
算法实现
补充
由于php没有像js一样的字面量对象或者c一样的struct。因此直接使用对象来表示树中的结点
class BiTNode
{
public $data;
public $left;
public $right;
public function __construct($data, $left = null, $right = null)
{
$this->data = $data;
$this->left = $left;
$this->right = $right;
}
}
在查找的时候指出了,二叉查找树的查询的时间复杂度并不是严格意义上的O(logn) 是因为有这样的情况发生, 假设需要插入 12, 10, 9, 5, 4, 1这几个数据,那么我们会得到这样一颗歪脖子树
此时的时间复杂度俨然已经变成了O(n),不过对于这样的问题自然已经有解决方案。下一节将会在
AVL树和
红黑树这两种解决方案中选一种来BB~
当然二叉查找树依旧是各种树的根基,还请认真理解。
今天的文章Amazing tree —— 二叉查找树分享到此就结束了,感谢您的阅读。
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/18071.html