这几天重新看了下三个简答的排序算法:选择排序,插入排序和希尔排序,并使用golang做了一个简单的实现与测试。本科学习算法的时候基础太差,又不认真,现在简单的算法理解起来都很吃力,希尔排序算法看了好久勉强看懂,竟也不是完全理解,用go语言实现以下其实都还是比较简单的,但是由于golang暂时还没有泛型支持,所以只能对int类型切片做一个简单实现了。
选择排序
选择排序是最简单的排序方法了,实现很简单:
func SelectSort(arr []int) []int { |
插入排序
插入排序是每次只和已经有序的i之前的元素比较和交换
func InsertSort(arr []int) []int{ |
插入排序存在的问题是每次交换只是相邻元素的交换,如果一个很小的元素的初始位置很靠后,那么需要比较和交换很多次才能被交换到最终的位置。这样使用一次交换很长一段距离的改进“希尔排序”能极大提升速度。
希尔排序
希尔排序是先使得数组中任意间隔为h的元素都是有序,希尔排序使用一个步长序列(h)来确定每一次排序的h的值。h序列的选择对性能有影响,但是并有没有对所有输入模型都很好的最佳h序列。
已知的最好步长序列是由Sedgewick提出的(1, 5, 19, 41, 109,…),该序列的项来自9 4^i - 9 2^i + 1和2^{i+2} * (2^{i+2} - 3) + 1这两个算式。这项研究也表明“比较在希尔排序中是最主要的操作,而不是交换。”用这样步长序列的希尔排序比插入排序和堆排序都要快,甚至在小数组中比快速排序还快,但是在涉及大量数据时希尔排序还是比快速排序慢。
另一个在大数组中表现优异的步长序列是(斐波那契数列除去0和1将剩余的数以黄金分区比的两倍的幂进行运算得到的数列):(1, 9, 34, 182, 836, 4025, 19001, 90358, 428481, 2034035, 9651787, 45806244, 217378076, 1031612713,…)[2]
一个简单的实现(使用序列 :1,4,13,40):
func ShellSort(arr []int) []int { |
其实可以发现,最后h=1时,里面两层for循环就是一个完整的插入排序,之前的h做的h数组有序操作是一些准备工作,使得各个元素的位置都比较接近他们最终的位置而减少最后交换的次数。
大量实验证明,平均每个增幅所带来的比较次数约为N^(1/5)。只有在N很大是这个增长幅度才会变得明显。
归并排序
归并排序使用了将两个小的有序数组合并成一个大有序数组的思想。它的性质是保证对于任意长度的N的数组排序所花费的时间和NlogN成正比,缺点是所需要的额外空间与N成正比(需要与原数组同样大小的额外空间)。
归并排序有自顶向下和自底向上两种方式,下面是自定向下的排序实现:
var tmp []int |
我们知道插入排序对于小数组的性能是非常好的,可以在归并排序的小数组使用插入排序代替递归。这样能带来一定的性能提升。
另外可以使用从下往上归并的思路,即先归并小数组,再不断长大。实现如下:
/** |
相比递归实现的算法更加简单,性能测试显示它们的速度并没有太大区别。自底向上的实现稍微慢一点点,但是差的不多。
快速排序
快速排序是使用最为广泛的排序算法,它的主要缺点是非常脆弱,在实践时要很小心才能避免低劣的性能。很多时候会使得快速排序的性能退化到平方级别。
快速排序是一种分治的排序算法,使用切分和交换的思路实现。快排的要点在于切分以及切分点的选择。使用Golang实现的简单的快排如下:
func QuickSort(arr []int) []int { |
在快排的实现中要注意的是边界条件不要越界,这是很容易出现问题的地方。如上的实现方式中,左侧扫描最好在遇到大于等于切分元素的时候停下来,而右侧扫描则是遇到小于等于切分元素时停下来,尽管这样可能导致一些不必要的等值元素的交换,但是在某些典型应用中,能够避免算法的运行时间变为平方级别。
我们知道快排对于随机数组的性能是最好的,对于基本有序的数组的性能是比较差的。
快速排序有一些比较成熟的改进方法,当所示现的排序方法对性能有很高的要求,会被很多次执行或者作为库函数的话,这些优化是值得考虑的。
对小数组切换到插入排序,把
if lo>=hi { |
改进为
if lo >= hi { |
- 三取样切分:在选取切分点的时候使用一个长度为3的子数组的中位数来切分数组。
- 三向分切的快速排序,对于规模很大的数组,直接将数组切分为3段,这样可以取得更加的效率,但是实现更加复杂。
在快速排序之前,推荐随机地将数组打乱,这是值得的,这样能够防止出现最坏情况,并使执行时间可以预计。
性能测试
在我的笔记本上面使用这三个排序算法对一个1000000规模的数组进行排序。
package sort |
插入排序和选择排序的性能都比较差,就删掉了。这里对10,000,000大小的切片进行排序,希尔排序和归并排序的性能结果如下:
shell 10000000 sort cost: 4285846600 nano second |
希尔排序与归并排序性能相差一倍的样子,快速排序则是最快的。
对排序方法写一些测试用例
这里有一些问题,数组作为引用传递在后面的测试会被前面的覆盖,先使用append方法返回一个新的切片,在切掉最后一个添加的元素来实现新切片功能。也可以make一个新的使用copy方法
package sort |
使用reflect.DeepEqual()方法比较两个切片是否完全相等。