这篇文章,以对话的方式,详细着讲解了快速排序以及排序排序的一些优化。




一禅:归并排序是一种基于分治思想的排序,处理的时候可以采取递归的方式来处理子问题。我弄个例子吧,好理解点。例如对于这个数组arr[] = { 4,1,3,2,7,5,8,0}。

我们把它切割成两部分。

把左半部分和右半部分分别排序好。

之后再用一个临时数组,把这两个有序的子数组汇总成一个有序的大数组

排好之后在复制原源arr数组

这时,源数组就排序完毕了


一禅:左半部分和右半部分的排序相当于一个原问题的一个子问题的,也是采取同样的方式,把左半部分分成两部分,然后…
直到分割子数组只有一个元素或0个元素时,这时子数组就是有序的了(因为只有一个元素或0个,肯定是有序的啊),就不用再分割了,直接返回就可以了(当然,我在讲解这个归并排序的过程中,是假设你大致了解归并排序的前提下的了)


一禅:把一个n个元素的数组分割成只有一个元素的数组,那么我需要切logn次,每次把两个有序的子数组汇总成一个大的有序数组,所需的时间复杂度为O(n)。所以总的时间复杂度为O(nlogn)



小白:那倒不是,快速排序的平均时间复杂度也是O(nlogn),不过他不需要像归并排序那样,还需要一个临时的数组来辅助排序,这可以节省掉一些空间的消耗,而且他不像归并排序那样,把两部分有序子数组汇总到临时数组之后,还得在复制回源数组,这也可以节省掉很多时间。


小白:快速排序也是和归并排序差不多,基于分治的思想以及采取递归的方式来处理子问题。例如对于一个待排序的源数组arr = { 4,1,3,2,7,6,8}。

我们可以随便选一个元素,假如我们选数组的第一个元素吧,我们把这个元素称之为”主元“吧。

然后将大于或等于主元的元素放在右边,把小于或等于主元的元素放在左边。

通过这种规则的调整之后,左边的元素都小于或等于主元,右边的元素都大于或等于主元,很显然,此时主元所处的位置,是一个有序的位置,即主元已经处于排好序的位置了。
主元把数组分成了两半部分。把一个大的数组通过主元分割成两小部分的这个操作,我们也称之为分割操作(partition)。
接下来,我们通过递归的方式,对左右两部分采取同样的方式,每次选取一个主元 元素,使他处于有序的位置。

那什么时候递归结束呢?当然是递归到子数组只有一个元素或者0个元素了




一禅:就按照你说的,选一个主元,你刚才选的是第一个元素为主元,这次我选最后一个为主元吧,哈哈。假设数组arr的范围为[left, right],即起始下标为left,末尾下标为right。源数组如下

然后可以用一个下标 i 指向 left,即 i = left ;用一个下标 j 也指向l eft,即j = left

接下来 j 从左向右遍历,遍历的范围为 [left, right-1] ,遍历的过程中,如果遇到比主元小的元素,则把该元素与 i 指向的元素交换,并且 i = i +1

当j指向1时,1比4小,此时把i和j指向的元素交换,之后 i++。

就这样让j一直向右遍历,直到 j = right

遍历完成之后,把 i 指向的元素与主元进行交换,交换之后,i 左边的元素一定小于主元,而 i 右边的元素一定大于或等于主元。这样,就 i 完成了一次分割了。



一禅一言不合就把代码撸好了,第一版代码如下:
//分割操作:方法一,单向调整
int partion(int a[], int left, int right)
{
int temp,pivot;//pivot存放主元
int i,j;
i = left;
pivot = a[right];
for(j = left;j < right;j++)
{
if(a[j] < pivot)
{ //交换值
temp = a[i];
a[i] = a[j];
a[j] = temp;
i++;
}
}
a[right] = a[i];
a[i] = pivot;
return i;//把主元的下标返回
}
//快速排序
void QuickSort(int a[], int left, int right)
{
int center;
int i,j;
int temp;
if(left < right)
{
center = partion(a,left,right);
QuickSort(a,left,center-1);//左半部分
QuickSort(a,center+1,right);//右半部分
}
}



小白:对啊,因为你这调整方法,可能会出现对同一个元素,进行多次交换,例如刚才你在演示的那组元素,在j向右遍历交换的过程中:
第一次:8和1交换
第二次:8和3交换
第三次:8和2交换
8被重复交换了很多次


小白:其实,我们可以这样来调整元素。我还是用我的第一个元素充当主元吧。哈哈
源数组如下

然后用令变量i = left + 1,j = right。然后让 i 和 j 从数组的两边向中间扫描。

i 向右遍历的过程中,如果遇到大于或等于主元的元素时,则停止移动,j向左遍历的过程中,如果遇到小于或等于主元的元素则停止移动。

当i和j都停止移动时,如果这时i < j,则交换 i, j 所指向的元素。此时 i < j,交换8和3

然后继续向中间遍历,直到i >= j。

此时i >= j,分割结束。
最后在把主元与 j 指向的元素交换(当然,与i指向的交换也行)。

这个时候,j 左边的元素一定小于或等于主元,而右边则大于或等于主元。
到此,分割调整完毕
代码如下:
方法二:双向扫描
int partition2( int[] arr, int left, int right)
{
int pivot = arr[left];
int i = left + 1;
int j = right;
while(true)
{
//向右遍历扫描
while(i <= j && arr[i] <= pivot) i++;
//向左遍历扫描
while(i <= j && arr[j] => pivot) j--;
if(i >= j)
break;
//交换
int temp = arr[i];
arr[i] = arr[j];
arr[j] = temp;
}
//把arr[j]和主元交换
arr[left] = arr[j];
arr[j] = povit;
return j;
}



小白:因为快速排序的最坏时间复杂度是O(n2)。
例如有可能会出现一种极端的情况,每次分割的时候,主元左边的元素个数都为0,而右边都为n-1个。这个时候,就需要分割n次了。而每次分割整理的时间复杂度为O(n),所以最坏的时间复杂度为O(n2)。
而最好的情况就是每次分割都能够从数组的中间分割了,这样分割logn次就行了,此时的时间复杂度为O(nlogn)。
而平均时间复杂度,则是假设每次主元等概率着落在数组的任意位置,最后算出来的时间复杂度为O(nlogn),至于具体的计算过程,我就不展开了。
不过显然,像那种极端的情况是极少发生的。


小白:哈哈,之所以说它快,是因为它不像归并排序那样,需要额外的辅助空间,而且在分割调整的时候,不像归并排序那样,元素还要在辅助数组与源数组之间来回复制。


一禅:不是啊,例如,在排序的过程中,主元在和j交换的时候是有可能破坏稳定性的,例如

把主元与j指向的元素进行交换



//随机选取主元
int random_partition(int[] arr, int left, int right)
{
i = random(left, right);//随机选取一个位置
//在把这个位置的元素与ar[left]交换
swap(arr[i], arr[left]);
return partition(arr, left, right);
}
终于写完,这个快排写了挺长时间,觉得有收获的话,可以转发支持一波哦(´-ω-`)。
作者简介:我是帅地,校招拿到过不少大厂offer,毕业去了腾讯研发岗,毕业半年整到人生第一个 100 万,目前专注于写大学规划 + 校招求职相关的内容,著有个人原创网站 PlayOffer。
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i
为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返
它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN?它们是对象、关键字还是其他东西? 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象
关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串?SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复?
我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后,我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是,如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误,还是仅仅是Ruby解析变量名的方式的逻辑结果? 最佳答案 Isthisabug,or