找做帽子的工厂网站,网站源代码购买,广西旅游 网站建设,全球建站前言
这次#xff0c;并不是具体讨论归并排序算法#xff0c;而是利用归并排序算法#xff0c;探讨一下递归。归并排序的特点在于连续使用了两次递归调用#xff0c;这次我们将从微观上观察递归全过程#xff0c;从本质上理解递归#xff0c;如果能看完#xff0c;你一…前言
这次并不是具体讨论归并排序算法而是利用归并排序算法探讨一下递归。归并排序的特点在于连续使用了两次递归调用这次我们将从微观上观察递归全过程从本质上理解递归如果能看完你一定能变得更强
代码
先直接上代码吧
using System.CodeDom.Compiler;int _1 0;
int _2 0;void __merge(int[] arr, int left, int mid, int right, string flag)
{ Console.WriteLine($__merge_{flag}: left{left1}, mid{mid 1}, right{right 1});int[] copy new int[right - left 1];//copy arr[left,right] to copy[]for (int ii left; ii right; ii){copy[ii - left] arr[ii];}int i left;int j mid 1;for (int k left; k right; k){if (i mid){arr[k] copy[j-left];j;}else if (j right){arr[k] copy[i - left];i;}else if (copy[i - left] copy[j - left]){arr[k] copy[i - left];i;}else{arr[k] copy[j - left];j;}}
}void __merge_sort(int[] arr, int left, int right, string flag)
{if (left right)return;if (flag.Contains(1)){_1 1;}if (flag.Contains(2)){_2 1;}int mid (left right) / 2;Console.WriteLine(${flag}, left{left1}, mid{mid1}, right{right 1});__merge_sort(arr, left, mid, 第1个merge_sort);__merge_sort(arr, mid 1, right, 第2个merge_sort);__merge(arr, left, mid, right, flag);
}void merge_sort(int[] arr)
{__merge_sort(arr, 0, arr.Length - 1, 第0个merge_sort);
}int[] arr { 1, 3, 5, 7, 8, 2, 4, 6};
merge_sort(arr);Console.WriteLine($_1:{_1}||_2:{_2});
foreach (var item in arr)
{Console.Write(item );
}Console.ReadLine();递归分析
这段代码特殊的地方在于它使用了两次递归 _1 和 _2 记录了 第一个和第二个递归的调用次数和算法逻辑无关这里增加的flag参数也主要是为了分析递归的过程。 第一个 __merge_sort 递归 的作用主要是将左边的一个数组不断的进行二分。 第二个 __merge_sort 递归 的作用主要是将右边的一个数组不断的进行二分。
merge将二分的数组按照大小顺序合二为一
这个算法实现的难度在于递归的构造和数组边界的把握。
宏观上看
void __merge_sort(int[] arr, int left, int right)
{int mid (left right) / 2;__merge_sort(arr, left, mid);__merge_sort(arr, mid 1, right);__merge(arr, left, mid, right, flag);
}过程就是通过__merge_sort的递归将数组二分然后再将二分的数组归并。 __merge进行归并的前提是两个即将归并的数组为已经排好序的数组 但是如果我们二分的到单个数字的时候一个数字就是一个数组这个数字也可以看成是 有序的数组。 所以当二分到”极致的“时候就满足了__merge的前提。
二分完成之后以下就Merge的工作 看到这张图其实很容易联想到递归算法但是如何构造递归函数呢有点像 要把大象装冰箱总共分几步这是宏观上的看到的 1 第一步分左边 __merge_sort(arr, left, mid); 2 第二步分右边 __merge_sort(arr, mid 1, right); 3 第三步整合到一起 __merge(arr, left, mid, right, flag);
微观上看
我们先从微观上从本质上看看整个递归过程是这么执行的请结合下面两张图观看 这个是程序的执行结果第0个 表示最外层的__merge_sort被调用。 此时最左边的是1中间为4最右是8. 然后__merge_sort一个递归调用触发第一个__merge_sort负责左边。 所以是最左边的是1中间为2最右是4. 此时并没有满足递归退出的条件 所以继续调用第一个__merge_sort。此时继续负责左边注意是1 2 3 4 的左边。 所以就有了1 1 2 那么很明显下次递归的时候左边会等于右边left right所以下次就会满足递归退出的条件。 下面一段是重点 所以下一次开始了第二个递归的调用他负责右边的二分。这里可能会有人觉得奇怪不是负责右边的调用吗怎么打印的是3 3 4 这是左边啊 那我是这么理解的递归是有层级划分的每递归一层就像下了一层楼梯 每次递归返回就是上了一层台阶 刚刚我们退出时候其实是处于二分 1 2 3 4 这层阶梯的所以此时在整个层级需要二分的是 1 2 3 4 的右边所以二分的是3 3 4。
此时该层的__merge_sort也要返回到上一层了。 此时打印的是 5 6 8直接分的就是 右边的 5 6 7 8这是因为上一层的左边的 1 2 3 4 已经在上一次的递归中已经被分过了递归每一层都有自己的记忆其实就是每一层的参数都压到栈里进行的保存此时已经到了递归的最上层了而且第一层的左右两边都分完了。 接下来开始是继续往下一层递归左边的1 2 3 4 已经二分完毕所以是右边的 5 6 7 8 而 5 6 7 8 也已经被 分成了 56 | 78。 所以又是 第一个 __merge_sort 开始二分左边的 56了。 所以此时打印的是 5 5 6最后是 第二个将右边的分为 7 7 8. 整个二分的过程就结束了。
要注意的是两个__merge_sort始终是处于用一个层级的当第一个__merge_sort下个几个楼梯后其实第二个也会下同样多个阶梯。接下来还会进一步的再次说明这一点
合并的部分
接下来我们来单独看看二分之后 __merge这个函数的调用过程 这个完全是符合预期的: 显示左边的先合并12再合并14接着合并1234 然后是右边的先合并56再嗯好吧78结果合并5678 最后是 148也就是 12345678整个的合并
现在我们结合递归和合并一起看是怎么样的一个顺序 代码回顾 int mid (left right) / 2;Console.WriteLine(${flag}, left{left1}, mid{mid1}, right{right 1});__merge_sort(arr, left, mid);__merge_sort(arr, mid 1, right);__merge(arr, left, mid, right, flag); } 首先是第一次__merge_sort 三次连续的递归之后直接就开始了第一次的合并 这里可能有人会问按照函数的调用顺序此时不应该执行第二个__merge_sort吗这么直接调到了 __merge函数了第二个__merge_sort不会执行吗
这里我再次强调层级的问题现在已经递归到最后一个层级了此时left mid right 对应的是 1 1 2其实就是对 12 进行二分此时 对应在这个层级的第二个__merge_sort来说 __merge_sort(arr, mid 1, right); left mid1 所以此时满足了递归的退出条件 left right,其实就是只剩下2了不用你右边在分了 所以此时不是第二个__merge_sort没有调用而是直接退出了。递归的退出条件也是递归的最重要的核心之一 所以就执行的__merge完成12合并合并的过程其实就排序可以参考最上面的__merge代码。
此时递归已经触底的开始返回到上一次上一层的左边已经递归完成12已经二分也满足递归退出条件所以上一层阶梯就开始右边的递归将34 二分注意这里124左右的划分全部结束啦二分完成后就返回了 于是就会执行__merge完成 34的合并。在这次__merge结束后紧接着又是一个 __merge完成 1 2 4 的合并也就是说前面两个__merge_sort都被跳过了 这是为啥
这是因为__merge执行完后此时递归又会上一个层级在这个层级其实就是1 2 4的二分 而 1 2 4 左和右的划分在之前的递归过程中已经结束了所以直接开始合并了。
此时还剩下的部分是 合并完成之后这一次递归也返回了就到了最上面一层递归了不过左边的部分已经执行过了所以是右边的 5 6 8 的 划分划分玩之后从第二个__merge_sort再次进入递归下一层楼梯此时遇到了下一层的第一个__merge_sort。于是就有了 5 5 6已经触底了所以返回遇到了这一层的第二个__merge_sort就有了 778。到此两个递归都已经触底且都已完成接下来就都是merge合并了 这里说一些感想读到这里你应该体会到了调用两个递归的特点一开始遇到第一个递归就会一直递归到最下面一层然后一层层返回如下 在返回的过程中会调用 倒数第二层的第二个__merge_sort 所以第一个__merge_sort在递归下楼梯的时候调用而第二个递归是在上楼梯的时候调用而当上到最上层的时刚刚调用完了第二个__merge_sort又会进入递归的下一层并碰再次遇到第一个__merge_sort并再次进入第一层递归再次触底 次数问题
接下来再看另外一个问题和递归无关如果把数组扩大到10 这次负责左边的递归运行了5次而负责右边的只运行了3次。这次左右不平衡了 会觉得奇怪吗 这是因为奇偶数的问题当 数组为8的时候 8 二分 后是 4 4最后变成 2222。 在变成单个之前都是偶数。如果是10二分就会变成5。5这个数字就会导致二分时左边的二分次数会更多。 所以只有当个数为 2的N次方的时候比如 8 16这样的数组长度时两次递归的调用次数才会相同
递归小结
看到最后你还能回忆起__merge_sort是如何实现二分的吗 想不起来没关系因为这个过程很隐秘不过也是递归的设计的关键所在。
void __merge_sort(int[] arr, int left, int right)
{int mid (left right) / 2;__merge_sort(arr, left, mid);__merge_sort(arr, mid 1, right);__merge(arr, left, mid, right, flag);
}首先我们要自己设计递归函数比如传入一个数组我们的目的是改变该数组内部的元素的顺序但是每次考虑的是其中的一个部分。所以我需要一个边界left和right。 对于整个数组来说left是0right是长度-1 二分之后每次二分之后left和right都会发生变化。 每次递归调用都会下一层阶梯进入下一层从而导致left和right的再次改变。 能理解 ”进入下一层“ 是理解递归的关键在一次次递归中就完成了二分的过程 我们可先从宏观上设计思路再从微观上确保思路的正确。
这篇文章写了很久自我感觉良好不知道各位觉得如何欢迎评论区反馈~~~
附加在提供一下完整的python代码吧
之前本来是用python测试不过还是觉得vs调试C#方便啊
def __merge(arr, left, mid, right):arr_copy arr[left:right 1][:]i leftj mid1for k in range(left, right1):if i mid:arr[k] arr_copy[j-left]j j 1elif j right:arr[k] arr_copy[i-left]i i 1elif arr_copy[i-left] arr_copy[j-left]:arr[k] arr_copy[i-left]i i 1else:arr[k] arr_copy[j-left]j j 1def __merge_sort(arr, left, right):if left right:returnmid (left right) // 2print(left, mid, right)__merge_sort(arr, left, mid)__merge_sort(arr, mid 1, right)__merge(arr, left, mid, right)def merge_sort(arr):__merge_sort(arr, 0, len(arr) - 1)if __name__ __main__:arr0 [1, 3, 5, 7, 9, 2, 4, 6, 8, 10]merge_sort(arr0)print(arr0)
