mirror of
https://github.com/krahets/hello-algo.git
synced 2026-04-14 10:20:40 +08:00
deploy
This commit is contained in:
krahets
@@ -1074,36 +1074,36 @@
|
||||
<nav class="md-nav" aria-label="7.4.2. AVL 树旋转">
|
||||
<ul class="md-nav__list">
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-1-" class="md-nav__link">
|
||||
Case 1 - 右旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-2-" class="md-nav__link">
|
||||
Case 2 - 左旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-3-" class="md-nav__link">
|
||||
Case 3 - 先左后右
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-4-" class="md-nav__link">
|
||||
Case 4 - 先右后左
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_3" class="md-nav__link">
|
||||
右旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_4" class="md-nav__link">
|
||||
左旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_5" class="md-nav__link">
|
||||
先左旋后右旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_6" class="md-nav__link">
|
||||
先右旋后左旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_7" class="md-nav__link">
|
||||
旋转的选择
|
||||
</a>
|
||||
|
||||
@@ -1123,21 +1123,21 @@
|
||||
<ul class="md-nav__list">
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_4" class="md-nav__link">
|
||||
<a href="#_8" class="md-nav__link">
|
||||
插入节点
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_5" class="md-nav__link">
|
||||
<a href="#_9" class="md-nav__link">
|
||||
删除节点
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_6" class="md-nav__link">
|
||||
<a href="#_10" class="md-nav__link">
|
||||
查找节点
|
||||
</a>
|
||||
|
||||
@@ -1839,36 +1839,36 @@
|
||||
<nav class="md-nav" aria-label="7.4.2. AVL 树旋转">
|
||||
<ul class="md-nav__list">
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-1-" class="md-nav__link">
|
||||
Case 1 - 右旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-2-" class="md-nav__link">
|
||||
Case 2 - 左旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-3-" class="md-nav__link">
|
||||
Case 3 - 先左后右
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#case-4-" class="md-nav__link">
|
||||
Case 4 - 先右后左
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_3" class="md-nav__link">
|
||||
右旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_4" class="md-nav__link">
|
||||
左旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_5" class="md-nav__link">
|
||||
先左旋后右旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_6" class="md-nav__link">
|
||||
先右旋后左旋
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_7" class="md-nav__link">
|
||||
旋转的选择
|
||||
</a>
|
||||
|
||||
@@ -1888,21 +1888,21 @@
|
||||
<ul class="md-nav__list">
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_4" class="md-nav__link">
|
||||
<a href="#_8" class="md-nav__link">
|
||||
插入节点
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_5" class="md-nav__link">
|
||||
<a href="#_9" class="md-nav__link">
|
||||
删除节点
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_6" class="md-nav__link">
|
||||
<a href="#_10" class="md-nav__link">
|
||||
查找节点
|
||||
</a>
|
||||
|
||||
@@ -1944,21 +1944,20 @@
|
||||
|
||||
|
||||
<h1 id="74-avl">7.4. AVL 树 *<a class="headerlink" href="#74-avl" title="Permanent link">¶</a></h1>
|
||||
<p>在「二叉搜索树」章节中提到，在进行多次插入与删除操作后，二叉搜索树可能会退化为链表。此时所有操作的时间复杂度都会由 <span class="arithmatex">\(O(\log n)\)</span> 劣化至 <span class="arithmatex">\(O(n)\)</span> 。</p>
|
||||
<p>如下图所示，执行两步删除节点后，该二叉搜索树就会退化为链表。</p>
|
||||
<p>在二叉搜索树章节中，我们提到了在多次插入和删除操作后，二叉搜索树可能退化为链表。这种情况下，所有操作的时间复杂度将从 <span class="arithmatex">\(O(\log n)\)</span> 恶化为 <span class="arithmatex">\(O(n)\)</span>。</p>
|
||||
<p>如下图所示，经过两次删除节点操作，这个二叉搜索树便会退化为链表。</p>
|
||||
<p><img alt="AVL 树在删除节点后发生退化" src="../avl_tree.assets/avltree_degradation_from_removing_node.png" /></p>
|
||||
<p align="center"> Fig. AVL 树在删除节点后发生退化 </p>
|
||||
|
||||
<p>再比如，在以下完美二叉树中插入两个节点后，树严重向左偏斜，查找操作的时间复杂度也随之发生劣化。</p>
|
||||
<p>再例如，在以下完美二叉树中插入两个节点后，树将严重向左倾斜，查找操作的时间复杂度也随之恶化。</p>
|
||||
<p><img alt="AVL 树在插入节点后发生退化" src="../avl_tree.assets/avltree_degradation_from_inserting_node.png" /></p>
|
||||
<p align="center"> Fig. AVL 树在插入节点后发生退化 </p>
|
||||
|
||||
<p>G. M. Adelson-Velsky 和 E. M. Landis 在其 1962 年发表的论文 "An algorithm for the organization of information" 中提出了「AVL 树」。<strong>论文中描述了一系列操作，使得在不断添加与删除节点后，AVL 树仍然不会发生退化</strong>，进而使得各种操作的时间复杂度均能保持在 <span class="arithmatex">\(O(\log n)\)</span> 级别。</p>
|
||||
<p>换言之，在频繁增删查改的使用场景中，AVL 树可始终保持很高的数据增删查改效率，具有很好的应用价值。</p>
|
||||
<p>G. M. Adelson-Velsky 和 E. M. Landis 在其 1962 年发表的论文 "An algorithm for the organization of information" 中提出了「AVL 树」。论文中详细描述了一系列操作，确保在持续添加和删除节点后，AVL 树不会退化，从而使得各种操作的时间复杂度保持在 <span class="arithmatex">\(O(\log n)\)</span> 级别。换句话说，在需要频繁进行增删查改操作的场景中，AVL 树能始终保持高效的数据操作性能，具有很好的应用价值。</p>
|
||||
<h2 id="741-avl">7.4.1. AVL 树常见术语<a class="headerlink" href="#741-avl" title="Permanent link">¶</a></h2>
|
||||
<p>「AVL 树」既是「二叉搜索树」又是「平衡二叉树」，同时满足这两种二叉树的所有性质，因此又被称为「平衡二叉搜索树」。</p>
|
||||
<p>「AVL 树」既是二叉搜索树也是平衡二叉树，同时满足这两类二叉树的所有性质，因此也被称为「平衡二叉搜索树」。</p>
|
||||
<h3 id="_1">节点高度<a class="headerlink" href="#_1" title="Permanent link">¶</a></h3>
|
||||
<p>在 AVL 树的操作中，需要获取节点「高度 Height」，所以给 AVL 树的节点类添加 <code>height</code> 变量。</p>
|
||||
<p>在操作 AVL 树时，我们需要获取节点的高度，因此需要为 AVL 树的节点类添加 <code>height</code> 变量。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="1:10"><input checked="checked" id="__tabbed_1_1" name="__tabbed_1" type="radio" /><input id="__tabbed_1_2" name="__tabbed_1" type="radio" /><input id="__tabbed_1_3" name="__tabbed_1" type="radio" /><input id="__tabbed_1_4" name="__tabbed_1" type="radio" /><input id="__tabbed_1_5" name="__tabbed_1" type="radio" /><input id="__tabbed_1_6" name="__tabbed_1" type="radio" /><input id="__tabbed_1_7" name="__tabbed_1" type="radio" /><input id="__tabbed_1_8" name="__tabbed_1" type="radio" /><input id="__tabbed_1_9" name="__tabbed_1" type="radio" /><input id="__tabbed_1_10" name="__tabbed_1" type="radio" /><div class="tabbed-labels"><label for="__tabbed_1_1">Java</label><label for="__tabbed_1_2">C++</label><label for="__tabbed_1_3">Python</label><label for="__tabbed_1_4">Go</label><label for="__tabbed_1_5">JavaScript</label><label for="__tabbed_1_6">TypeScript</label><label for="__tabbed_1_7">C</label><label for="__tabbed_1_8">C#</label><label for="__tabbed_1_9">Swift</label><label for="__tabbed_1_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2070,7 +2069,7 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p>「节点高度」是最远叶节点到该节点的距离，即走过的「边」的数量。需要特别注意，<strong>叶节点的高度为 0 ，空节点的高度为 -1</strong>。我们封装两个工具函数，分别用于获取与更新节点的高度。</p>
|
||||
<p>「节点高度」是指从该节点到最远叶节点的距离，即所经过的“边”的数量。需要特别注意的是，叶节点的高度为 0 ，而空节点的高度为 -1 。我们将创建两个工具函数，分别用于获取和更新节点的高度。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="2:10"><input checked="checked" id="__tabbed_2_1" name="__tabbed_2" type="radio" /><input id="__tabbed_2_2" name="__tabbed_2" type="radio" /><input id="__tabbed_2_3" name="__tabbed_2" type="radio" /><input id="__tabbed_2_4" name="__tabbed_2" type="radio" /><input id="__tabbed_2_5" name="__tabbed_2" type="radio" /><input id="__tabbed_2_6" name="__tabbed_2" type="radio" /><input id="__tabbed_2_7" name="__tabbed_2" type="radio" /><input id="__tabbed_2_8" name="__tabbed_2" type="radio" /><input id="__tabbed_2_9" name="__tabbed_2" type="radio" /><input id="__tabbed_2_10" name="__tabbed_2" type="radio" /><div class="tabbed-labels"><label for="__tabbed_2_1">Java</label><label for="__tabbed_2_2">C++</label><label for="__tabbed_2_3">Python</label><label for="__tabbed_2_4">Go</label><label for="__tabbed_2_5">JavaScript</label><label for="__tabbed_2_6">TypeScript</label><label for="__tabbed_2_7">C</label><label for="__tabbed_2_8">C#</label><label for="__tabbed_2_9">Swift</label><label for="__tabbed_2_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2220,7 +2219,7 @@
|
||||
</div>
|
||||
</div>
|
||||
<h3 id="_2">节点平衡因子<a class="headerlink" href="#_2" title="Permanent link">¶</a></h3>
|
||||
<p>节点的「平衡因子 Balance Factor」是 <strong>节点的左子树高度减去右子树高度</strong>，并定义空节点的平衡因子为 0 。同样地，我们将获取节点平衡因子封装成函数，以便后续使用。</p>
|
||||
<p>节点的「平衡因子 Balance Factor」定义为节点左子树的高度减去右子树的高度，同时规定空节点的平衡因子为 0 。我们同样将获取节点平衡因子的功能封装成函数，方便后续使用。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="3:10"><input checked="checked" id="__tabbed_3_1" name="__tabbed_3" type="radio" /><input id="__tabbed_3_2" name="__tabbed_3" type="radio" /><input id="__tabbed_3_3" name="__tabbed_3" type="radio" /><input id="__tabbed_3_4" name="__tabbed_3" type="radio" /><input id="__tabbed_3_5" name="__tabbed_3" type="radio" /><input id="__tabbed_3_6" name="__tabbed_3" type="radio" /><input id="__tabbed_3_7" name="__tabbed_3" type="radio" /><input id="__tabbed_3_8" name="__tabbed_3" type="radio" /><input id="__tabbed_3_9" name="__tabbed_3" type="radio" /><input id="__tabbed_3_10" name="__tabbed_3" type="radio" /><div class="tabbed-labels"><label for="__tabbed_3_1">Java</label><label for="__tabbed_3_2">C++</label><label for="__tabbed_3_3">Python</label><label for="__tabbed_3_4">Go</label><label for="__tabbed_3_5">JavaScript</label><label for="__tabbed_3_6">TypeScript</label><label for="__tabbed_3_7">C</label><label for="__tabbed_3_8">C#</label><label for="__tabbed_3_9">Swift</label><label for="__tabbed_3_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2327,10 +2326,10 @@
|
||||
<p>设平衡因子为 <span class="arithmatex">\(f\)</span> ，则一棵 AVL 树的任意节点的平衡因子皆满足 <span class="arithmatex">\(-1 \le f \le 1\)</span> 。</p>
|
||||
</div>
|
||||
<h2 id="742-avl">7.4.2. AVL 树旋转<a class="headerlink" href="#742-avl" title="Permanent link">¶</a></h2>
|
||||
<p>AVL 树的独特之处在于「旋转 Rotation」的操作，其可 <strong>在不影响二叉树中序遍历序列的前提下，使失衡节点重新恢复平衡</strong>。换言之，旋转操作既可以使树保持为「二叉搜索树」，也可以使树重新恢复为「平衡二叉树」。</p>
|
||||
<p>我们将平衡因子的绝对值 <span class="arithmatex">\(> 1\)</span> 的节点称为「失衡节点」。根据节点的失衡情况，旋转操作分为 <strong>右旋、左旋、先右旋后左旋、先左旋后右旋</strong>，接下来我们来一起来看看它们是如何操作的。</p>
|
||||
<h3 id="case-1-">Case 1 - 右旋<a class="headerlink" href="#case-1-" title="Permanent link">¶</a></h3>
|
||||
<p>如下图所示（节点下方为「平衡因子」），从底至顶看，二叉树中首个失衡节点是 <strong>节点 3</strong>。我们聚焦在以该失衡节点为根节点的子树上，将该节点记为 <code>node</code> ，将其左子节点记为 <code>child</code> ，执行「右旋」操作。完成右旋后，该子树已经恢复平衡，并且仍然为二叉搜索树。</p>
|
||||
<p>AVL 树的特点在于「旋转 Rotation」操作，它能够在不影响二叉树的中序遍历序列的前提下，使失衡节点重新恢复平衡。换句话说，<strong>旋转操作既能保持树的「二叉搜索树」属性，也能使树重新变为「平衡二叉树」</strong>。</p>
|
||||
<p>我们将平衡因子绝对值 <span class="arithmatex">\(> 1\)</span> 的节点称为「失衡节点」。根据节点失衡情况的不同，旋转操作分为四种：右旋、左旋、先右旋后左旋、先左旋后右旋。下面我们将详细介绍这些旋转操作。</p>
|
||||
<h3 id="_3">右旋<a class="headerlink" href="#_3" title="Permanent link">¶</a></h3>
|
||||
<p>如下图所示，节点下方为平衡因子。从底至顶看，二叉树中首个失衡节点是“节点 3”。我们关注以该失衡节点为根节点的子树，将该节点记为 <code>node</code> ，其左子节点记为 <code>child</code> ，执行「右旋」操作。完成右旋后，子树已经恢复平衡，并且仍然保持二叉搜索树的特性。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="4:4"><input checked="checked" id="__tabbed_4_1" name="__tabbed_4" type="radio" /><input id="__tabbed_4_2" name="__tabbed_4" type="radio" /><input id="__tabbed_4_3" name="__tabbed_4" type="radio" /><input id="__tabbed_4_4" name="__tabbed_4" type="radio" /><div class="tabbed-labels"><label for="__tabbed_4_1"><1></label><label for="__tabbed_4_2"><2></label><label for="__tabbed_4_3"><3></label><label for="__tabbed_4_4"><4></label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2347,11 +2346,11 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p>进而，如果节点 <code>child</code> 本身有右子节点（记为 <code>grandChild</code> ），则需要在「右旋」中添加一步：将 <code>grandChild</code> 作为 <code>node</code> 的左子节点。</p>
|
||||
<p>此外，如果节点 <code>child</code> 本身有右子节点（记为 <code>grandChild</code> ），则需要在「右旋」中添加一步：将 <code>grandChild</code> 作为 <code>node</code> 的左子节点。</p>
|
||||
<p><img alt="有 grandChild 的右旋操作" src="../avl_tree.assets/avltree_right_rotate_with_grandchild.png" /></p>
|
||||
<p align="center"> Fig. 有 grandChild 的右旋操作 </p>
|
||||
|
||||
<p>“向右旋转”是一种形象化的说法，实际需要通过修改节点指针实现，代码如下所示。</p>
|
||||
<p>“向右旋转”是一种形象化的说法，实际上需要通过修改节点指针来实现，代码如下所示。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="5:10"><input checked="checked" id="__tabbed_5_1" name="__tabbed_5" type="radio" /><input id="__tabbed_5_2" name="__tabbed_5" type="radio" /><input id="__tabbed_5_3" name="__tabbed_5" type="radio" /><input id="__tabbed_5_4" name="__tabbed_5" type="radio" /><input id="__tabbed_5_5" name="__tabbed_5" type="radio" /><input id="__tabbed_5_6" name="__tabbed_5" type="radio" /><input id="__tabbed_5_7" name="__tabbed_5" type="radio" /><input id="__tabbed_5_8" name="__tabbed_5" type="radio" /><input id="__tabbed_5_9" name="__tabbed_5" type="radio" /><input id="__tabbed_5_10" name="__tabbed_5" type="radio" /><div class="tabbed-labels"><label for="__tabbed_5_1">Java</label><label for="__tabbed_5_2">C++</label><label for="__tabbed_5_3">Python</label><label for="__tabbed_5_4">Go</label><label for="__tabbed_5_5">JavaScript</label><label for="__tabbed_5_6">TypeScript</label><label for="__tabbed_5_7">C</label><label for="__tabbed_5_8">C#</label><label for="__tabbed_5_9">Swift</label><label for="__tabbed_5_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2504,8 +2503,8 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<h3 id="case-2-">Case 2 - 左旋<a class="headerlink" href="#case-2-" title="Permanent link">¶</a></h3>
|
||||
<p>类似地，如果将取上述失衡二叉树的“镜像”，那么则需要「左旋」操作。</p>
|
||||
<h3 id="_4">左旋<a class="headerlink" href="#_4" title="Permanent link">¶</a></h3>
|
||||
<p>相应的，如果考虑上述失衡二叉树的“镜像”，则需要执行「左旋」操作。</p>
|
||||
<p><img alt="左旋操作" src="../avl_tree.assets/avltree_left_rotate.png" /></p>
|
||||
<p align="center"> Fig. 左旋操作 </p>
|
||||
|
||||
@@ -2513,7 +2512,7 @@
|
||||
<p><img alt="有 grandChild 的左旋操作" src="../avl_tree.assets/avltree_left_rotate_with_grandchild.png" /></p>
|
||||
<p align="center"> Fig. 有 grandChild 的左旋操作 </p>
|
||||
|
||||
<p>观察发现，<strong>「左旋」和「右旋」操作是镜像对称的，两者对应解决的两种失衡情况也是对称的</strong>。根据对称性，我们可以很方便地从「右旋」推导出「左旋」。具体地，只需将「右旋」代码中的把所有的 <code>left</code> 替换为 <code>right</code> 、所有的 <code>right</code> 替换为 <code>left</code> ，即可得到「左旋」代码。</p>
|
||||
<p>可以观察到，<strong>右旋和左旋操作在逻辑上是镜像对称的，它们分别解决的两种失衡情况也是对称的</strong>。基于对称性，我们可以轻松地从右旋的代码推导出左旋的代码。具体地，只需将「右旋」代码中的把所有的 <code>left</code> 替换为 <code>right</code> ，将所有的 <code>right</code> 替换为 <code>left</code> ，即可得到「左旋」代码。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="6:10"><input checked="checked" id="__tabbed_6_1" name="__tabbed_6" type="radio" /><input id="__tabbed_6_2" name="__tabbed_6" type="radio" /><input id="__tabbed_6_3" name="__tabbed_6" type="radio" /><input id="__tabbed_6_4" name="__tabbed_6" type="radio" /><input id="__tabbed_6_5" name="__tabbed_6" type="radio" /><input id="__tabbed_6_6" name="__tabbed_6" type="radio" /><input id="__tabbed_6_7" name="__tabbed_6" type="radio" /><input id="__tabbed_6_8" name="__tabbed_6" type="radio" /><input id="__tabbed_6_9" name="__tabbed_6" type="radio" /><input id="__tabbed_6_10" name="__tabbed_6" type="radio" /><div class="tabbed-labels"><label for="__tabbed_6_1">Java</label><label for="__tabbed_6_2">C++</label><label for="__tabbed_6_3">Python</label><label for="__tabbed_6_4">Go</label><label for="__tabbed_6_5">JavaScript</label><label for="__tabbed_6_6">TypeScript</label><label for="__tabbed_6_7">C</label><label for="__tabbed_6_8">C#</label><label for="__tabbed_6_9">Swift</label><label for="__tabbed_6_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2666,22 +2665,22 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<h3 id="case-3-">Case 3 - 先左后右<a class="headerlink" href="#case-3-" title="Permanent link">¶</a></h3>
|
||||
<p>对于下图的失衡节点 3 ，<strong>单一使用左旋或右旋都无法使子树恢复平衡</strong>，此时需要「先左旋后右旋」，即先对 <code>child</code> 执行「左旋」，再对 <code>node</code> 执行「右旋」。</p>
|
||||
<h3 id="_5">先左旋后右旋<a class="headerlink" href="#_5" title="Permanent link">¶</a></h3>
|
||||
<p>对于下图中的失衡节点 3，仅使用左旋或右旋都无法使子树恢复平衡。此时需要先左旋后右旋，即先对 <code>child</code> 执行「左旋」，再对 <code>node</code> 执行「右旋」。</p>
|
||||
<p><img alt="先左旋后右旋" src="../avl_tree.assets/avltree_left_right_rotate.png" /></p>
|
||||
<p align="center"> Fig. 先左旋后右旋 </p>
|
||||
|
||||
<h3 id="case-4-">Case 4 - 先右后左<a class="headerlink" href="#case-4-" title="Permanent link">¶</a></h3>
|
||||
<p>同理，取以上失衡二叉树的镜像，则需要「先右旋后左旋」，即先对 <code>child</code> 执行「右旋」，然后对 <code>node</code> 执行「左旋」。</p>
|
||||
<h3 id="_6">先右旋后左旋<a class="headerlink" href="#_6" title="Permanent link">¶</a></h3>
|
||||
<p>同理，对于上述失衡二叉树的镜像情况，需要先右旋后左旋，即先对 <code>child</code> 执行「右旋」，然后对 <code>node</code> 执行「左旋」。</p>
|
||||
<p><img alt="先右旋后左旋" src="../avl_tree.assets/avltree_right_left_rotate.png" /></p>
|
||||
<p align="center"> Fig. 先右旋后左旋 </p>
|
||||
|
||||
<h3 id="_3">旋转的选择<a class="headerlink" href="#_3" title="Permanent link">¶</a></h3>
|
||||
<p>下图描述的四种失衡情况与上述 Cases 逐个对应，分别需采用 <strong>右旋、左旋、先右后左、先左后右</strong> 的旋转操作。</p>
|
||||
<h3 id="_7">旋转的选择<a class="headerlink" href="#_7" title="Permanent link">¶</a></h3>
|
||||
<p>下图展示的四种失衡情况与上述案例逐个对应，分别需要采用右旋、左旋、先右后左、先左后右的旋转操作。</p>
|
||||
<p><img alt="AVL 树的四种旋转情况" src="../avl_tree.assets/avltree_rotation_cases.png" /></p>
|
||||
<p align="center"> Fig. AVL 树的四种旋转情况 </p>
|
||||
|
||||
<p>具体地，在代码中使用 <strong>失衡节点的平衡因子、较高一侧子节点的平衡因子</strong> 来确定失衡节点属于上图中的哪种情况。</p>
|
||||
<p>在代码中，我们通过判断失衡节点的平衡因子以及较高一侧子节点的平衡因子的正负号，来确定失衡节点属于上图中的哪种情况。</p>
|
||||
<div class="center-table">
|
||||
<table>
|
||||
<thead>
|
||||
@@ -2715,7 +2714,7 @@
|
||||
</tbody>
|
||||
</table>
|
||||
</div>
|
||||
<p>为方便使用，我们将旋转操作封装成一个函数。至此，<strong>我们可以使用此函数来旋转各种失衡情况，使失衡节点重新恢复平衡</strong>。</p>
|
||||
<p>为了便于使用，我们将旋转操作封装成一个函数。<strong>有了这个函数，我们就能对各种失衡情况进行旋转，使失衡节点重新恢复平衡</strong>。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="7:10"><input checked="checked" id="__tabbed_7_1" name="__tabbed_7" type="radio" /><input id="__tabbed_7_2" name="__tabbed_7" type="radio" /><input id="__tabbed_7_3" name="__tabbed_7" type="radio" /><input id="__tabbed_7_4" name="__tabbed_7" type="radio" /><input id="__tabbed_7_5" name="__tabbed_7" type="radio" /><input id="__tabbed_7_6" name="__tabbed_7" type="radio" /><input id="__tabbed_7_7" name="__tabbed_7" type="radio" /><input id="__tabbed_7_8" name="__tabbed_7" type="radio" /><input id="__tabbed_7_9" name="__tabbed_7" type="radio" /><input id="__tabbed_7_10" name="__tabbed_7" type="radio" /><div class="tabbed-labels"><label for="__tabbed_7_1">Java</label><label for="__tabbed_7_2">C++</label><label for="__tabbed_7_3">Python</label><label for="__tabbed_7_4">Go</label><label for="__tabbed_7_5">JavaScript</label><label for="__tabbed_7_6">TypeScript</label><label for="__tabbed_7_7">C</label><label for="__tabbed_7_8">C#</label><label for="__tabbed_7_9">Swift</label><label for="__tabbed_7_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -3018,8 +3017,8 @@
|
||||
</div>
|
||||
</div>
|
||||
<h2 id="743-avl">7.4.3. AVL 树常用操作<a class="headerlink" href="#743-avl" title="Permanent link">¶</a></h2>
|
||||
<h3 id="_4">插入节点<a class="headerlink" href="#_4" title="Permanent link">¶</a></h3>
|
||||
<p>「AVL 树」的节点插入操作与「二叉搜索树」主体类似。不同的是，在插入节点后，从该节点到根节点的路径上会出现一系列「失衡节点」。所以，<strong>我们需要从该节点开始，从底至顶地执行旋转操作，使所有失衡节点恢复平衡</strong>。</p>
|
||||
<h3 id="_8">插入节点<a class="headerlink" href="#_8" title="Permanent link">¶</a></h3>
|
||||
<p>「AVL 树」的节点插入操作与「二叉搜索树」在主体上类似。唯一的区别在于，在 AVL 树中插入节点后，从该节点到根节点的路径上可能会出现一系列失衡节点。因此，<strong>我们需要从这个节点开始，自底向上执行旋转操作，使所有失衡节点恢复平衡</strong>。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="8:10"><input checked="checked" id="__tabbed_8_1" name="__tabbed_8" type="radio" /><input id="__tabbed_8_2" name="__tabbed_8" type="radio" /><input id="__tabbed_8_3" name="__tabbed_8" type="radio" /><input id="__tabbed_8_4" name="__tabbed_8" type="radio" /><input id="__tabbed_8_5" name="__tabbed_8" type="radio" /><input id="__tabbed_8_6" name="__tabbed_8" type="radio" /><input id="__tabbed_8_7" name="__tabbed_8" type="radio" /><input id="__tabbed_8_8" name="__tabbed_8" type="radio" /><input id="__tabbed_8_9" name="__tabbed_8" type="radio" /><input id="__tabbed_8_10" name="__tabbed_8" type="radio" /><div class="tabbed-labels"><label for="__tabbed_8_1">Java</label><label for="__tabbed_8_2">C++</label><label for="__tabbed_8_3">Python</label><label for="__tabbed_8_4">Go</label><label for="__tabbed_8_5">JavaScript</label><label for="__tabbed_8_6">TypeScript</label><label for="__tabbed_8_7">C</label><label for="__tabbed_8_8">C#</label><label for="__tabbed_8_9">Swift</label><label for="__tabbed_8_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -3271,8 +3270,8 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<h3 id="_5">删除节点<a class="headerlink" href="#_5" title="Permanent link">¶</a></h3>
|
||||
<p>「AVL 树」删除节点操作与「二叉搜索树」删除节点操作总体相同。类似地，<strong>在删除节点后，也需要从底至顶地执行旋转操作，使所有失衡节点恢复平衡</strong>。</p>
|
||||
<h3 id="_9">删除节点<a class="headerlink" href="#_9" title="Permanent link">¶</a></h3>
|
||||
<p>类似地，在二叉搜索树的删除节点方法的基础上，需要从底至顶地执行旋转操作，使所有失衡节点恢复平衡。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="9:10"><input checked="checked" id="__tabbed_9_1" name="__tabbed_9" type="radio" /><input id="__tabbed_9_2" name="__tabbed_9" type="radio" /><input id="__tabbed_9_3" name="__tabbed_9" type="radio" /><input id="__tabbed_9_4" name="__tabbed_9" type="radio" /><input id="__tabbed_9_5" name="__tabbed_9" type="radio" /><input id="__tabbed_9_6" name="__tabbed_9" type="radio" /><input id="__tabbed_9_7" name="__tabbed_9" type="radio" /><input id="__tabbed_9_8" name="__tabbed_9" type="radio" /><input id="__tabbed_9_9" name="__tabbed_9" type="radio" /><input id="__tabbed_9_10" name="__tabbed_9" type="radio" /><div class="tabbed-labels"><label for="__tabbed_9_1">Java</label><label for="__tabbed_9_2">C++</label><label for="__tabbed_9_3">Python</label><label for="__tabbed_9_4">Go</label><label for="__tabbed_9_5">JavaScript</label><label for="__tabbed_9_6">TypeScript</label><label for="__tabbed_9_7">C</label><label for="__tabbed_9_8">C#</label><label for="__tabbed_9_9">Swift</label><label for="__tabbed_9_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -3754,16 +3753,16 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<h3 id="_6">查找节点<a class="headerlink" href="#_6" title="Permanent link">¶</a></h3>
|
||||
<p>「AVL 树」的节点查找操作与「二叉搜索树」一致，在此不再赘述。</p>
|
||||
<h3 id="_10">查找节点<a class="headerlink" href="#_10" title="Permanent link">¶</a></h3>
|
||||
<p>AVL 树的节点查找操作与二叉搜索树一致，在此不再赘述。</p>
|
||||
<h2 id="744-avl">7.4.4. AVL 树典型应用<a class="headerlink" href="#744-avl" title="Permanent link">¶</a></h2>
|
||||
<ul>
|
||||
<li>组织存储大型数据，适用于高频查找、低频增删场景；</li>
|
||||
<li>用于建立数据库中的索引系统；</li>
|
||||
<li>组织和存储大型数据，适用于高频查找、低频增删的场景；</li>
|
||||
<li>用于构建数据库中的索引系统；</li>
|
||||
</ul>
|
||||
<div class="admonition question">
|
||||
<p class="admonition-title">为什么红黑树比 AVL 树更受欢迎？</p>
|
||||
<p>红黑树的平衡条件相对宽松，因此在红黑树中插入与删除节点所需的旋转操作相对更少，节点增删操作相比 AVL 树的效率更高。</p>
|
||||
<p>红黑树的平衡条件相对宽松，因此在红黑树中插入与删除节点所需的旋转操作相对较少，在节点增删操作上的平均效率高于 AVL 树。</p>
|
||||
</div>
|
||||
|
||||
|
||||
|
||||
@@ -1839,7 +1839,7 @@
|
||||
<p>「二叉搜索树 Binary Search Tree」满足以下条件：</p>
|
||||
<ol>
|
||||
<li>对于根节点，左子树中所有节点的值 <span class="arithmatex">\(<\)</span> 根节点的值 <span class="arithmatex">\(<\)</span> 右子树中所有节点的值；</li>
|
||||
<li>任意节点的左子树和右子树也是二叉搜索树，即也满足条件 <code>1.</code> ；</li>
|
||||
<li>任意节点的左、右子树也是二叉搜索树，即同样满足条件 <code>1.</code> ；</li>
|
||||
</ol>
|
||||
<p><img alt="二叉搜索树" src="../binary_search_tree.assets/binary_search_tree.png" /></p>
|
||||
<p align="center"> Fig. 二叉搜索树 </p>
|
||||
@@ -1850,12 +1850,12 @@
|
||||
<ul>
|
||||
<li>若 <code>cur.val < num</code> ，说明目标节点在 <code>cur</code> 的右子树中，因此执行 <code>cur = cur.right</code> ；</li>
|
||||
<li>若 <code>cur.val > num</code> ，说明目标节点在 <code>cur</code> 的左子树中，因此执行 <code>cur = cur.left</code> ；</li>
|
||||
<li>若 <code>cur.val = num</code> ，说明找到目标节点，跳出循环并返回该节点即可；</li>
|
||||
<li>若 <code>cur.val = num</code> ，说明找到目标节点，跳出循环并返回该节点；</li>
|
||||
</ul>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="1:4"><input checked="checked" id="__tabbed_1_1" name="__tabbed_1" type="radio" /><input id="__tabbed_1_2" name="__tabbed_1" type="radio" /><input id="__tabbed_1_3" name="__tabbed_1" type="radio" /><input id="__tabbed_1_4" name="__tabbed_1" type="radio" /><div class="tabbed-labels"><label for="__tabbed_1_1"><1></label><label for="__tabbed_1_2"><2></label><label for="__tabbed_1_3"><3></label><label for="__tabbed_1_4"><4></label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
<p><img alt="查找节点步骤" src="../binary_search_tree.assets/bst_search_step1.png" /></p>
|
||||
<p><img alt="bst_search_step1" src="../binary_search_tree.assets/bst_search_step1.png" /></p>
|
||||
</div>
|
||||
<div class="tabbed-block">
|
||||
<p><img alt="bst_search_step2" src="../binary_search_tree.assets/bst_search_step2.png" /></p>
|
||||
@@ -1868,7 +1868,7 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p>二叉搜索树的查找操作和二分查找算法如出一辙，也是在每轮排除一半情况。循环次数最多为二叉树的高度，当二叉树平衡时，使用 <span class="arithmatex">\(O(\log n)\)</span> 时间。</p>
|
||||
<p>二叉搜索树的查找操作与二分查找算法的工作原理一致，都是每轮排除一半情况。循环次数最多为二叉树的高度，当二叉树平衡时，使用 <span class="arithmatex">\(O(\log n)\)</span> 时间。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="2:10"><input checked="checked" id="__tabbed_2_1" name="__tabbed_2" type="radio" /><input id="__tabbed_2_2" name="__tabbed_2" type="radio" /><input id="__tabbed_2_3" name="__tabbed_2" type="radio" /><input id="__tabbed_2_4" name="__tabbed_2" type="radio" /><input id="__tabbed_2_5" name="__tabbed_2" type="radio" /><input id="__tabbed_2_6" name="__tabbed_2" type="radio" /><input id="__tabbed_2_7" name="__tabbed_2" type="radio" /><input id="__tabbed_2_8" name="__tabbed_2" type="radio" /><input id="__tabbed_2_9" name="__tabbed_2" type="radio" /><input id="__tabbed_2_10" name="__tabbed_2" type="radio" /><div class="tabbed-labels"><label for="__tabbed_2_1">Java</label><label for="__tabbed_2_2">C++</label><label for="__tabbed_2_3">Python</label><label for="__tabbed_2_4">Go</label><label for="__tabbed_2_5">JavaScript</label><label for="__tabbed_2_6">TypeScript</label><label for="__tabbed_2_7">C</label><label for="__tabbed_2_8">C#</label><label for="__tabbed_2_9">Swift</label><label for="__tabbed_2_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2059,10 +2059,10 @@
|
||||
<h3 id="_2">插入节点<a class="headerlink" href="#_2" title="Permanent link">¶</a></h3>
|
||||
<p>给定一个待插入元素 <code>num</code> ，为了保持二叉搜索树“左子树 < 根节点 < 右子树”的性质，插入操作分为两步：</p>
|
||||
<ol>
|
||||
<li><strong>查找插入位置</strong>：与查找操作类似，我们从根节点出发，根据当前节点值和 <code>num</code> 的大小关系循环向下搜索，直到越过叶节点（遍历到 <span class="arithmatex">\(\text{null}\)</span> ）时跳出循环；</li>
|
||||
<li><strong>在该位置插入节点</strong>：初始化节点 <code>num</code> ，将该节点放到 <span class="arithmatex">\(\text{null}\)</span> 的位置 ；</li>
|
||||
<li><strong>查找插入位置</strong>：与查找操作相似，从根节点出发，根据当前节点值和 <code>num</code> 的大小关系循环向下搜索，直到越过叶节点（遍历至 <span class="arithmatex">\(\text{null}\)</span> ）时跳出循环；</li>
|
||||
<li><strong>在该位置插入节点</strong>：初始化节点 <code>num</code> ，将该节点置于 <span class="arithmatex">\(\text{null}\)</span> 的位置；</li>
|
||||
</ol>
|
||||
<p>二叉搜索树不允许存在重复节点，否则将会违背其定义。因此若待插入节点在树中已经存在，则不执行插入，直接返回即可。</p>
|
||||
<p>二叉搜索树不允许存在重复节点，否则将违反其定义。因此，若待插入节点在树中已存在，则不执行插入，直接返回。</p>
|
||||
<p><img alt="在二叉搜索树中插入节点" src="../binary_search_tree.assets/bst_insert.png" /></p>
|
||||
<p align="center"> Fig. 在二叉搜索树中插入节点 </p>
|
||||
|
||||
@@ -2339,28 +2339,28 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p>为了插入节点，需要借助 <strong>辅助节点 <code>pre</code></strong> 保存上一轮循环的节点，这样在遍历到 <span class="arithmatex">\(\text{null}\)</span> 时，我们也可以获取到其父节点，从而完成节点插入操作。</p>
|
||||
<p>为了插入节点，我们需要利用辅助节点 <code>pre</code> 保存上一轮循环的节点，这样在遍历至 <span class="arithmatex">\(\text{null}\)</span> 时，我们可以获取到其父节点，从而完成节点插入操作。</p>
|
||||
<p>与查找节点相同，插入节点使用 <span class="arithmatex">\(O(\log n)\)</span> 时间。</p>
|
||||
<h3 id="_3">删除节点<a class="headerlink" href="#_3" title="Permanent link">¶</a></h3>
|
||||
<p>与插入节点一样，我们需要在删除操作后维持二叉搜索树的“左子树 < 根节点 < 右子树”的性质。首先，我们需要在二叉树中执行查找操作，获取待删除节点。接下来，根据待删除节点的子节点数量，删除操作需要分为三种情况：</p>
|
||||
<p><strong>当待删除节点的子节点数量 <span class="arithmatex">\(= 0\)</span> 时</strong>，表明待删除节点是叶节点，直接删除即可。</p>
|
||||
<p>与插入节点类似，我们需要在删除操作后维持二叉搜索树的“左子树 < 根节点 < 右子树”的性质。首先，我们需要在二叉树中执行查找操作，获取待删除节点。接下来，根据待删除节点的子节点数量，删除操作需分为三种情况：</p>
|
||||
<p>当待删除节点的子节点数量 <span class="arithmatex">\(= 0\)</span> 时，表示待删除节点是叶节点，可以直接删除。</p>
|
||||
<p><img alt="在二叉搜索树中删除节点（度为 0）" src="../binary_search_tree.assets/bst_remove_case1.png" /></p>
|
||||
<p align="center"> Fig. 在二叉搜索树中删除节点（度为 0） </p>
|
||||
|
||||
<p><strong>当待删除节点的子节点数量 <span class="arithmatex">\(= 1\)</span> 时</strong>，将待删除节点替换为其子节点即可。</p>
|
||||
<p>当待删除节点的子节点数量 <span class="arithmatex">\(= 1\)</span> 时，将待删除节点替换为其子节点即可。</p>
|
||||
<p><img alt="在二叉搜索树中删除节点（度为 1）" src="../binary_search_tree.assets/bst_remove_case2.png" /></p>
|
||||
<p align="center"> Fig. 在二叉搜索树中删除节点（度为 1） </p>
|
||||
|
||||
<p><strong>当待删除节点的子节点数量 <span class="arithmatex">\(= 2\)</span> 时</strong>，删除操作分为三步：</p>
|
||||
<p>当待删除节点的子节点数量 <span class="arithmatex">\(= 2\)</span> 时，删除操作分为三步：</p>
|
||||
<ol>
|
||||
<li>找到待删除节点在 <strong>中序遍历序列</strong> 中的下一个节点，记为 <code>nex</code> ；</li>
|
||||
<li>找到待删除节点在“中序遍历序列”中的下一个节点，记为 nex；</li>
|
||||
<li>在树中递归删除节点 <code>nex</code> ；</li>
|
||||
<li>使用 <code>nex</code> 替换待删除节点；</li>
|
||||
</ol>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="4:4"><input checked="checked" id="__tabbed_4_1" name="__tabbed_4" type="radio" /><input id="__tabbed_4_2" name="__tabbed_4" type="radio" /><input id="__tabbed_4_3" name="__tabbed_4" type="radio" /><input id="__tabbed_4_4" name="__tabbed_4" type="radio" /><div class="tabbed-labels"><label for="__tabbed_4_1"><1></label><label for="__tabbed_4_2"><2></label><label for="__tabbed_4_3"><3></label><label for="__tabbed_4_4"><4></label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
<p><img alt="删除节点（度为 2）步骤" src="../binary_search_tree.assets/bst_remove_case3_step1.png" /></p>
|
||||
<p><img alt="bst_remove_case3_step1" src="../binary_search_tree.assets/bst_remove_case3_step1.png" /></p>
|
||||
</div>
|
||||
<div class="tabbed-block">
|
||||
<p><img alt="bst_remove_case3_step2" src="../binary_search_tree.assets/bst_remove_case3_step2.png" /></p>
|
||||
@@ -2373,7 +2373,7 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p>删除节点操作也使用 <span class="arithmatex">\(O(\log n)\)</span> 时间，其中查找待删除节点 <span class="arithmatex">\(O(\log n)\)</span> ，获取中序遍历后继节点 <span class="arithmatex">\(O(\log n)\)</span> 。</p>
|
||||
<p>删除节点操作同样使用 <span class="arithmatex">\(O(\log n)\)</span> 时间，其中查找待删除节点需要 <span class="arithmatex">\(O(\log n)\)</span> 时间，获取中序遍历后继节点需要 <span class="arithmatex">\(O(\log n)\)</span> 时间。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="5:10"><input checked="checked" id="__tabbed_5_1" name="__tabbed_5" type="radio" /><input id="__tabbed_5_2" name="__tabbed_5" type="radio" /><input id="__tabbed_5_3" name="__tabbed_5" type="radio" /><input id="__tabbed_5_4" name="__tabbed_5" type="radio" /><input id="__tabbed_5_5" name="__tabbed_5" type="radio" /><input id="__tabbed_5_6" name="__tabbed_5" type="radio" /><input id="__tabbed_5_7" name="__tabbed_5" type="radio" /><input id="__tabbed_5_8" name="__tabbed_5" type="radio" /><input id="__tabbed_5_9" name="__tabbed_5" type="radio" /><input id="__tabbed_5_10" name="__tabbed_5" type="radio" /><div class="tabbed-labels"><label for="__tabbed_5_1">Java</label><label for="__tabbed_5_2">C++</label><label for="__tabbed_5_3">Python</label><label for="__tabbed_5_4">Go</label><label for="__tabbed_5_5">JavaScript</label><label for="__tabbed_5_6">TypeScript</label><label for="__tabbed_5_7">C</label><label for="__tabbed_5_8">C#</label><label for="__tabbed_5_9">Swift</label><label for="__tabbed_5_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2912,27 +2912,27 @@
|
||||
</div>
|
||||
</div>
|
||||
<h3 id="_4">排序<a class="headerlink" href="#_4" title="Permanent link">¶</a></h3>
|
||||
<p>我们知道，「中序遍历」遵循“左 <span class="arithmatex">\(\rightarrow\)</span> 根 <span class="arithmatex">\(\rightarrow\)</span> 右”的遍历优先级，而二叉搜索树遵循“左子节点 <span class="arithmatex">\(<\)</span> 根节点 <span class="arithmatex">\(<\)</span> 右子节点”的大小关系。因此，在二叉搜索树中进行中序遍历时，总是会优先遍历下一个最小节点，从而得出一条重要性质：<strong>二叉搜索树的中序遍历序列是升序的</strong>。</p>
|
||||
<p>借助中序遍历升序的性质，我们在二叉搜索树中获取有序数据仅需 <span class="arithmatex">\(O(n)\)</span> 时间，而无需额外排序，非常高效。</p>
|
||||
<p>我们知道，二叉树的中序遍历遵循“左 <span class="arithmatex">\(\rightarrow\)</span> 根 <span class="arithmatex">\(\rightarrow\)</span> 右”的遍历顺序，而二叉搜索树满足“左子节点 <span class="arithmatex">\(<\)</span> 根节点 <span class="arithmatex">\(<\)</span> 右子节点”的大小关系。因此，在二叉搜索树中进行中序遍历时，总是会优先遍历下一个最小节点，从而得出一个重要性质：<strong>二叉搜索树的中序遍历序列是升序的</strong>。</p>
|
||||
<p>利用中序遍历升序的性质，我们在二叉搜索树中获取有序数据仅需 <span class="arithmatex">\(O(n)\)</span> 时间，无需额外排序，非常高效。</p>
|
||||
<p><img alt="二叉搜索树的中序遍历序列" src="../binary_search_tree.assets/bst_inorder_traversal.png" /></p>
|
||||
<p align="center"> Fig. 二叉搜索树的中序遍历序列 </p>
|
||||
|
||||
<h2 id="732">7.3.2. 二叉搜索树的效率<a class="headerlink" href="#732" title="Permanent link">¶</a></h2>
|
||||
<p>假设给定 <span class="arithmatex">\(n\)</span> 个数字，最常用的存储方式是「数组」，那么对于这串乱序的数字，常见操作的效率为：</p>
|
||||
<p>假设给定 <span class="arithmatex">\(n\)</span> 个数字，最常见的存储方式是「数组」。对于这串乱序的数字，常见操作的效率如下：</p>
|
||||
<ul>
|
||||
<li><strong>查找元素</strong>：由于数组是无序的，因此需要遍历数组来确定，使用 <span class="arithmatex">\(O(n)\)</span> 时间；</li>
|
||||
<li><strong>插入元素</strong>：只需将元素添加至数组尾部即可，使用 <span class="arithmatex">\(O(1)\)</span> 时间；</li>
|
||||
<li><strong>删除元素</strong>：先查找元素，使用 <span class="arithmatex">\(O(n)\)</span> 时间，再在数组中删除该元素，使用 <span class="arithmatex">\(O(n)\)</span> 时间；</li>
|
||||
<li><strong>获取最小 / 最大元素</strong>：需要遍历数组来确定，使用 <span class="arithmatex">\(O(n)\)</span> 时间；</li>
|
||||
</ul>
|
||||
<p>为了得到先验信息，我们也可以预先将数组元素进行排序，得到一个「排序数组」，此时操作效率为：</p>
|
||||
<p>为了获得先验信息，我们可以预先将数组元素进行排序，得到一个「排序数组」。此时操作效率如下：</p>
|
||||
<ul>
|
||||
<li><strong>查找元素</strong>：由于数组已排序，可以使用二分查找，平均使用 <span class="arithmatex">\(O(\log n)\)</span> 时间；</li>
|
||||
<li><strong>插入元素</strong>：先查找插入位置，使用 <span class="arithmatex">\(O(\log n)\)</span> 时间，再插入到指定位置，使用 <span class="arithmatex">\(O(n)\)</span> 时间；</li>
|
||||
<li><strong>删除元素</strong>：先查找元素，使用 <span class="arithmatex">\(O(\log n)\)</span> 时间，再在数组中删除该元素，使用 <span class="arithmatex">\(O(n)\)</span> 时间；</li>
|
||||
<li><strong>获取最小 / 最大元素</strong>：数组头部和尾部元素即是最小和最大元素，使用 <span class="arithmatex">\(O(1)\)</span> 时间；</li>
|
||||
</ul>
|
||||
<p>观察发现，无序数组和有序数组中的各项操作的时间复杂度是“偏科”的，即有的快有的慢；<strong>而二叉搜索树的各项操作的时间复杂度都是对数阶，在数据量 <span class="arithmatex">\(n\)</span> 很大时有巨大优势</strong>。</p>
|
||||
<p>观察可知，无序数组和有序数组中的各项操作的时间复杂度呈现“偏科”的特点，即有的快有的慢。<strong>然而，二叉搜索树的各项操作的时间复杂度都是对数阶，在数据量 <span class="arithmatex">\(n\)</span> 较大时具有显著优势</strong>。</p>
|
||||
<div class="center-table">
|
||||
<table>
|
||||
<thead>
|
||||
@@ -2972,20 +2972,16 @@
|
||||
</table>
|
||||
</div>
|
||||
<h2 id="733">7.3.3. 二叉搜索树的退化<a class="headerlink" href="#733" title="Permanent link">¶</a></h2>
|
||||
<p>理想情况下，我们希望二叉搜索树的是“左右平衡”的（详见「平衡二叉树」章节），此时可以在 <span class="arithmatex">\(\log n\)</span> 轮循环内查找任意节点。</p>
|
||||
<p>如果我们动态地在二叉搜索树中插入与删除节点，<strong>则可能导致二叉树退化为链表</strong>，此时各种操作的时间复杂度也退化之 <span class="arithmatex">\(O(n)\)</span> 。</p>
|
||||
<div class="admonition note">
|
||||
<p class="admonition-title">Note</p>
|
||||
<p>在实际应用中，如何保持二叉搜索树的平衡，也是一个需要重要考虑的问题。</p>
|
||||
</div>
|
||||
<p>在理想情况下，我们希望二叉搜索树是“平衡”的，这样就可以在 <span class="arithmatex">\(\log n\)</span> 轮循环内查找任意节点。</p>
|
||||
<p>然而，如果我们在二叉搜索树中不断地插入和删除节点，可能导致二叉树退化为链表，这时各种操作的时间复杂度也会退化为 <span class="arithmatex">\(O(n)\)</span> 。</p>
|
||||
<p><img alt="二叉搜索树的平衡与退化" src="../binary_search_tree.assets/bst_degradation.png" /></p>
|
||||
<p align="center"> Fig. 二叉搜索树的平衡与退化 </p>
|
||||
|
||||
<h2 id="734">7.3.4. 二叉搜索树常见应用<a class="headerlink" href="#734" title="Permanent link">¶</a></h2>
|
||||
<ul>
|
||||
<li>系统中的多级索引，高效查找、插入、删除操作。</li>
|
||||
<li>各种搜索算法的底层数据结构。</li>
|
||||
<li>存储数据流，保持其已排序。</li>
|
||||
<li>用作系统中的多级索引，实现高效的查找、插入、删除操作。</li>
|
||||
<li>作为某些搜索算法的底层数据结构。</li>
|
||||
<li>用于存储数据流，以保持其有序状态。</li>
|
||||
</ul>
|
||||
|
||||
|
||||
|
||||
@@ -1850,7 +1850,7 @@
|
||||
|
||||
|
||||
<h1 id="71">7.1. 二叉树<a class="headerlink" href="#71" title="Permanent link">¶</a></h1>
|
||||
<p>「二叉树 Binary Tree」是一种非线性数据结构，代表着祖先与后代之间的派生关系，体现着“一分为二”的分治逻辑。类似于链表，二叉树也是以节点为单位存储的，节点包含「值」和两个「指针」。</p>
|
||||
<p>「二叉树 Binary Tree」是一种非线性数据结构，代表着祖先与后代之间的派生关系，体现着“一分为二”的分治逻辑。与链表类似，二叉树的基本单元是节点，每个节点包含一个「值」和两个「指针」。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="1:10"><input checked="checked" id="__tabbed_1_1" name="__tabbed_1" type="radio" /><input id="__tabbed_1_2" name="__tabbed_1" type="radio" /><input id="__tabbed_1_3" name="__tabbed_1" type="radio" /><input id="__tabbed_1_4" name="__tabbed_1" type="radio" /><input id="__tabbed_1_5" name="__tabbed_1" type="radio" /><input id="__tabbed_1_6" name="__tabbed_1" type="radio" /><input id="__tabbed_1_7" name="__tabbed_1" type="radio" /><input id="__tabbed_1_8" name="__tabbed_1" type="radio" /><input id="__tabbed_1_9" name="__tabbed_1" type="radio" /><input id="__tabbed_1_10" name="__tabbed_1" type="radio" /><div class="tabbed-labels"><label for="__tabbed_1_1">Java</label><label for="__tabbed_1_2">C++</label><label for="__tabbed_1_3">Python</label><label for="__tabbed_1_4">Go</label><label for="__tabbed_1_5">JavaScript</label><label for="__tabbed_1_6">TypeScript</label><label for="__tabbed_1_7">C</label><label for="__tabbed_1_8">C#</label><label for="__tabbed_1_9">Swift</label><label for="__tabbed_1_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -1956,32 +1956,32 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p>节点的两个指针分别指向「左子节点」和「右子节点」，并且称该节点为两个子节点的「父节点」。给定二叉树某节点，将“左子节点及其以下节点形成的树”称为该节点的「左子树」，右子树同理。</p>
|
||||
<p>除了叶节点外，每个节点都有子节点和子树。例如，若将下图的“节点 2”看作父节点，那么其左子节点和右子节点分别为“节点 4”和“节点 5”，左子树和右子树分别为“节点 4 及其以下节点形成的树”和“节点 5 及其以下节点形成的树”。</p>
|
||||
<p>节点的两个指针分别指向「左子节点」和「右子节点」，同时该节点被称为这两个子节点的「父节点」。当给定一个二叉树的节点时，我们将该节点的左子节点及其以下节点形成的树称为该节点的「左子树」，同理可得「右子树」。</p>
|
||||
<p><strong>在二叉树中，除叶节点外，其他所有节点都包含子节点和非空子树</strong>。例如，在以下示例中，若将“节点 2”视为父节点，则其左子节点和右子节点分别是“节点 4”和“节点 5”，左子树是“节点 4 及其以下节点形成的树”，右子树是“节点 5 及其以下节点形成的树”。</p>
|
||||
<p><img alt="父节点、子节点、子树" src="../binary_tree.assets/binary_tree_definition.png" /></p>
|
||||
<p align="center"> Fig. 父节点、子节点、子树 </p>
|
||||
|
||||
<h2 id="711">7.1.1. 二叉树常见术语<a class="headerlink" href="#711" title="Permanent link">¶</a></h2>
|
||||
<p>二叉树的术语较多，建议尽量理解并记住。后续可能遗忘，可以在需要使用时回来查看确认。</p>
|
||||
<p>二叉树涉及的术语较多，建议尽量理解并记住。</p>
|
||||
<ul>
|
||||
<li>「根节点 Root Node」：二叉树最顶层的节点，其没有父节点；</li>
|
||||
<li>「叶节点 Leaf Node」：没有子节点的节点，其两个指针都指向 <span class="arithmatex">\(\text{null}\)</span> ；</li>
|
||||
<li>节点所处「层 Level」：从顶至底依次增加，根节点所处层为 1 ；</li>
|
||||
<li>节点「度 Degree」：节点的子节点数量。二叉树中，度的范围是 0, 1, 2 ；</li>
|
||||
<li>「边 Edge」：连接两个节点的边，即节点指针；</li>
|
||||
<li>二叉树「高度」：二叉树中根节点到最远叶节点走过边的数量；</li>
|
||||
<li>节点「深度 Depth」 ：根节点到该节点走过边的数量；</li>
|
||||
<li>节点「高度 Height」：最远叶节点到该节点走过边的数量；</li>
|
||||
<li>「根节点 Root Node」：位于二叉树顶层的节点，没有父节点；</li>
|
||||
<li>「叶节点 Leaf Node」：没有子节点的节点，其两个指针均指向 <span class="arithmatex">\(\text{null}\)</span> ；</li>
|
||||
<li>节点的「层 Level」：从顶至底递增，根节点所在层为 1 ；</li>
|
||||
<li>节点的「度 Degree」：节点的子节点的数量。在二叉树中，度的范围是 0, 1, 2 ；</li>
|
||||
<li>「边 Edge」：连接两个节点的线段，即节点指针；</li>
|
||||
<li>二叉树的「高度」：从根节点到最远叶节点所经过的边的数量；</li>
|
||||
<li>节点的「深度 Depth」 ：从根节点到该节点所经过的边的数量；</li>
|
||||
<li>节点的「高度 Height」：从最远叶节点到该节点所经过的边的数量；</li>
|
||||
</ul>
|
||||
<p><img alt="二叉树的常用术语" src="../binary_tree.assets/binary_tree_terminology.png" /></p>
|
||||
<p align="center"> Fig. 二叉树的常用术语 </p>
|
||||
|
||||
<div class="admonition tip">
|
||||
<p class="admonition-title">高度与深度的定义</p>
|
||||
<p>值得注意，我们通常将「高度」和「深度」定义为“走过边的数量”，而有些题目或教材会将其定义为“走过节点的数量”，此时高度或深度都需要 + 1 。</p>
|
||||
<p>请注意，我们通常将「高度」和「深度」定义为“走过边的数量”，但有些题目或教材可能会将其定义为“走过节点的数量”。在这种情况下，高度和深度都需要加 1 。</p>
|
||||
</div>
|
||||
<h2 id="712">7.1.2. 二叉树基本操作<a class="headerlink" href="#712" title="Permanent link">¶</a></h2>
|
||||
<p><strong>初始化二叉树</strong>。与链表类似，先初始化节点，再构建引用指向（即指针）。</p>
|
||||
<p><strong>初始化二叉树</strong>。与链表类似，首先初始化节点，然后构建引用指向（即指针）。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="2:10"><input checked="checked" id="__tabbed_2_1" name="__tabbed_2" type="radio" /><input id="__tabbed_2_2" name="__tabbed_2" type="radio" /><input id="__tabbed_2_3" name="__tabbed_2" type="radio" /><input id="__tabbed_2_4" name="__tabbed_2" type="radio" /><input id="__tabbed_2_5" name="__tabbed_2" type="radio" /><input id="__tabbed_2_6" name="__tabbed_2" type="radio" /><input id="__tabbed_2_7" name="__tabbed_2" type="radio" /><input id="__tabbed_2_8" name="__tabbed_2" type="radio" /><input id="__tabbed_2_9" name="__tabbed_2" type="radio" /><input id="__tabbed_2_10" name="__tabbed_2" type="radio" /><div class="tabbed-labels"><label for="__tabbed_2_1">Java</label><label for="__tabbed_2_2">C++</label><label for="__tabbed_2_3">Python</label><label for="__tabbed_2_4">Go</label><label for="__tabbed_2_5">JavaScript</label><label for="__tabbed_2_6">TypeScript</label><label for="__tabbed_2_7">C</label><label for="__tabbed_2_8">C#</label><label for="__tabbed_2_9">Swift</label><label for="__tabbed_2_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2112,7 +2112,7 @@
|
||||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<p><strong>插入与删除节点</strong>。与链表类似，插入与删除节点都可以通过修改指针实现。</p>
|
||||
<p><strong>插入与删除节点</strong>。与链表类似，通过修改指针来实现插入与删除节点。</p>
|
||||
<p><img alt="在二叉树中插入与删除节点" src="../binary_tree.assets/binary_tree_add_remove.png" /></p>
|
||||
<p align="center"> Fig. 在二叉树中插入与删除节点 </p>
|
||||
|
||||
@@ -2208,21 +2208,20 @@
|
||||
</div>
|
||||
<div class="admonition note">
|
||||
<p class="admonition-title">Note</p>
|
||||
<p>插入节点会改变二叉树的原有逻辑结构，删除节点往往意味着删除了该节点的所有子树。因此，二叉树中的插入与删除一般都是由一套操作配合完成的，这样才能实现有意义的操作。</p>
|
||||
<p>需要注意的是，插入节点可能会改变二叉树的原有逻辑结构，而删除节点通常意味着删除该节点及其所有子树。因此，在二叉树中，插入与删除操作通常是由一套操作配合完成的，以实现有实际意义的操作。</p>
|
||||
</div>
|
||||
<h2 id="713">7.1.3. 常见二叉树类型<a class="headerlink" href="#713" title="Permanent link">¶</a></h2>
|
||||
<h3 id="_1">完美二叉树<a class="headerlink" href="#_1" title="Permanent link">¶</a></h3>
|
||||
<p>「完美二叉树 Perfect Binary Tree」的所有层的节点都被完全填满。在完美二叉树中，叶节点的度为 <span class="arithmatex">\(0\)</span> ，其余所有节点的度都为 <span class="arithmatex">\(2\)</span> ；若树高度 <span class="arithmatex">\(= h\)</span> ，则节点总数 <span class="arithmatex">\(= 2^{h+1} - 1\)</span> ，呈标准的指数级关系，反映着自然界中常见的细胞分裂。</p>
|
||||
<p>「完美二叉树 Perfect Binary Tree」除了最底层外，其余所有层的节点都被完全填满。在完美二叉树中，叶节点的度为 <span class="arithmatex">\(0\)</span> ，其余所有节点的度都为 <span class="arithmatex">\(2\)</span> ；若树高度为 <span class="arithmatex">\(h\)</span> ，则节点总数为 <span class="arithmatex">\(2^{h+1} - 1\)</span> ，呈现标准的指数级关系，反映了自然界中常见的细胞分裂现象。</p>
|
||||
<div class="admonition tip">
|
||||
<p class="admonition-title">Tip</p>
|
||||
<p>在中文社区中，完美二叉树常被称为「满二叉树」，请注意与完满二叉树区分。</p>
|
||||
<p>在中文社区中，完美二叉树常被称为「满二叉树」，请注意区分。</p>
|
||||
</div>
|
||||
<p><img alt="完美二叉树" src="../binary_tree.assets/perfect_binary_tree.png" /></p>
|
||||
<p align="center"> Fig. 完美二叉树 </p>
|
||||
|
||||
<h3 id="_2">完全二叉树<a class="headerlink" href="#_2" title="Permanent link">¶</a></h3>
|
||||
<p>「完全二叉树 Complete Binary Tree」只有最底层的节点未被填满，且最底层节点尽量靠左填充。</p>
|
||||
<p><strong>完全二叉树非常适合用数组来表示</strong>。如果按照层序遍历序列的顺序来存储，那么空节点 <code>null</code> 一定全部出现在序列的尾部，因此我们就可以不用存储这些 null 了。</p>
|
||||
<p><img alt="完全二叉树" src="../binary_tree.assets/complete_binary_tree.png" /></p>
|
||||
<p align="center"> Fig. 完全二叉树 </p>
|
||||
|
||||
@@ -2232,14 +2231,14 @@
|
||||
<p align="center"> Fig. 完满二叉树 </p>
|
||||
|
||||
<h3 id="_4">平衡二叉树<a class="headerlink" href="#_4" title="Permanent link">¶</a></h3>
|
||||
<p>「平衡二叉树 Balanced Binary Tree」中任意节点的左子树和右子树的高度之差的绝对值 <span class="arithmatex">\(\leq 1\)</span> 。</p>
|
||||
<p>「平衡二叉树 Balanced Binary Tree」中任意节点的左子树和右子树的高度之差的绝对值不超过 1 。</p>
|
||||
<p><img alt="平衡二叉树" src="../binary_tree.assets/balanced_binary_tree.png" /></p>
|
||||
<p align="center"> Fig. 平衡二叉树 </p>
|
||||
|
||||
<h2 id="714">7.1.4. 二叉树的退化<a class="headerlink" href="#714" title="Permanent link">¶</a></h2>
|
||||
<p>当二叉树的每层的节点都被填满时，达到「完美二叉树」；而当所有节点都偏向一边时，二叉树退化为「链表」。</p>
|
||||
<p>当二叉树的每层节点都被填满时，达到「完美二叉树」；而当所有节点都偏向一侧时，二叉树退化为「链表」。</p>
|
||||
<ul>
|
||||
<li>完美二叉树是一个二叉树的“最佳状态”，可以完全发挥出二叉树“分治”的优势；</li>
|
||||
<li>完美二叉树是理想情况，可以充分发挥二叉树“分治”的优势；</li>
|
||||
<li>链表则是另一个极端，各项操作都变为线性操作，时间复杂度退化至 <span class="arithmatex">\(O(n)\)</span> ；</li>
|
||||
</ul>
|
||||
<p><img alt="二叉树的最佳与最二叉树的最佳和最差结构差情况" src="../binary_tree.assets/binary_tree_corner_cases.png" /></p>
|
||||
@@ -2280,17 +2279,17 @@
|
||||
</table>
|
||||
</div>
|
||||
<h2 id="715">7.1.5. 二叉树表示方式 *<a class="headerlink" href="#715" title="Permanent link">¶</a></h2>
|
||||
<p>我们一般使用二叉树的「链表表示」，即存储单位为节点 <code>TreeNode</code> ，节点之间通过指针（引用）相连接。本文前述示例代码展示了二叉树在链表表示下的各项基本操作。</p>
|
||||
<p>那能否可以用「数组表示」二叉树呢？答案是肯定的。先来分析一个简单案例，给定一个「完美二叉树」，将节点按照层序遍历的顺序编号（从 0 开始），那么可以推导得出父节点索引与子节点索引之间的「映射公式」：<strong>设节点的索引为 <span class="arithmatex">\(i\)</span> ，则该节点的左子节点索引为 <span class="arithmatex">\(2i + 1\)</span> 、右子节点索引为 <span class="arithmatex">\(2i + 2\)</span></strong> 。</p>
|
||||
<p><strong>本质上，映射公式的作用就是链表中的指针</strong>。对于层序遍历序列中的任意节点，我们都可以使用映射公式来访问子节点。因此，可以直接使用层序遍历序列（即数组）来表示完美二叉树。</p>
|
||||
<p>我们通常使用二叉树的「链表表示」，即存储单位为节点 <code>TreeNode</code> ，节点之间通过指针相连接。本文前述示例代码展示了二叉树在链表表示下的各项基本操作。</p>
|
||||
<p>那么，能否用「数组」来表示二叉树呢？答案是肯定的。先来分析一个简单案例，给定一个「完美二叉树」，将节点按照层序遍历的顺序编号（从 0 开始），那么可以推导得出父节点索引与子节点索引之间的“映射公式”：<strong>若节点的索引为 <span class="arithmatex">\(i\)</span> ，则该节点的左子节点索引为 <span class="arithmatex">\(2i + 1\)</span> ，右子节点索引为 <span class="arithmatex">\(2i + 2\)</span></strong> 。</p>
|
||||
<p><strong>本质上，映射公式的作用相当于链表中的指针</strong>。对于层序遍历序列中的任意节点，我们都可以使用映射公式来访问其子节点。因此，我们可以将二叉树的层序遍历序列存储到数组中，利用以上映射公式来表示二叉树。</p>
|
||||
<p><img alt="完美二叉树的数组表示" src="../binary_tree.assets/array_representation_mapping.png" /></p>
|
||||
<p align="center"> Fig. 完美二叉树的数组表示 </p>
|
||||
|
||||
<p>然而，完美二叉树只是个例，二叉树中间层往往存在许多空节点（即 <code>null</code> ），而层序遍历序列并不包含这些空节点，并且我们无法单凭序列来猜测空节点的数量和分布位置，<strong>即理论上存在许多种二叉树都符合该层序遍历序列</strong>。显然，这种情况无法使用数组来存储二叉树。</p>
|
||||
<p>然而，完美二叉树只是一个特例。在二叉树的中间层，通常存在许多 <span class="arithmatex">\(\text{null}\)</span> ，而层序遍历序列并不包含这些 <span class="arithmatex">\(\text{null}\)</span> 。我们无法仅凭序列来推测空节点的数量和分布位置，<strong>这意味着理论上存在许多种二叉树都符合该层序遍历序列</strong>。显然，在这种情况下，我们无法使用数组来存储二叉树。</p>
|
||||
<p><img alt="给定数组对应多种二叉树可能性" src="../binary_tree.assets/array_representation_without_empty.png" /></p>
|
||||
<p align="center"> Fig. 给定数组对应多种二叉树可能性 </p>
|
||||
|
||||
<p>为了解决此问题，考虑按照完美二叉树的形式来表示所有二叉树，<strong>即在序列中使用特殊符号来显式地表示“空位”</strong>。如下图所示，这样处理后，序列（数组）就可以唯一表示二叉树了。</p>
|
||||
<p>为了解决这个问题，我们可以考虑按照完美二叉树的形式来表示所有二叉树，<strong>并在序列中使用特殊符号来显式地表示 <span class="arithmatex">\(\text{null}\)</span></strong>。如下图所示，这样处理后，层序遍历序列就可以唯一表示二叉树了。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="4:10"><input checked="checked" id="__tabbed_4_1" name="__tabbed_4" type="radio" /><input id="__tabbed_4_2" name="__tabbed_4" type="radio" /><input id="__tabbed_4_3" name="__tabbed_4" type="radio" /><input id="__tabbed_4_4" name="__tabbed_4" type="radio" /><input id="__tabbed_4_5" name="__tabbed_4" type="radio" /><input id="__tabbed_4_6" name="__tabbed_4" type="radio" /><input id="__tabbed_4_7" name="__tabbed_4" type="radio" /><input id="__tabbed_4_8" name="__tabbed_4" type="radio" /><input id="__tabbed_4_9" name="__tabbed_4" type="radio" /><input id="__tabbed_4_10" name="__tabbed_4" type="radio" /><div class="tabbed-labels"><label for="__tabbed_4_1">Java</label><label for="__tabbed_4_2">C++</label><label for="__tabbed_4_3">Python</label><label for="__tabbed_4_4">Go</label><label for="__tabbed_4_5">JavaScript</label><label for="__tabbed_4_6">TypeScript</label><label for="__tabbed_4_7">C</label><label for="__tabbed_4_8">C#</label><label for="__tabbed_4_9">Swift</label><label for="__tabbed_4_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2355,11 +2354,11 @@
|
||||
<p><img alt="任意类型二叉树的数组表示" src="../binary_tree.assets/array_representation_with_empty.png" /></p>
|
||||
<p align="center"> Fig. 任意类型二叉树的数组表示 </p>
|
||||
|
||||
<p>回顾「完全二叉树」的定义，其只有最底层有空节点，并且最底层的节点尽量靠左，因而所有空节点都一定出现在层序遍历序列的末尾。<strong>因为我们先验地确定了空位的位置，所以在使用数组表示完全二叉树时，可以省略存储“空位”</strong>。因此，完全二叉树非常适合使用数组来表示。</p>
|
||||
<p><strong>完全二叉树非常适合使用数组来表示</strong>。回顾「完全二叉树」的定义，<span class="arithmatex">\(\text{null}\)</span> 只出现在最底层，并且最底层的节点尽量靠左。这意味着，<strong>所有空节点一定出现在层序遍历序列的末尾</strong>。由于我们事先知道了所有 <span class="arithmatex">\(\text{null}\)</span> 的位置，因此在使用数组表示完全二叉树时，可以省略存储它们。</p>
|
||||
<p><img alt="完全二叉树的数组表示" src="../binary_tree.assets/array_representation_complete_binary_tree.png" /></p>
|
||||
<p align="center"> Fig. 完全二叉树的数组表示 </p>
|
||||
|
||||
<p>数组表示有两个优点： 一是不需要存储指针，节省空间；二是可以随机访问节点。然而，当二叉树中的“空位”很多时，数组中只包含很少节点的数据，空间利用率很低。</p>
|
||||
<p>数组表示具有两个显著优点：首先，它不需要存储指针，从而节省了空间；其次，它允许随机访问节点。然而，当二叉树中存在大量 <span class="arithmatex">\(\text{null}\)</span> 时，数组中包含的节点数据比重较低，导致有效空间利用率降低。</p>
|
||||
|
||||
|
||||
|
||||
|
||||
@@ -1820,16 +1820,16 @@
|
||||
|
||||
|
||||
<h1 id="72">7.2. 二叉树遍历<a class="headerlink" href="#72" title="Permanent link">¶</a></h1>
|
||||
<p>从物理结构角度看，树是一种基于链表的数据结构，因此遍历方式也是通过指针（即引用）逐个遍历节点。同时，树还是一种非线性数据结构，这导致遍历树比遍历链表更加复杂，需要使用搜索算法来实现。</p>
|
||||
<p>常见的二叉树遍历方式有层序遍历、前序遍历、中序遍历、后序遍历。</p>
|
||||
<p>从物理结构的角度来看，树是一种基于链表的数据结构，因此其遍历方式是通过指针逐个访问节点。然而，树是一种非线性数据结构，这使得遍历树比遍历链表更加复杂，需要借助搜索算法来实现。</p>
|
||||
<p>二叉树常见的遍历方式包括层序遍历、前序遍历、中序遍历和后序遍历等。</p>
|
||||
<h2 id="721">7.2.1. 层序遍历<a class="headerlink" href="#721" title="Permanent link">¶</a></h2>
|
||||
<p>「层序遍历 Level-Order Traversal」从顶至底、一层一层地遍历二叉树，并在每层中按照从左到右的顺序访问节点。</p>
|
||||
<p>层序遍历本质上是「广度优先搜索 Breadth-First Traversal」，其体现着一种“一圈一圈向外”的层进遍历方式。</p>
|
||||
<p>「层序遍历 Level-Order Traversal」从顶部到底部逐层遍历二叉树，并在每一层按照从左到右的顺序访问节点。</p>
|
||||
<p>层序遍历本质上属于「广度优先搜索 Breadth-First Traversal」，它体现了一种“一圈一圈向外扩展”的逐层搜索方式。</p>
|
||||
<p><img alt="二叉树的层序遍历" src="../binary_tree_traversal.assets/binary_tree_bfs.png" /></p>
|
||||
<p align="center"> Fig. 二叉树的层序遍历 </p>
|
||||
|
||||
<h3 id="_1">算法实现<a class="headerlink" href="#_1" title="Permanent link">¶</a></h3>
|
||||
<p>广度优先遍历一般借助「队列」来实现。队列的规则是“先进先出”，广度优先遍历的规则是“一层层平推”，两者背后的思想是一致的。</p>
|
||||
<p>广度优先遍历通常借助「队列」来实现。队列遵循“先进先出”的规则，而广度优先遍历则遵循“逐层推进”的规则，两者背后的思想是一致的。</p>
|
||||
<div class="tabbed-set tabbed-alternate" data-tabs="1:10"><input checked="checked" id="__tabbed_1_1" name="__tabbed_1" type="radio" /><input id="__tabbed_1_2" name="__tabbed_1" type="radio" /><input id="__tabbed_1_3" name="__tabbed_1" type="radio" /><input id="__tabbed_1_4" name="__tabbed_1" type="radio" /><input id="__tabbed_1_5" name="__tabbed_1" type="radio" /><input id="__tabbed_1_6" name="__tabbed_1" type="radio" /><input id="__tabbed_1_7" name="__tabbed_1" type="radio" /><input id="__tabbed_1_8" name="__tabbed_1" type="radio" /><input id="__tabbed_1_9" name="__tabbed_1" type="radio" /><input id="__tabbed_1_10" name="__tabbed_1" type="radio" /><div class="tabbed-labels"><label for="__tabbed_1_1">Java</label><label for="__tabbed_1_2">C++</label><label for="__tabbed_1_3">Python</label><label for="__tabbed_1_4">Go</label><label for="__tabbed_1_5">JavaScript</label><label for="__tabbed_1_6">TypeScript</label><label for="__tabbed_1_7">C</label><label for="__tabbed_1_8">C#</label><label for="__tabbed_1_9">Swift</label><label for="__tabbed_1_10">Zig</label></div>
|
||||
<div class="tabbed-content">
|
||||
<div class="tabbed-block">
|
||||
@@ -2038,10 +2038,10 @@
|
||||
</div>
|
||||
<h3 id="_2">复杂度分析<a class="headerlink" href="#_2" title="Permanent link">¶</a></h3>
|
||||
<p><strong>时间复杂度</strong>：所有节点被访问一次，使用 <span class="arithmatex">\(O(n)\)</span> 时间，其中 <span class="arithmatex">\(n\)</span> 为节点数量。</p>
|
||||
<p><strong>空间复杂度</strong>：当为满二叉树时达到最差情况，遍历到最底层前，队列中最多同时存在 <span class="arithmatex">\(\frac{n + 1}{2}\)</span> 个节点，使用 <span class="arithmatex">\(O(n)\)</span> 空间。</p>
|
||||
<p><strong>空间复杂度</strong>：在最差情况下，即满二叉树时，遍历到最底层之前，队列中最多同时存在 <span class="arithmatex">\(\frac{n + 1}{2}\)</span> 个节点，占用 <span class="arithmatex">\(O(n)\)</span> 空间。</p>
|
||||
<h2 id="722">7.2.2. 前序、中序、后序遍历<a class="headerlink" href="#722" title="Permanent link">¶</a></h2>
|
||||
<p>相对地，前、中、后序遍历皆属于「深度优先遍历 Depth-First Traversal」，其体现着一种“先走到尽头，再回头继续”的回溯遍历方式。</p>
|
||||
<p>如下图所示，左侧是深度优先遍历的的示意图，右上方是对应的递归实现代码。深度优先遍历就像是绕着整个二叉树的外围“走”一圈，走的过程中，在每个节点都会遇到三个位置，分别对应前序遍历、中序遍历、后序遍历。</p>
|
||||
<p>相应地，前序、中序和后序遍历都属于「深度优先遍历 Depth-First Traversal」，它体现了一种“先走到尽头，再回溯继续”的遍历方式。</p>
|
||||
<p>如下图所示，左侧是深度优先遍历的示意图，右上方是对应的递归实现代码。深度优先遍历就像是绕着整个二叉树的外围“走”一圈，在这个过程中，在每个节点都会遇到三个位置，分别对应前序遍历、中序遍历和后序遍历。</p>
|
||||
<p><img alt="二叉搜索树的前、中、后序遍历" src="../binary_tree_traversal.assets/binary_tree_dfs.png" /></p>
|
||||
<p align="center"> Fig. 二叉搜索树的前、中、后序遍历 </p>
|
||||
|
||||
@@ -2374,7 +2374,7 @@
|
||||
</div>
|
||||
<h3 id="_4">复杂度分析<a class="headerlink" href="#_4" title="Permanent link">¶</a></h3>
|
||||
<p><strong>时间复杂度</strong>：所有节点被访问一次，使用 <span class="arithmatex">\(O(n)\)</span> 时间，其中 <span class="arithmatex">\(n\)</span> 为节点数量。</p>
|
||||
<p><strong>空间复杂度</strong>：当树退化为链表时达到最差情况，递归深度达到 <span class="arithmatex">\(n\)</span> ，系统使用 <span class="arithmatex">\(O(n)\)</span> 栈帧空间。</p>
|
||||
<p><strong>空间复杂度</strong>：在最差情况下，即树退化为链表时，递归深度达到 <span class="arithmatex">\(n\)</span> ，系统占用 <span class="arithmatex">\(O(n)\)</span> 栈帧空间。</p>
|
||||
|
||||
|
||||
|
||||
|
||||
@@ -1029,55 +1029,10 @@
|
||||
|
||||
|
||||
|
||||
<label class="md-nav__link md-nav__link--active" for="__toc">
|
||||
7.5. 小结
|
||||
<span class="md-nav__icon md-icon"></span>
|
||||
</label>
|
||||
|
||||
<a href="./" class="md-nav__link md-nav__link--active">
|
||||
7.5. 小结
|
||||
</a>
|
||||
|
||||
|
||||
|
||||
<nav class="md-nav md-nav--secondary" aria-label="目录">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<label class="md-nav__title" for="__toc">
|
||||
<span class="md-nav__icon md-icon"></span>
|
||||
目录
|
||||
</label>
|
||||
<ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_1" class="md-nav__link">
|
||||
二叉树
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_2" class="md-nav__link">
|
||||
二叉树遍历
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_3" class="md-nav__link">
|
||||
二叉搜索树
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
</ul>
|
||||
|
||||
</nav>
|
||||
|
||||
</li>
|
||||
|
||||
|
||||
@@ -1703,35 +1658,6 @@
|
||||
|
||||
|
||||
|
||||
<label class="md-nav__title" for="__toc">
|
||||
<span class="md-nav__icon md-icon"></span>
|
||||
目录
|
||||
</label>
|
||||
<ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_1" class="md-nav__link">
|
||||
二叉树
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_2" class="md-nav__link">
|
||||
二叉树遍历
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
<li class="md-nav__item">
|
||||
<a href="#_3" class="md-nav__link">
|
||||
二叉搜索树
|
||||
</a>
|
||||
|
||||
</li>
|
||||
|
||||
</ul>
|
||||
|
||||
</nav>
|
||||
</div>
|
||||
</div>
|
||||
@@ -1754,25 +1680,18 @@
|
||||
|
||||
|
||||
<h1 id="75">7.5. 小结<a class="headerlink" href="#75" title="Permanent link">¶</a></h1>
|
||||
<h3 id="_1">二叉树<a class="headerlink" href="#_1" title="Permanent link">¶</a></h3>
|
||||
<ul>
|
||||
<li>二叉树是一种非线性数据结构，代表着“一分为二”的分治逻辑。二叉树的节点包含「值」和两个「指针」，分别指向左子节点和右子节点。</li>
|
||||
<li>选定二叉树中某节点，将其左（右）子节点以下形成的树称为左（右）子树。</li>
|
||||
<li>二叉树的术语较多，包括根节点、叶节点、层、度、边、高度、深度等。</li>
|
||||
<li>二叉树的初始化、节点插入、节点删除操作与链表的操作方法类似。</li>
|
||||
<li>常见的二叉树类型包括完美二叉树、完全二叉树、完满二叉树、平衡二叉树。完美二叉树是理想状态，链表则是退化后的最差状态。</li>
|
||||
<li>二叉树可以使用数组表示，具体做法是将节点值和空位按照层序遍历的顺序排列，并基于父节点和子节点之间的索引映射公式实现指针。</li>
|
||||
</ul>
|
||||
<h3 id="_2">二叉树遍历<a class="headerlink" href="#_2" title="Permanent link">¶</a></h3>
|
||||
<ul>
|
||||
<li>二叉树层序遍历是一种广度优先搜索，体现着“一圈一圈向外”的层进式遍历方式，通常借助队列来实现。</li>
|
||||
<li>前序、中序、后序遍历是深度优先搜索，体现着“走到头、再回头继续”的回溯遍历方式，通常使用递归实现。</li>
|
||||
</ul>
|
||||
<h3 id="_3">二叉搜索树<a class="headerlink" href="#_3" title="Permanent link">¶</a></h3>
|
||||
<ul>
|
||||
<li>二叉搜索树是一种高效的元素查找数据结构，查找、插入、删除操作的时间复杂度皆为 <span class="arithmatex">\(O(\log n)\)</span> 。二叉搜索树退化为链表后，各项时间复杂度劣化至 <span class="arithmatex">\(O(n)\)</span> ，因此如何避免退化是非常重要的课题。</li>
|
||||
<li>AVL 树又称平衡二叉搜索树，其通过旋转操作，使得在不断插入与删除节点后，仍然可以保持二叉树的平衡（不退化）。</li>
|
||||
<li>AVL 树的旋转操作分为右旋、左旋、先右旋后左旋、先左旋后右旋。在插入或删除节点后，AVL 树会从底至顶地执行旋转操作，使树恢复平衡。</li>
|
||||
<li>二叉树是一种非线性数据结构，体现“一分为二”的分治逻辑。每个二叉树节点包含一个值以及两个指针，分别指向其左子节点和右子节点。</li>
|
||||
<li>对于二叉树中的某个节点，其左（右）子节点及其以下形成的树被称为该节点的左（右）子树。</li>
|
||||
<li>二叉树的相关术语包括根节点、叶节点、层、度、边、高度和深度等。</li>
|
||||
<li>二叉树的初始化、节点插入和节点删除操作与链表操作方法类似。</li>
|
||||
<li>常见的二叉树类型有完美二叉树、完全二叉树、满二叉树和平衡二叉树。完美二叉树是最理想的状态，而链表是退化后的最差状态。</li>
|
||||
<li>二叉树可以用数组表示，方法是将节点值和空位按层序遍历顺序排列，并根据父节点与子节点之间的索引映射关系来实现指针。</li>
|
||||
<li>二叉树的层序遍历是一种广度优先搜索方法，它体现了“一圈一圈向外”的分层遍历方式，通常通过队列来实现。</li>
|
||||
<li>前序、中序、后序遍历皆属于深度优先搜索，它们体现了“走到尽头，再回头继续”的回溯遍历方式，通常使用递归来实现。</li>
|
||||
<li>二叉搜索树是一种高效的元素查找数据结构，其查找、插入和删除操作的时间复杂度均为 <span class="arithmatex">\(O(\log n)\)</span> 。当二叉搜索树退化为链表时，各项时间复杂度会劣化至 <span class="arithmatex">\(O(n)\)</span> 。</li>
|
||||
<li>AVL 树，也称为平衡二叉搜索树，它通过旋转操作，确保在不断插入和删除节点后，树仍然保持平衡。</li>
|
||||
<li>AVL 树的旋转操作包括右旋、左旋、先右旋再左旋、先左旋再右旋。在插入或删除节点后，AVL 树会从底向顶执行旋转操作，使树重新恢复平衡。</li>
|
||||
</ul>
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user