快速排序和归并排序中一趟的理解（递归和非递归）

最新推荐文章于 2024-09-12 19:02:20 发布

Djavadi

最新推荐文章于 2024-09-12 19:02:20 发布

阅读量1.2w

点赞数 34

分类专栏：数据结构文章标签：算法数据结构排序算法

本文链接：https://blog.csdn.net/Kazzan/article/details/112517998

版权

数据结构专栏收录该内容

2 篇文章 1 订阅

订阅专栏

引：2019年408中数据结构一道考察快速排序的选择题

答案：D

定位：这道题在考察快速排序中一趟的概念。注意，基本的冒泡，插入，选择排序的一趟概念很容易理解，

接下来我们要讨论的是递归排序算法中（本文以快排和归并排序）讨论“趟”是否有意义。（先说结论，有，但并不像基本排序算法里那么简单，或者说，像基本算法里那么有普适性，归并排序只有非递归实现才有讨论趟的必要性，而快速排序更为复杂一些）

思路：

回想教材（《数据结构》严）里对一趟的定义

算法描述：

可见第一张图的过程实际上是递归形式实现的快排第一次调用Partition函数产生的结果。

然而，我们知道，如果第一次选中的pivot处在了待排序元素最终结果中的中间位置。那么接下来的处理也是递归进行的，

如图(a)所示，在第一次调用Patition函数后，元素49被放到了最终位置，之后对49左侧位置元素调用Qsort进行处理，

之后，关键关键的一步来了。

对 49左侧位置元素（27 48 13）调用Qsort处理时，首先调用Partition函数选出Pivot 27（默认第一个元素作pivot），

接下来呢？是立刻返回并去处理49右边的元素再调用一次Partition吗？并不是，这显然不是递归函数执行过程，

正确的执行过程是在对（27 48 13）这个左子表调用Partition后变为（13 27 48）接下来会继续对27左侧子表调用Qsort进行处理。

什么意思？等递归函数处理到 49右侧位置元素 时，其左侧元素都已经排好序了！

我们再看题干描述趟的概念：对尚未确定最终位置的所有元素进行一遍处理称为一趟。

发现问题了吗？如果是递归实现的快排，按题干的的意思，把所有尚未确定最终位置元素进行一遍处理，只有第一次选中的元素处在最终位置的边缘，

才能保证有第二趟的概念，为什么？很简单，如果第一次选中的元素恰好在最终位置中间部分，比如教材里这个例子，那么严格意义上讲，这种情况下它的执行过程只有两趟（递归实现的快排）！

最新更改：上面我的结论有问题，如果第一次pivot选在了中间，也是有第二趟概念的。以2019年408选择题为例：
D选项中12和32排在了最终位置，那么假设这是两趟的结果吧，那得满足什么条件？
或者说D选项怎么改才算正确？
答：2，5，12，28，16，32，72，60（只是其中一种可能）
没错，把12左侧元素改为顺序即为可能出现的情况，也就是对应的快排代码中递归的顺序是先对pivot左侧递归调用Qsort，左侧都已经有序了，
再对右侧进行一次递归调用Qsort，首先会调用Partition，那么刚进行完这次Partition后，得到的结果即为“第二趟”。

注意这里的趟是题目定义的趟，对所有的未确定最终位置元素进行一遍处理。

（这里注意区分，我们平时讲的快速排序最坏情况下（初始情况完全有序），它的递归次数会达到最高（不是这里题目中的趟数））

简单反思下这个题纠结在哪了？快速排序我们平时记得多是Partition函数会使待排序数列产生一个位于最终位置的元素。

平时的教材中多是这样描述

就容易先入为主地认为1之后立刻执行2或者1，2同时进行（实际上的确有并行快速排序算法），

然而我们熟悉的多是递归形式实现的快速排序算法，PS：我又去查了下非递归实现的快排，多是用栈模拟..（把栈模拟出来，这难道就不算递归吗？）

这时另外一些稀奇古怪的问题冒出来了：所有的递归都可以改成非递归吗？手动压栈这种写法就不算递归了吗？（深坑，暂时不多做探讨，之所以会有这个问题是因为我看到了递归和非递归归并算法的实现）

即同样的，也有类似问题，问归并排序的“第二趟”处理结果类似问题

对序列25，57，48，37，12，82，75，29进行二路归并排序，第二趟归并后的结果为（）。
A．25，57，37，48，12，82，29，75
B．25，37，48，57，12，29，75，82
C．12，25，29，37，48，57，75，82
D．25，57，48，37，12，82，75，29

然而，我们平时写的也多是递归形式的，

//递归形式
void Msort(int a[], int l, int r)
{
    mid = (l + r) / 2
	Msort(a,l,mid);
	Msort(a,mid+1,r);
	merge(a,l,r,mid);	//合并两个子表
}

还是和快排相似的问题：递归形式的归并排序有“趟”的概念吗？（如果按照和上一道题定义的趟的概念，是没有的！没有！）

那题就错了吗？不是，因为归并排序可以不借助栈，由循环结构实现。

非递归形式的归并排序思想是以2^k递增的间隔来划分待排序序列

void non_recur_msort(int arr[], int temp[], int left_end, int right_end)
{

 for(int i = left_end; i <= right_end; i = 2*i)
 {//i 是划分长度，以2^k速度递增,
  for(int j = left_end; j <= right_end-i; j += 2*i)
    //j用来迭代处理每个划分长度下，待排序序列划分得到的子表
    merge(arr, temp, j, j+i-1, Min(j + 2*i - 1 , right_end)); 
    //子表长度为i，合并的两个子表左子表起始位置为j，mid为 j+i-1，右子表终止位置为j+2*i-1，
 }
}

有些人会纠结奇数个元素怎么被处理的，看两张图，第一张是递归归并排序过程，第二张是非递归归并排序过程

第一张图——递归实现的归并排序是自顶向下划分（也就是划分时由大到小，再把小规模逐步求解），之后自底向上合并。