This commit is contained in:
krahets
2023-03-26 22:05:43 +08:00
parent d57f488347
commit 5901ac43e7
59 changed files with 3597 additions and 425 deletions

View File

@@ -1361,6 +1361,8 @@
@@ -1521,8 +1523,8 @@
<li class="md-nav__item">
<a href="../counting_sort/" class="md-nav__link">
11.6. &nbsp; 计数排序New
<a href="../bucket_sort/" class="md-nav__link">
11.6. &nbsp; 排序New
</a>
</li>
@@ -1535,8 +1537,22 @@
<li class="md-nav__item">
<a href="../bucket_sort/" class="md-nav__link">
11.7. &nbsp; 排序New
<a href="../counting_sort/" class="md-nav__link">
11.7. &nbsp; 计数排序New
</a>
</li>
<li class="md-nav__item">
<a href="../radix_sort/" class="md-nav__link">
11.8. &nbsp; 基数排序New
</a>
</li>
@@ -1550,7 +1566,7 @@
<li class="md-nav__item">
<a href="../summary/" class="md-nav__link">
11.8. &nbsp; 小结
11.9. &nbsp; 小结
</a>
</li>
@@ -2034,13 +2050,6 @@
</div>
</div>
</div>
<div class="admonition question">
<p class="admonition-title">“从右往左查找”与“从左往右查找”顺序可以交换吗?</p>
<p>不行,当我们以最左端元素为基准数时,必须先“从右往左查找”再“从左往右查找”。这个结论有些反直觉,我们来剖析一下原因。</p>
<p>哨兵划分 <code>partition()</code> 的最后一步是交换 <code>nums[left]</code><code>nums[i]</code> ,完成交换后,基准数左边的元素都 <code>&lt;=</code> 基准数,<strong>这就要求最后一步交换前 <code>nums[left] &gt;= nums[i]</code> 必须成立</strong>。假设我们先“从左往右查找”,那么如果找不到比基准数更小的元素,<strong>则会在 <code>i == j</code> 时跳出循环,此时可能 <code>nums[j] == nums[i] &gt; nums[left]</code></strong> ;也就是说,此时最后一步交换操作会把一个比基准数更大的元素交换至数组最左端,导致哨兵划分失败。</p>
<p>举个例子,给定数组 <code>[0, 0, 0, 0, 1]</code> ,如果先“从左向右查找”,哨兵划分后数组为 <code>[1, 0, 0, 0, 0]</code> ,这个结果是不对的。</p>
<p>再深想一步,如果我们选择 <code>nums[right]</code> 为基准数,那么正好反过来,必须先“从左往右查找”。</p>
</div>
<h2 id="1141">11.4.1. &nbsp; 算法流程<a class="headerlink" href="#1141" title="Permanent link">&para;</a></h2>
<ol>
<li>首先,对数组执行一次「哨兵划分」,得到待排序的 <strong>左子数组</strong><strong>右子数组</strong></li>
@@ -2689,6 +2698,13 @@
</div>
</div>
</div>
<div class="admonition question">
<p class="admonition-title">哨兵划分中“从右往左查找”与“从左往右查找”的顺序可以交换吗?</p>
<p>不行,当我们以最左端元素为基准数时,必须先“从右往左查找”再“从左往右查找”。这个结论有些反直觉,我们来剖析一下原因。</p>
<p>哨兵划分 <code>partition()</code> 的最后一步是交换 <code>nums[left]</code><code>nums[i]</code> ,完成交换后,基准数左边的元素都 <code>&lt;=</code> 基准数,<strong>这就要求最后一步交换前 <code>nums[left] &gt;= nums[i]</code> 必须成立</strong>。假设我们先“从左往右查找”,那么如果找不到比基准数更小的元素,<strong>则会在 <code>i == j</code> 时跳出循环,此时可能 <code>nums[j] == nums[i] &gt; nums[left]</code></strong> ;也就是说,此时最后一步交换操作会把一个比基准数更大的元素交换至数组最左端,导致哨兵划分失败。</p>
<p>举个例子,给定数组 <code>[0, 0, 0, 0, 1]</code> ,如果先“从左向右查找”,哨兵划分后数组为 <code>[1, 0, 0, 0, 0]</code> ,这个结果是不对的。</p>
<p>再深想一步,如果我们选择 <code>nums[right]</code> 为基准数,那么正好反过来,必须先“从左往右查找”。</p>
</div>