排序算法原理及实现 -- JavaScript

一、算法分类

比较类&非比较类

比较类：通过比较元素来决定元素的相对位置，其时间复杂度不能突破O(nlogn)，也称为非线性时间比较类排序
非比较类：不通过比较元素来决定相对次序，可以突破基于比较排序的时间下界，以线性时间运行，也称为线性时间非比较类排序

参考：https://www.cnblogs.com/onepixel/p/7674659.html

内部排序&外部排序

内部排序：数据记录在内存中进行排序
外部排序：排序的数据很大，一次不能容纳全部的排序记录，在排序过程中需要访问外存

二、算法介绍

1、冒泡排序

冒泡排序是一种简单的排序算法。它重复地走访过要排序的数列，一次比较两个元素，如果它们的顺序错误就把它们交换过来。走访数列的工作是重复地进行直到没有再需要交换，也就是说该数列已经排序完成。这个算法的名字由来是因为越小的元素会经由交换慢慢“浮”到数列的顶端。

1. 比较相邻的元素。如果第一个比第二个大，就交换它们两个；
2. 对每一对相邻元素作同样的工作，从开始第一对到结尾的最后一对，这样在最后的元素应该会是最大的数；
3. 针对所有的元素重复以上的步骤，除了最后一个；
4. 重复步骤1~3，直到排序完成。

function bubbleSort(array){
	var length = array.length
	for(var i=0;i<length;i++){
		for(var j=0;j<length-i-1;j++){ // 排序i次后，后i位的数已经有序，无需再次比较
			if(array[j]>array[j+1]){
				var tmp = array[j]
				array[j] = array[j+1]
				array[j+1] = tmp
			}
		}
	}
	return array
}

2、选择排序

选择排序(Selection-sort)是一种简单直观的排序算法。工作原理：首先在未排序序列中找到最小（大）元素，存放到排序序列的起始位置，然后，再从剩余未排序元素中继续寻找最小（大）元素，然后放到已排序序列的末尾。以此类推，直到所有元素均排序完毕。

n个记录的直接选择排序可经过n-1趟直接选择排序得到有序结果。具体算法描述如下：

1. 初始状态：无序区为R[1…n]，有序区为空；
2. 第i趟排序(i=1,2,3…n-1)开始时，当前有序区和无序区分别为R[1…i-1]和R(i…n）。该趟排序从当前无序区中-选出关键字最小的记录 R[k]，将它与无序区的第1个记录R交换，使R[1…i]和R[i+1…n)分别变为记录个数增加1个的新有序区和记录个数减少1个的新无序区；
3. n-1趟结束，数组有序化了。

function selectionSort(array) {
	var length = array.length
	for(var i=0;i<length-1;i++){
		var min = i
		for(var j=i+1;j<length;j++){
			if(array[j]<array[min]){
				min = j // 找到最小值的下标
			}
		}
		var tmp = array[min]
		array[min] = array[j]
		array[j] = tmp  //将最小值与第i位交换，前i-1位已完成排序的数组
	}
	return array
}

3、插入排序

插入排序（Insertion-Sort）的算法描述是一种简单直观的排序算法。它的工作原理是通过构建有序序列，对于未排序数据，在已排序序列中从后向前扫描，找到相应位置并插入。

具体算法描述如下：

1. 从第一个元素开始，该元素可以认为已经被排序；
2. 取出下一个元素，在已经排序的元素序列中从后向前扫描；
3. 如果该元素（已排序）大于新元素，将该元素移到下一位置；
4. 重复步骤3，直到找到已排序的元素小于或者等于新元素的位置；
5. 将新元素插入到该位置后；
6. 重复步骤2~5。

function insertionSort(array) {
    var length = array.length;
    var preIndex, current; // preIndex为已完成排序的下标，current为当前排序的数的下标
    for(var i = 1; i < length; i++) {
        preIndex = i - 1;
        current = array[i];
        while(preIndex >= 0 && array[preIndex] > current) {
            array[preIndex + 1] = array[preIndex];
            preIndex--; // preIndex为需要插入位置的前一位
        }
        array[preIndex + 1] = current;
    }
    return array;
}

4、希尔排序

1959年Shell发明，第一个突破O(n2)的排序算法，是简单插入排序的改进版。它与插入排序的不同之处在于，它会优先比较距离较远的元素。希尔排序又叫缩小增量排序。

先将整个待排序的记录序列分割成为若干子序列分别进行直接插入排序，具体算法描述：

1. 选择一个增量序列t1，t2，…，tk，其中ti>tj，tk=1；
2. 按增量序列个数k，对序列进行k 趟排序；
3. 每趟排序，根据对应的增量ti，将待排序列分割成若干长度为m 的子序列，分别对各子表进行直接插入排序。仅增量因子为1 时，整个序列作为一个表来处理，表长度即为整个序列的长度。

function shellSort(array) {
    var length = array.length;
    for(var gap = Math.floor(length / 2); gap > 0; gap = Math.floor(gap / 2)) {
    	for(var i = gap; i < length; i++) { // 以length/2为增量开始排序
            var j = i;
            var current = array[i];
            while(j - gap >= 0 && current < array[j - gap]) { // 以gap为间距开始排序
                 array[j] = array[j - gap];
                 j = j - gap;
            }
            array[j] = current;
        }
    }
    return array;
}

5、归并排序（Merge Sort）

归并排序是建立在归并操作上的一种有效的排序算法。该算法是采用分治法（Divide and Conquer）的一个非常典型的应用。将已有序的子序列合并，得到完全有序的序列；即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表，称为2-路归并。

1. 把长度为n的输入序列分成两个长度为n/2的子序列；
2. 对这两个子序列分别采用归并排序；
3. 将两个排序好的子序列合并成一个最终的排序序列。

function mergeSort(array) {
    var len = array.length;
    if(len < 2) {
        return array;
    }
    var middle = Math.floor(length / 2),
        left = array.slice(0, middle),
        right = array.slice(middle);
    return merge(mergeSort(left), mergeSort(right));
}
 
function merge(left, right) {
    var result = [];
 
    while(left.length>0 && right.length>0) {
        if(left[0] <= right[0]) {
            result.push(left.shift());
        } else{
            result.push(right.shift());
        }
    }
 
    while(left.length)
        result.push(left.shift());
 
    while(right.length)
        result.push(right.shift());
 
    return result;
}

6、快速排序（Quick Sort）

快速排序的基本思想：通过一趟排序将待排记录分隔成独立的两部分，其中一部分记录的关键字均比另一部分的关键字小，则可分别对这两部分记录继续进行排序，以达到整个序列有序。

快速排序使用分治法来把一个串（list）分为两个子串（sub-lists）。具体算法描述如下：

1. 从数列中挑出一个元素，称为 “基准”（pivot）；
2. 重新排序数列，所有元素比基准值小的摆放在基准前面，所有元素比基准值大的摆在基准的后面（相同的数可以到任一边）。在这个分区退出之后，该基准就处于数列的中间位置。这个称为分区（partition）操作；
3. 递归地（recursive）把小于基准值元素的子数列和大于基准值元素的子数列排序。

function quickSort(array, left, right) {
    var length = array.length,
        partitionIndex,
        left = typeof left != 'number'? 0 : left,
        right = typeof right != 'number'? len - 1 : right;
 
    if(left < right) {
        partitionIndex = partition(array, left, right);
        quickSort(array, left, partitionIndex-1);
        quickSort(array, partitionIndex+1, right);
    }
    return array;
}
 
function partition(array, left ,right) {     // 分区操作
    var pivot = left,                      // 设定基准值（pivot）
        index = pivot + 1;
    for(var i = index; i <= right; i++) {
        if(array[i] < array[pivot]) {
            swap(array, i, index);
            index++;
        }       
    }
    swap(array, pivot, index - 1);
    return index-1;
}
 
function swap(array, i, j) {
    var temp = array[i];
    array[i] = array[j];
    array[j] = temp;
}

7、堆排序（Heap Sort）

堆排序（Heapsort）是指利用堆这种数据结构所设计的一种排序算法。堆积是一个近似完全二叉树的结构，并同时满足堆积的性质：即子结点的键值或索引总是小于（或者大于）它的父节点。

1. 将初始待排序关键字序列(R1,R2….Rn)构建成大顶堆，此堆为初始的无序区；
2. 将堆顶元素R[1]与最后一个元素R[n]交换，此时得到新的无序区(R1,R2,……Rn-1)和新的有序区(Rn),且满足R[1,2…n-1]<=R[n]；
3. 由于交换后新的堆顶R[1]可能违反堆的性质，因此需要对当前无序区(R1,R2,……Rn-1)调整为新堆，然后再次将R[1]与无序区最后一个元素交换，得到新的无序区(R1,R2….Rn-2)和新的有序区(Rn-1,Rn)。不断重复此过程直到有序区的元素个数为n-1，则整个排序过程完成。

var len;    // 因为声明的多个函数都需要数据长度，所以把len设置成为全局变量
 
function buildMaxHeap(array) {   // 建立大顶堆
    len = array.length;
    for(var i = Math.floor(len/2); i >= 0; i--) {
        heapify(array, i);
    }
}
 
function heapify(array, i) {     // 堆调整
    var left = 2 * i + 1,
        right = 2 * i + 2,
        largest = i;
 
    if(left < len && array[left] > array[largest]) {
        largest = left;
    }
 
    if(right < len && array[right] > array[largest]) {
        largest = right;
    }
 
    if(largest != i) {
        swap(array, i, largest);
        heapify(array, largest);
    }
}
 
function swap(array, i, j) {
    var temp = array[i];
    array[i] = array[j];
    array[j] = temp;
}

 //堆排序主函数
function heapSort(array) {
    buildMaxHeap(array); // 构建大顶堆
 
    for(var i = array.length - 1; i > 0; i--) {
        swap(array, 0, i);
        len--;
        heapify(array, 0);
    }
    return array;
}

8、计数排序（Counting Sort）

计数排序不是基于比较的排序算法，其核心在于将输入的数据值转化为键存储在额外开辟的数组空间中。 作为一种线性时间复杂度的排序，计数排序要求输入的数据必须是有确定范围的整数。

1. 找出待排序的数组中最大和最小的元素；
2. 统计数组中每个值为i的元素出现的次数，存入数组C的第i项；
3. 对所有的计数累加（从C中的第一个元素开始，每一项和前一项相加）；
4. 反向填充目标数组：将每个元素i放在新数组的第C(i)项，每放一个元素就将C(i)减去1。

function countingSort(array, maxValue) {
    var bucket = newArray(maxValue + 1),
        sortedIndex = 0;
        arrLen = array.length,
        bucketLen = maxValue + 1;
 
    for(var i = 0; i < arrLen; i++) {
        if(!bucket[array[i]]) {
            bucket[array[i]] = 0;
        }
        bucket[array[i]]++;
    }
 
    for(var j = 0; j < bucketLen; j++) {
        while(bucket[j] > 0) {
            array[sortedIndex++] = j;
            bucket[j]--;
        }
    }
 
    return array;
}

9、桶排序（Bucket Sort）

桶排序是计数排序的升级版。它利用了函数的映射关系，高效与否的关键就在于这个映射函数的确定。桶排序 (Bucket sort)的工作的原理：假设输入数据服从均匀分布，将数据分到有限数量的桶里，每个桶再分别排序（有可能再使用别的排序算法或是以递归方式继续使用桶排序进行排）。

1. 设置一个定量的数组当作空桶；
2. 遍历输入数据，并且把数据一个一个放到对应的桶里去；
3. 对每个不是空的桶进行排序；
4. 从不是空的桶里把排好序的数据拼接起来。 ‘

function bucketSort(array, bucketSize) {
    if(array.length === 0) {
      return array;
    }
 
    var i;
    var minValue = array[0];
    var maxValue = array[0];
    for(i = 1; i < array.length; i++) {
      if(array[i] < minValue) {
          minValue = array[i];                // 输入数据的最小值
      } else if(array[i] > maxValue) {
          maxValue = array[i];                // 输入数据的最大值
      }
    }
 
    // 桶的初始化
    var DEFAULT_BUCKET_SIZE = 5;            // 设置桶的默认数量为5
    bucketSize = bucketSize || DEFAULT_BUCKET_SIZE;
    var bucketCount = Math.floor((maxValue - minValue) / bucketSize) + 1;  
    var buckets = newArray(bucketCount);
    for(i = 0; i < buckets.length; i++) {
        buckets[i] = [];
    }
 
    // 利用映射函数将数据分配到各个桶中
    for(i = 0; i < array.length; i++) {
        buckets[Math.floor((array[i] - minValue) / bucketSize)].push(array[i]);
    }
 
    array.length = 0; //清零array
    for(i = 0; i < buckets.length; i++) {
        insertionSort(buckets[i]);                      // 对每个桶进行排序，这里使用了插入排序
        for(var j = 0; j < buckets[i].length; j++) {
            array.push(buckets[i][j]);  // 将桶之间的数值按顺序存进数组    
        }
    }
 
    return array;
}

10、基数排序（Radix Sort）

基数排序是按照低位先排序，然后收集；再按照高位排序，然后再收集；依次类推，直到最高位。有时候有些属性是有优先级顺序的，先按低优先级排序，再按高优先级排序。最后的次序就是高优先级高的在前，高优先级相同的低优先级高的在前。

1. 取得数组中的最大数，并取得位数；
2. array为原始数组，从最低位开始取每个位组成radix数组；
3. 对radix进行计数排序（利用计数排序适用于小范围数的特点）；

var counter = [];
function radixSort(array, maxDigit) {
    var mod = 10;
    var dev = 1;
    for(var i = 0; i < maxDigit; i++, dev *= 10, mod *= 10) { // 从个位数开始进行基数排序
        for(var j = 0; j < array.length; j++) {
            var bucket = parseInt((array[j] % mod) / dev);
            if(counter[bucket]==null) {
                counter[bucket] = [];
            }
            counter[bucket].push(array[j]); // 将数放置进对应的基数
        }
        var pos = 0;
        for(var j = 0; j < counter.length; j++) {
            var value = null;
            if(counter[j]!=null) {
                while((value = counter[j].shift()) != null) {
                      array[pos++] = value; // 从pos=0开始用基数中的值取代原数组中的值，不需开辟新的内存空间
                }
          }
        }
    }
    return array;
}

三、算法比较

排序方法	时间复杂度（平均）	时间复杂度（最坏）	时间复杂度（最好）	空间复杂度	稳定性
冒泡排序	O(n^2）	O(n^2）	O(n）	O(1）	稳定
选择排序	O(n^2）	O(n^2）	O(n^2）	O(1）	不稳定
插入排序	O(n^2）	O(n^2）	O(n）	O(1）	稳定
希尔排序	O(n^1.3）	O(n^2）	O(n）	O(1）	不稳定
归并排序	O(nlogn）	O(nlogn）	O(nlogn）	O(n）	稳定
快速排序	O(nlogn）	O(n^2）	O(nlogn）	O(nlogn）	不稳定
堆排序	O(nlogn）	O(nlogn）	O(nlogn）	O(1）	不稳定
计数排序	O(n+k）	O(n+k）	O(n+k）	O(n+k）	稳定
桶排序	O(n+k）	O(n^2）	O(n）	O(n+k）	稳定
基数排序	O(n*k）	O(n*k）	O(n*k）	O(n+k）	稳定

相关定义：

• 稳定：如果a原本在b前面，而a=b，排序之后a仍然在b的前面。
• 不稳定：如果a原本在b的前面，而a=b，排序之后 a 可能会出现在 b 的后面。
• 时间复杂度：对排序数据的总的操作次数。反映当n变化时，操作次数呈现什么规律。
• 空间复杂度：是指算法在计算机内执行时所需存储空间的度量，它也是数据规模n的函数。