常见的十种排序算法C++实现（附时空复杂度，稳定性分析）

杨利霞

常见的十种排序算法C++实现（附时空复杂度，稳定性分析）

一、冒泡排序
* z9 y5 y$ S8 Z1 i6 r思路：每一轮排序使得当前无序的部分的最大值冒到当前无序数组的末尾，下一轮中无序部分的长度等于上一轮减一，原数组的末端不断的变成有序的部分。
& O- B6 s& a6 s0 v; q6 T0 Y( P
: n7 _+ ]' b+ `% v/ E$ l. g0 Rvoid bubble_sort(vector<int> &nums)
  |; t1 v6 U# w{
5 }4 M% X4 R) i1 O    // 用于标记当前轮是否有交换发生
    bool swaped;
    // 从第一个数到倒数第二个数（n个数需要冒泡n-1次）
1 i: r- B4 t* }) A$ \3 S( O    for(int i = 0; i < nums.size() - 1; ++i)
6 c; |7 l! P: M" |8 c    {
        swaped = false;
        // 因为是当前的和后面的比，所以结束条件是一直到冒泡完毕的元素的前一个
        for (int j = 0; j < nums.size()-1-i; ++j)
( O' D) s& G( I4 Q$ Q, M. z        {   
5 k# {0 _2 C4 ?3 c            // 通过交换两个元素，使得最大的冒到数组的末尾去，并且标记交换过
- x9 [  {  _6 U            // 若要从大到小排序，只需要把这个 '>' 改成 '<' 即可
& t4 b9 U# B+ X& P- w            if (nums[j] > nums[j+1])
2 I! g* r' N  m$ D! K            {
9 Q2 E  Y$ x  D5 M' u                int tmp = nums[j];
! {$ k6 T  n9 a: n+ D                nums[j] = nums[j+1];
0 r6 h5 l* p* j* M  o1 g9 a                nums[j+1] = tmp;
( X( k6 S/ U% ~4 J  J                swaped = true;
            }
        }
- p/ M6 O; M3 V        // 若该轮没有交换发生，说明数组已经有序，跳出循环
3 u8 \& J+ K0 a        if (!swaped)
            break;
- @7 E. X! i/ H. O7 ]) F: Z    }
}

分析：时间复杂度最坏和平均情况是O()，最好的情况是已经有序所以是O(n)，空间复杂度O(1)，且因为两个相同的元素是不会交换位置的，因此是一种稳定的排序。

% h3 b4 k' W% R9 R3 I3 v/ l  z; d3 U二、选择排序
思路：每一轮都将未排序数组中最小的/最大的选择出来，然后与未排序数组的第一个交换。接着未排序数组的长度就应该减一，然后继续做这个操作，直到未排序数组的长度为1
5 B. c9 g4 q! Q$ U' m: h) G8 N. Q
- p/ O" f* V% D3 S0 E( lvoid select_sort(vector<int> &nums)
{   
. q% R% ]2 {' c    // 用于存储每一轮中最小的数的下标
    int min_idx;
$ j- |3 z0 U* \* g    // 循环从第一个数开始到倒数第二个数
    for(int i = 0; i < nums.size() - 1; ++i)
    {
, F. s& a/ O' h" {        min_idx = i;
        // 在未排序部分寻找最小的数
) C) |8 C0 G: a+ f8 [        for (int j = i+1; j < nums.size(); ++j)
) E! D8 a% c; ^% S( d  \7 Q. o5 {        {
            // 这里将 '<' 换成 '>' 就可以从大到小排序
            if (nums[j] < nums[min_idx])
                min_idx = j;
        }
! Z, c9 C3 q) A2 c8 D        // 将未排序部分最小的数与未排序部分的第一数交换位置
$ z# a2 E0 B5 b; M        int tmp = nums[min_idx];
6 }" r5 x5 g$ {7 b8 p* {5 W        nums[min_idx] = nums;
        nums = tmp;
" t$ n5 O, d- M. a; @' r% N* B    }
: x$ G9 @9 y% M! B3 \3 w}
7 Q' ^- r- x4 ^% w0 _5 t
分析：时间复杂度最坏、最好和平均情况都是O()，空间复杂度O(1)。因为每次选择最小元素要与未排序部分的第一个元素进行交换，因此可能会出现两个相同元素相对位置发生改变的情况，因此者是一种不稳定的排序。

% T1 z4 ]2 n8 k4 L2 ~8 f' z三、插入排序
) L" t6 \  C: e9 H+ h+ |2 B思路：从第二个元素作为当前位置，往前看，判断前面的元素是否大于当前位置，是的话就把前面的元素往后移动一个，依次类推，直到到了数组头或者碰到一个元素比当前元素小则循环终止，此时的位置就应该是当前位置元素的排序合适的位置。接着向后移动，把第三个元素作为当前位置，一直到最后一个元素。

void insert_sort(vector<int> &nums)
{
% Z" p+ a4 I) M  P+ f8 v; C    // 从第二个元素到最后一个元素
    for(int i = 1; i < nums.size(); ++i)
    {
* i  z' r  u+ \. q4 |        // tmp存下当前元素的值，将i赋给j
        int tmp = nums;
        int j = i;
+ g' J3 g# j1 l5 |# R; j* A        // j从当前元素往前找，一直找到第二个元素位置
4 g- r* a* _" @# h8 C( }& v# C        for (; j > 0; j--)
        {
            // 判断tmp是否小于j-1位置的元素，是的话j-1的元素往后移动
            // 要从大到小排序，只需要把 '<' 改为 '>' 即可
            if (tmp < nums[j-1])
7 i8 J9 D2 p( C2 j1 M. J                nums[j] = nums[j-1];
            // 否的话，j位置就应该是tmp的最终合适的位置
' ^2 z$ ?2 |( a* s( Z% N; G. v            else
3 L9 ?1 P& @6 v( V# R5 \                break;
, n1 |5 M3 N1 [$ p        }
        // 将tmp赋给j位置的元素
3 |9 e& {  y! ~7 q. r: ^        nums[j] = tmp;
    }
8 S) L$ M3 j) X# g& n}
0 Z! V8 m, c5 c+ p4 O
分析： 时间复杂度最坏和平均情况都是O()，最好的情况是O(n)（最好情况就是已经有序，因此内层循环只需要判断一次就可以break），空间复杂度O(1)。因为是依次往前找的，元素移动也是相邻位置的移动，因此这个方法是稳定的。
3 r: N5 o- a& x( [1 u: y0 `
. p% b  R! f: J2 e( |% [四、希尔排序
思路：希尔排序是插入排序的一种扩展，它不是一个的找然后插入。而是将与原数组根据间隔分成不同的组，比如十个数{1，2，3，4，5，6，7，8，9，10}可以设置gap为2，这样就分成了{1, 3, 5, 7, 9}和{2, 4, 6, 8, 10}两个组，分的组数就等于gap的数量，每组的包含的元素数量就等于数组的长度除以gap。通过这样操作，再最后gap为1的时候，数组就是基本有序的了，因此这时只需要很少的操作就可以将整个数组变为有序的。希尔排序gap的设置很关键，设置一组好的gap序列往往可以很大程度上提高希尔排序的效率
  \% k; u$ i  W) ^% d1 T/ ^0 [
void shell_sort(vector<int> &nums)
{
- F! `- i. b4 n& r/ G    // 初始将gap设置为数组长度的一半，每次gap等于上次gap的一半，一直循环一直到gap等于1
    for(int gap = nums.size()/2; gap > 0; gap/=2)
' n0 _+ F) i- _2 ]    {
. f, D+ K4 N( \% Z        // 每一组的元素数量
        int ele_sz = nums.size() / gap;
" s3 Q. K8 K5 F/ j7 L        // 遍历每一组
        for (int i = 0; i < gap; ++i)
9 n- v" @1 q- ~: ], @+ q        {
            // 对每一个组进行插入排序，下面的代码和插入排序那基本一样
            for (int j = 1; j < ele_sz; ++j)
8 n" |3 L  ~. [/ S, P            {
                int tmp = nums[j*gap];
                int k = j;
+ B5 J& R( u* s% I9 S! v                for (; k > 0; --k)
. Q$ L( F, p. O/ K; r$ F' J                {
                    // 注意这里的下标要符合希尔排序间隔\
                    // 要从大到小排序，只需要把 '<' 改为 '>' 即可
                    if (tmp < nums[(k-1)*gap])
                        nums[k*gap] = nums[(k-1)*gap];
                    else
                        break;
, k  }/ q: k0 `- A) A                }
                // 找到了最终插入的位置
                nums[k*gap] = tmp;
            }
  A  G4 D0 c$ @$ M' k        }
        // 因为每次gap等于上次一半，当gap为1的时候就陷入死循环，所以这里设置一个判断用于跳出
' F/ o( _8 M1 K% z0 |        if (gap == 1)
. o9 s2 j0 O- F" f: @: ]            break;
. s0 U  z- p+ Q! c. D    }
( c8 b) d; j$ i0 F' w6 z# M" v}

分析：希尔排序最好情况的时间复杂度为O(nlogn)，而最坏情况和平均情况要根据它的增量序列来确定，好的增量序列可以把最坏情况的时间复杂度控制为O()。希尔排序是原地排序因此空间复杂度为O(1)。由于增量序列的存在，使得比较的元素存在间隔，因此就可能导致相同元素的相对位置发生改变，因此希尔排序是不稳定的。

1 \& g' `; l: Z0 q" b五、归并排序
" o1 |2 \5 I$ |* l% \思路：归并排序是分治法的典型应用之一。首先先把大的数组拆分成两半，再继续拆，直到只剩一个数位置，拆完之后要合并，合并的时候就需要对两边的数进行排序，合并完成的时候就变成了有序的数组。以此类推，对左边的已经有序和右边已经有序的数组进行合并，最终得到了整体有序的数组。

% P" T# A7 f! S' ~5 A9 H% T// 合的过程
vector<int> merge_vec(vector<int> ivec1, vector<int> ivec2)
3 p( A5 ?) u; Y3 ~{
    // 定义结果数组res, i和j分别用于遍历ivec1和ivec2
    vector<int> res;
" ~( I) m0 N1 t" E/ w    int i = 0, j = 0;
    // 当两个数组都没遍历到底
    while(i < ivec1.size() && j < ivec2.size())
    {
& B4 k# C& H! n$ v, {        // 谁的当前数字小，谁就加入结果数组，并且下标后移
        // 这里将 '<' 改为 '>' 就可以从大到小排序
        if (ivec1 < ivec2[j])
! E% b; \+ U! h            res.push_back(ivec1[i++]);
6 x0 Z; w) @) K; Y2 s        else
            res.push_back(ivec2[j++]);
    }
6 C/ a0 A3 i$ D9 X0 T, q* E& `( P5 w    // 处理未遍历完的数组，直接全部加入最后面
    while (j < ivec2.size())
4 K, j$ t1 o! I' ]. j        res.push_back(ivec2[j++]);
) f( V4 x- Y0 V- ?9 _/ o; o    while (i < ivec1.size())
+ j2 r* N1 U* }! S7 ]        res.push_back(ivec1[i++]);
2 m' h; q) J, U9 f: R; D7 f2 s    // 返回合并好的数组
    return res;
$ F7 j8 H; Y. X! Q" g6 R}
) L; `9 n6 t/ N
// 分的过程
5 X9 k+ r# o* U4 p% A: Lvector<int> merge_sort(vector<int> nums)
# e& F2 E$ c9 D6 g8 N, \( f{
/ @+ g+ B5 a% E) A& H    // 递归结束条件是只剩一个元素，则无序再分，直接返回
) @' Y1 b7 C# W. N, U9 o    if (nums.size() == 1)
" I. Q0 q  q3 a, q0 f( j  M        return nums;
/ I9 V) D: l8 o. D. W. J
) P5 q( W/ @, V+ A- o    // 将大数组分治为左边的和右边的
    vector<int> ivec1 = merge_sort(vector<int> (nums.begin(), nums.begin()+nums.size()/2));
    vector<int> ivec2 = merge_sort(vector<int> (nums.begin()+nums.size()/2, nums.end()));
, m/ |0 Y0 A2 E, G: R( j3 W    // 返回合并后的大数组
1 s/ }$ I) w5 t3 Q5 I  M, c    return merge_vec(ivec1, ivec2);
}

, u8 U9 m% \8 u1 Q& z分析：拆的过程时间复杂度是O(logn)，合的过程时间复杂度是O(n)，因此总的最好、最坏和平均时间复杂度是O(nlogn)。这种排序方法并非是原地排序，所以其空间复杂度是O(n)。这种方法并不会破坏相等元素之间的相对位置因此这是一种稳定的排序算法。
/ A7 K; b  b& u  X. V$ v; P  V
$ |- i) R- q# S- h  ~六、快速排序
" m- t* ~2 f1 r! v思路：快速排序同样也是利用分治法的思想，但是快速排序可以实现原地排序因此无序额外的空间。快速排序和归并排序的分的过程不同，快速排序分是根据小于和大于某个元素来分成两部分，而归并排序总是以中间的地方来划分。
+ |% a1 p$ Q* u
注意：算法中每一轮quicksort会确定一个元素的最终位置，我们递归处理这个元素左边的剩余数组和右边的剩余数组。lp和rp在走的时候，需要注意的只要rp指向的元素大于等于pivot就一直往左，lp指向的元素小于等于pivot就一直往右，若不加入等于这个判断条件可能就会在中途停下来而陷入死循环。而且pivot的选取也很关键，我们是以pivot大小来划分左右的，常见的方法可以以最左边或者最右边的元素作为pivot（但是这样在已经有序的数组中效率很差），或者随机选择pivot。
0 T: Z4 w$ E, Q% @% Y0 b
void quicksort(vector<int> &nums, vector<int>::iterator lp, vector<int>::iterator rp)
{
! t& N: L$ y; e! H9 g4 {    // 若左右相等，说明只有一个元素，就不需要排序
    if (rp - lp > 0)
0 B8 L) O" o  Y2 v5 Z) T2 \: R    {
        // old和orp存取起始位置和结束为止
        auto olp = lp, orp = rp;
; K6 m3 m) D4 E6 `7 @& @, ]+ n! Z
, d  E/ O4 E( |$ ]( d4 V. k        // 下面两行代码可以要也可以去掉，其作用是随机选定一个范围在lp和rp之间的数作为pivot
        // 将这个数与最左边的数调换位置就可以通过*lp得到这个数
        int random = rand() % (rp - lp + 1);
0 I7 X4 M  d5 h' @7 O0 `        swap(*lp, *(lp + random));
+ u( Y+ w/ L2 h5 U/ F
1 ?8 g/ L5 u5 r) i        int pivot = *lp;

        // 当lp和rp没遇到的时候
        while (lp != rp)
        {
            // 只要rp指向的元素大于等于pivot而且lp和rp没遇到，rp自减
! ^' o+ L/ r+ h( p3 B. M" V* I            // 将这里的 '>=' 换成 '<=' 并且把下面的 '<=' 换成 '>=' 就是从大到小
' W4 f: S; b7 R( z$ S! y1 K" ^            while (*rp >= pivot && lp != rp)
                --rp;
            // 只要lp指向的元素小于等于pivot而且lp和rp没遇到，lp自增
. J$ ?1 V9 {% p+ l% Y7 d            while (*lp <= pivot && lp != rp)
  T5 R' g, t2 v. ~* I8 ^5 }                ++lp;
            // 停下来的时候交换值
8 O8 e! H$ y: g/ w4 Q) M$ [            swap(*lp, *rp);
        }

/ V; U* a; l7 t4 c& I  n6 O        // lp遇到rp说明比pivot小的已经放在左边，比pivot大的已经放在右边了
        // 因为while循环中rp先走，说明rp所指的元素一定是小于pivot或者正好是pivot
        // 因此需要交换二者的值，同时pivot就被放在了正确的排序位置上
        swap(*olp, *rp);
' l# e, Y7 T6 J+ c- J! h% U        // 递归处理pivot的左边和右边
# u# p, M. r5 }- e        quicksort(nums, olp, lp-1);
        quicksort(nums, rp+1, orp);
9 R6 D* \) ]* r* L    }
  Y$ k. B0 V* R0 |) O- [}
' o3 g7 @' V7 n3 K; g' b
" @, U7 V( M5 r) F
9 D( `2 N) A  W6 Y: Mvoid quick_sort(vector<int> &nums)
1 f' |# z2 o  p1 y  q0 X{
: u/ U- w' H9 V0 F* H! _    quicksort(nums, nums.begin(), nums.end()-1);
}

* v& e1 i  g' {- N! G6 _分析：快速排序算法的时间复杂度分是O(logn)，治是O(n)，因此其最好和平均的复杂度是O(nlogn)。考虑一种情况，当数组有序而且我们选取pivot的方法是选最左边的或者最右边的元素时复杂度退化为O()。原地排序因此不需要额外空间，但是由于是递归函数，因此需要栈来保存状态，最好和平均情况下需要O(logn)，最坏的情况下需要O(n)。由于快速排序涉及到随机位置值的交换，因此快速排序是一种不稳定的排序方法。

七、堆排序
' E1 d- q- p& r# @. u思路：堆排序顾名思义需要一个堆，堆是一个完全二叉树，可以分为大顶堆和小顶堆，其中大顶堆是满足子节点的值小于父节点的堆，小顶堆是满足子节点的值大于父节点的堆。建好了堆之后我们就可以通过取堆顶元素再不断调整堆的方法来得到排序结果。因为堆是完全二叉树，因此其父节点和子节点的关系容易得到，所以我们可以用数组来模拟一棵树（一个堆），下面这个视频将堆排序讲的很清晰。
  |* C# \" Z3 @% x+ }. h
【从堆的定义到优先队列、堆排序】 10分钟看懂必考的数据结构——堆_哔哩哔哩_bilibili

建堆：建立堆的方式可以分为从下往上和从上往下。以大顶堆为例，从下往上的话，对于每个父节点，判断其子节点值是否存在大于父节点的情况，是的话就交换这父节点和子节点的值，然后继续调整子节点（若子节点也存在节点的话则继续往下调整）。如果是从上往下建堆，就相当于是堆从从空的开始，不断插入元素再进行调整，判断当前插入的选择值是否大于其父节点的值，若是的话则交换当前节点与父节点，并继续向上调整直到无需调整或者到根节点。可以判断，从下往上的方式其时间复杂度为O(n)，而从上往下调整的方式其时间复杂度为O(nlogn)。同时需要注意的是，对于同一个数组，采用从下往上和从上往下的方式建立可能会导致节点的排列方式不一样，但是都满足大顶堆/小顶堆的性质。

# ~- @* F% V6 H/ d  L9 Y3 G: _下面是从下往上建大/小顶堆的代码：

4 X) U% n, K+ G( L( x( l" x  f// 接收参数为数组nums，当前调整节点下标i，当前堆的大小sz
( |" @7 c  }3 P& `4 ivoid adjust_from_buttom(vector<int> &nums, int i, int sz)
8 i3 N, _( @$ S1 N{
    // lpos和rpos分别代表左孩子和右孩子，largest用来存储左右孩子中较大的那个的下标
) b( _+ k6 \0 X4 y9 d4 z7 q    // 建小顶堆需将largest改为minest，此时这个变量用于存储较小的元素
    int lpos = 2*i+1, rpos = 2*i+2, largest = i;
    // 若有左孩子（下标小于sz）而且左孩子数值大于当前节点数值，就记录下左孩子下标
    // 建小顶堆需将 '>' 改为 '<'
    if (lpos < sz && nums[lpos] > nums)
        largest = lpos;
: g* ^  q+ m  q% Y# L" p    // 若有右孩子（下标小于sz）而且右孩子数值大于最大的节点值，就记录下右孩子下标
: H6 u$ B5 P- Q$ r' v    // 建小顶堆需将 '>' 改为 '<'
    if (rpos < sz && nums[rpos] > nums[largest])
        largest = rpos;
$ `/ k. r$ C, C+ m. r4 g( K    // 若存在某个孩子的值比当前值大
6 O+ N+ g0 q: `: f  i    if (largest != i)
    {
        // 交换当前节点和较大的那个孩子的值
  P0 V# F- e3 a3 {3 X' s) j        swap(nums[largest], nums);
9 ~: h' H) U. g- X  ~3 P6 K# B# e9 S        // 交换完之后继续往上调整树
1 \% M8 K% h9 b        adjust_from_buttom(nums, largest, sz);
    }
}

  l, M. B$ J3 Z; ^  [9 ovoid build_heap_from_buttom(vector<int> &nums)
{
    // 若数组只有一个元素则无需建立堆
    if (nums.size() != 1)
        // 从最后一个父节点开始循环，一直到根节点
4 m  o4 N+ e. [' d6 l- `* [        for (int i = nums.size()/2 -1; i >= 0; --i)
            // 不断对堆进行调整
) e# ~: `$ u% N# S/ j/ X# [$ T            adjust(nums, i, nums.size());
}

3 F7 X: `2 _4 u% Y下面是从上往下建大/小顶堆的代码：

void adjust_from_top(vector<int> &nums, int i, int sz)
8 ~" e1 J$ L  E  J{
    // 如果i不等于0
, q2 p6 W+ @! [$ T. M" P. t0 j) `    if (i)
5 z* `5 S- S, x+ X    {
        // 若i为偶数，其父节点下标为i/2-1。若满足当前节点的值比父节点的值大
        // 建小顶堆需将 '>' 改为 '<'
        if (!(i%2) && nums > nums[i/2-1])
        {   
' c6 T$ l2 I( z  V# L3 C            // 交换当前节点与其父节点，再检查父节点需不需要调整
# H/ L# I6 [+ S) N3 d# g# Z3 H  o; h            swap(nums, nums[i/2-1]);
; t/ z, z" s& D  ^            adjust_from_top(nums, i/2-1, sz);
& D% C$ @) J0 A8 N0 g        }
        // 若i为奇数，其父节点下标为i/2，则当前节点比父节点的值大
        // 建小顶堆需将 '>' 改为 '<'
2 Y  u0 O% {8 f8 O+ o) U        if (i%2 && nums > nums[i/2])
% Y( ^1 c& [4 A4 P; b7 b9 @; O        {
% O$ G$ P7 H/ d            // 交换当前节点与其父节点，再检查父节点需不需要调整
! A0 ]# r$ C& l( v2 Q& [& {            swap(nums, nums[i/2]);
            adjust_from_top(nums, i/2, sz);
5 `4 d: q/ J5 Z3 g' Z7 @        }
9 X: w; Q( \. O+ h& r    }
}

void build_heap_from_top(vector<int> &nums)
# F5 |5 a5 S* [# X/ s. k$ z; X  v/ j{   // 从第一个元素开始到最后一个元素结束
/ t: E6 x$ {3 c3 _% |' {+ p9 g    for (int i = 0; i < nums.size(); ++i)
        // 插入新的元素并调整
        adjust_from_top(nums, i, i+1);
* Z3 K% b1 J2 e4 D. o8 y) e" z}

建立好的堆之后就可以通过取出堆的根节点，再不断调整堆来进行堆排序，我们可以把取出的节点与堆的最后一个节点进行交换，然后把堆的大小减一，这样就可以利用堆原有的空间来存储排序的结果，而无需额外开辟空间来存储。堆排序代码如下：
; O$ T1 i1 z( c
8 E$ H8 y& y6 }# n' dvoid heap_sort(vector<int> &nums)
4 U4 B: w' [( b, s5 L3 j0 }- P$ a{
: ]; j& E2 O5 z& `+ B    build_heap_from_buttom(nums); // 或者是build_heap_from_buttom(nums);
    // 从最后一个节点开始往上走
    for(int i = nums.size()-1; i > 0; --i)
    {
        // 将最后一个节点与堆的根节点交换
0 h. ?) H6 w5 M6 T' j- i) r" g- |        swap(nums, nums[0]);
        // 调整堆，堆的大小为原大小减一
/ g" S+ l' h% R; @        adjust_from_buttom(nums, 0, i);
    }
1 f/ \; g: ^! ]# D5 M0 h; a}
我们可以注意到堆排序的过程交换了节点之后，只有根节点发生了改变，因此只有可能是根节点不满足堆的性质，所以在调整的时候我们调用了adjust_from_buttom()方法来堆根节点进行调整。
+ E. z$ v$ F4 E5 ?! H' h$ S4 b
* b2 t- X2 D( Q. d) |- r分析：堆排序的时间复杂度包括建堆和调整，从下往上建堆时间复杂度为O(n)，调整堆的时间复杂度为(logn)，因此堆排序最好、最坏和平均情况的时间复杂度为O(nlogn)。堆排序不需要额外的空间因此其空间复杂度为O(1)，但是由于建堆的过程中可能出现位置调整，因此堆排序是一种不稳定的排序方法。

八、计数排序
9 L( H1 ]5 M3 O& Q' T思路：计数排序主要是针对一定范围内的整数来进行了，先确定序列中的最大值和最小值，从而开辟max-min+1大小的空间，空间的每一个位置代表一个数，若遍历到了某个数就将该空间的计数值自增，那么遍历完原数组。排序结果可以通过遍历这个空间来得到。在实现上C++中可以通过map来实现这个操作，因为map本身是保证有序的。当然因为map内部要进去排序，所以如果要实现极致的空间换时间的话，需要自己手动来实现这样的map。
& [+ Q, N( B7 Z6 o0 w
void count_sort(vector<int> &nums)
{   
    // 用于存储数与出现次数的对应关系
$ U. a) v0 I  K; f3 j    map<int, int> cnt_map;
; ]# s% q6 C! ~) Y% G    // 遍历数组以将元素及出现次数添加进map
1 `. [+ P4 M8 D) X9 t) m% L    for (auto i : nums)
4 p- P3 [6 U6 _  J5 X/ Z    {
        //
) G* v* e2 @# |6 B  [( T4 O        if (cnt_map.find(i) == cnt_map.end())
+ R) g4 s. _8 p0 s- q  ?4 f! b            cnt_map = 1;
        else
/ [) i: o3 {! K9 V) X            ++cnt_map;
$ k8 t# e* H: g+ j4 {+ C9 n( S    }
    // idx代表原数组下标
    int idx = 0;
    // 遍历map以将map中的元素放回原数组
    for (auto it = cnt_map.begin(); it != cnt_map.end(); ++it)
' T/ K3 ^0 l: V0 M* N3 i( e( ^    {
& V$ ~& G) I+ a0 T/ f        while (it->second != 0)
        {
5 Y4 a5 W$ v) {$ a5 e, S/ y            nums[idx++] = it->first;
            --it->second;
) D* m% n+ b1 a; O7 d: E        }
    }
}
- z* s+ B# F7 T& E. }- I
; R. X7 C! ^& {: w) q0 W' ^9 P分析：计数排序最好、最坏和平均情况下的时间复杂度都是O(n+k)，n是表示遍历原数组的时间，k（数据范围）是表示遍历辅助空间的时间，其空间复杂度为O(k)。计数排序可以看做是一种稳定的排序，比如我们把计数排序存储每个元素的位置看成队列，那么就符合先进先出，所以是稳定的。

5 d6 \' L  R3 B- K$ t九、基数排序
6 o% e  D- ~7 V# V) {基数排序通常可以用在整数或字符串上，比如整数上就可以分0-9十个桶，通过比较个位，十位一直到最高位，分别把数装进相应的桶中，再依次取出，比较更高位再装进桶中，再取出，直到所有的数都在0这个桶中说明所有的数都排好序了。

' M# O5 M, k6 d7 p但是需要注意的是，一般的基数排序无法处理有负数的情况。针对负数，一般有两种解决方法：
# G1 `4 T" `6 v. ^: |2 F- f7 f4 U
1、另外开辟10个桶用来存储负数的情况（需要占用更多的空间）
2 N2 Q4 k/ ]/ U6 p% F
) ~3 @1 L& \, F2 J2、将所有元素变为正数再处理（可以将所有元素都加上最小负数的绝对值，但存在溢出风险），下面代码实现这种方式

void radix_sort(vector<int> &nums)
4 o/ O# X2 U8 ~) {{
6 m1 Y9 J9 |, u0 Q    // 开辟二维数组，第一维10代表十个桶，第二维当前为空
% F" k1 n3 E! t6 V    vector<vector<int>> ivec(10, vector<int>(0));
    // 用于取出最小元素，将所有元素都变为正数
    int min_num = *min_element(nums.begin(), nums.end());
  c1 |8 ?( d; Y: }    if (min_num < 0)
5 O7 }8 c! U$ b& [/ Q        for (auto &i : nums)
) n( K3 m$ ^# B8 |: H" x            i -= min_num;
3 M0 R8 T0 R! _  l8 K. p4 o9 m    // 用来控制比较的位数，初始为1代表比较个位数
+ v: |, ^7 q$ j) Y    int digit = 1;
    // 循环一直进行
    while (true)
, w- R# f, ?, Y+ u8 [# }/ F    {
! L  Z7 u2 `* s2 D- K        // 对nums中所有元素遍历，将每个元素放入对应桶中
        for(auto i : nums)
/ X* A$ V& w( }) Y7 [+ y            ivec[i%(digit*10)/digit].push_back(i);

        // 这是循环终止条件，即所有元素都在0号桶中
( G7 e1 e3 k! n, Z        if (ivec[0].size() == nums.size())
            break;
7 j. x4 D5 i! G) v2 h/ Q- f        // 记录nums中的下标用于放回nums中
        int idx = 0;
        // 依次从每个桶中拿出元素放回nums，取完之后清空桶
        for (int i = 0; i < 10; ++i)
! V3 E$ R: M6 y/ v# P        {
            for(int j = 0; j < ivec.size(); ++j)
/ L: |% K+ r5 ~% [                nums[idx++] = ivec[j];
. d# F+ S* |8 @6 Y' A            ivec.clear();
  o! t# O: C% V1 z) `1 \2 k        }
. h& g9 A* ]2 z5 M        // 下一次循环比较更高位
        digit *= 10;
" |4 A: Z5 y# a* T+ W6 ?: ?    }
    // 排序完毕后将元素恢复为初始值
0 j2 e+ u) a% l2 r# y    if (min_num < 0)
        for (auto &i : nums)
            i += min_num;
}
6 M2 D: q- T$ p) F0 Z& _; j. ~3 c
; B, w$ N0 n6 `5 e+ v分析：基数排序的时间复杂度取决于待排序的元素中的最大位数k，如最大元素为1023，那么最大位数k=4。对于每一位我们需要遍历两遍数组，但是这里的两遍可以省略，因此最好、最坏和平均的时间复杂度都是O(k*n)。由于我们需要开辟一个额外的空间来把每个数放入桶中，因此空间复杂度为O(n)。又因为我们放入桶和从桶中拿出的操作都保证了先进先出，因此基数排序是一种稳定的排序方法。
# N- A) R6 x4 _* [! B2 @4 P
十、桶排序
前面计数排序和基数排序都是桶排序的一种特例。桶排序是这样一种排序，它将原来的数组分到不同的桶里，再分别对每个桶内部采用排序算法进行排序（可以用快排、可以用选择、冒泡等都没问题），最后将每个桶里的元素依次取出就得到了排好序的结果。因此桶排序如何分桶是一个关键的问题，如果分的好的话，每个桶都能均匀地承载一部分数据，最后时间复杂度就会比较理想。若果分的不好，很多数据都集中在一个桶里，那么最后的时间复杂度就很差（最差情况下会略大于桶内排序算法的效率），此外桶排序还需要额外的空间。

void bucket_sort(vector<int> &nums, int bucket_cnt)
{
0 M/ g4 _1 Q+ \* z    // 建立bucket_cnt个桶，每个桶初始为空
1 E3 I) o9 {4 ^, @9 h/ Z( y0 }: r' I    vector<vector<int>> ivec(bucket_cnt, vector<int>(0));
6 |  Q0 ]- K! W% l7 Z    // 拿出数组中最大和最小的元素来确定每个桶之间的间隔
( {' v% s5 t/ b    int min_ele = *min_element(nums.begin(), nums.end());
& ~4 {. h/ p' c) r7 j8 E& A    int max_ele = *max_element(nums.begin(), nums.end());
    int gap = (max_ele - min_ele) / bucket_cnt;
    // 如果间隔比桶个数都小，那么直接排序可能更快
1 Z; q  R- C! t8 ]: F    if (gap > bucket_cnt)
. \/ o4 `- u1 z; ]    {
& G4 Q# g3 j8 Z5 e        // 遍历数组中每个元素
9 n+ @1 k3 C3 t) S3 }& o& H        for (auto i : nums)
( w. e  y( I, ?( u        {
. }5 E7 B* s! t7 A            // 确定元素所在的桶序号
            int bucket_num = (i-min_ele)/gap;
            // 若算出的序号等于桶个数，那么说明越界了（比如数组中最大元素就会出现这样的情况）
  A: |( S& c8 n( Q2 Z* k# l            if (bucket_num == bucket_cnt)
                --bucket_num;
( R$ Q. y9 H- e/ @6 V7 C            // 将该元素装入桶中
& X1 X) `! {, G6 Z: k            ivec[bucket_num].push_back(i);
6 k4 b' Y+ Y9 a" P        }
6 A' n7 ?0 @5 u) d        // idx记录原数组nums中的下标用于装回元素
. f4 C" k  l* r: M0 Y, F        int idx = 0;
, s  ?) ]3 M$ Y, O) }        // 对每个桶先排序再往nums中装入元素，最后清空桶
        for (auto &vec : ivec)
        {
* y! N+ V4 [6 u* d            quick_sort(vec);
# }! H) S8 A# w* t- M. h6 N$ W            for (const auto ele : vec)
& L% e6 ^0 d" @) t) ~& S0 Y  Q4 n$ ^- x' M                nums[idx++] = ele;
* R8 R# ?, z1 N            vec.clear();
        }
/ d9 O# @; }. e3 f4 b. j, {- j( _1 j    }
' h2 d2 E) U; X: D4 V+ w7 `    // 直接排序
; J% r3 e$ z% n4 T. W    else
4 ~& }2 s; {2 ^! m; Z        quick_sort(nums);
; }. ~7 r; p- R- e3 J! \}
# t% T# o* z8 x7 K' i# Y( T/ p9 J
1 p' f' x, `# g0 W分析：桶排序将原数组分为k个桶来处理，假设数组总数为n，那么每个桶装了n/k个数据，假设我们在桶的内部使用快速排序，其时间复杂度为O(klogk)，那么对于所有桶来说，总的时间复杂度就是k*O((n/k)*log(n/k)) = O(n*log(n/k))。最好的情况是每个数据都装进一个桶，这样就无需排序了，因此最好的时间复杂度是O(n)，平均情况的时间复杂度是O(n*log(n/k))，最坏的情况的可以接近O(nlogn)，但是比O(nlogn)要更差（因为存在分桶等操作）。桶排序的空间复杂度是O(n+k)，因为桶排序除了要装下原始数组长度的元素，还需要额外的k个桶，这k个桶系统会默认分配内存。桶排序是否稳定依赖于其内部的排序算法，若内部使用快排则不稳定，若内部使用归并则是稳定的。
————————————————
版权声明：本文为CSDN博主「Xaiver_97」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/Xavier_97/article/details/126722423