快速排序

韩冰

< align=center><B></B> </P>
) u9 C$ {; ]. b<>分而治之方法还可以用于实现另一种完全不同的排序方法，这种排序法称为快速排序（quick sort）。在这种方法中， n 个元素被分成三段（组）：左段l e f t，右段r i g h t和中段m i d d l e。中段仅包含一个元素。左段中各元素都小于等于中段元素，右段中各元素都大于等于中段元素。因此l e f t和r i g h t中的元素可以独立排序，并且不必对l e f t和r i g h t的排序结果进行合并。m i d d l e中的元素被称为支点( p i v o t )。图1 4 - 9中给出了快速排序的伪代码。

  C# Z/ W. e' v5 r' O  h: y7 A
/ /使用快速排序方法对a[ 0 :n- 1 ]排序
; `$ C/ `8 R2 w. W" K* g
从a[ 0 :n- 1 ]中选择一个元素作为m i d d l e，该元素为支点

& D" P3 [- Z8 z/ q% L1 w+ i把余下的元素分割为两段left 和r i g h t，使得l e f t中的元素都小于等于支点，而right 中的元素都大于等于支点

" n* Q- q1 B# T( ?( S+ [( z递归地使用快速排序方法对left 进行排序
" B/ C, c. D2 O& O1 w7 o) `3 z0 P
! x' c( p! Y0 {( {* K8 J9 m递归地使用快速排序方法对right 进行排序

所得结果为l e f t + m i d d l e + r i g h t

+ c" c/ D) U5 E$ K) X  Q7 d! L8 c图14-9 快速排序的伪代码


# @$ w0 U( G7 W* B9 s4 ]" s! U- i考察元素序列[ 4 , 8 , 3 , 7 , 1 , 5 , 6 , 2 ]。假设选择元素6作为支点，则6位于m i d d l e；4，3，1，5，2位于l e f t；8，7位于r i g h t。当left 排好序后，所得结果为1，2，3，4，5；当r i g h t排好序后，所得结果为7，8。把right 中的元素放在支点元素之后， l e f t中的元素放在支点元素之前，即可得到最终的结果[ 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 ]。
5 `! u  G' O$ y" n; x# m
把元素序列划分为l e f t、m i d d l e和r i g h t可以就地进行（见程序1 4 - 6）。在程序1 4 - 6中，支点总是取位置1中的元素。也可以采用其他选择方式来提高排序性能，本章稍后部分将给出这样一种选择。
) {. x% c2 N' }8 O/ }
程序14-6 快速排序

0 R* [3 X' Z: O- o7 V( l$ rtemplate<CLASS T>
+ a7 [* h7 _9 \4 W; H3 E) Y* B
: p3 Z: ~7 K4 m2 \void QuickSort(T*a, int n)

" v7 q/ D8 Y( H  k3 R8 y1 p{// 对a[0:n-1] 进行快速排序

{// 要求a[n] 必需有最大关键值
+ ^5 a- |4 u* Z$ N5 E. d, F/ p
1 z# x% X& y( t5 Q$ \. `" \3 z! XquickSort(a, 0, n-1);
0 L" n0 I+ p3 ]! R
8 _9 W! k& s4 h: z8 i; ]template<CLASS T>

void quickSort(T a[], int l, int r)

{// 排序a [ l : r ]， a[r+1] 有大值
4 x. j3 v( k0 u0 W- p
0 ^( X4 R+ y& Uif (l &gt;= r) return;

! R; u% T5 ]. Dint i = l, // 从左至右的游标
% N9 f5 q& B; H) L$ [& T2 S- L
( F) {7 ^4 S3 |' hj = r + 1; // 从右到左的游标
5 U- r; t7 T# Z
: }5 R1 J* |& ]- t. Q+ e; Y: _( c+ P7 ET pivot = a[l];
: f9 P8 X: E8 {
2 g9 Q' S* g2 L8 H% t" _7 Z3 R// 把左侧&gt;= pivot的元素与右侧&lt;= pivot 的元素进行交换
+ y/ v( L0 O1 b! @: K" J6 Y; n
while (true) {
+ N* h: Q0 l0 W4 C9 }  q$ X' _: F% F
do {// 在左侧寻找&gt;= pivot 的元素

i = i + 1;

: V  ?6 n$ |/ b6 x% h/ M} while (a &lt; pivot);

* Z# ~0 {+ A8 w4 d0 rdo {// 在右侧寻找&lt;= pivot 的元素

7 e9 h  g7 m; T$ qj = j - 1;
  K; u. O" B( f1 t
2 M/ C" J4 v8 T, |, t* x} while (a[j] &gt; pivot);
: z5 h, n3 ^1 C
6 c; c6 [% \7 \$ j- {if (i &gt;= j) break; // 未发现交换对象

Swap(a, a[j]);
) W' l' _/ r; ~, h! r& u" c
" v$ R; N# I+ I' J}

. g. y5 p: \3 y// 设置p i v o t
  `* @# x+ H$ m; R- t
2 Q5 @8 m3 y& T! pa[l] = a[j];
  n5 k  w3 W) ]! ^$ `# M
; r4 P( N/ i$ @- p9 G- C+ T1 Aa[j] = pivot;
. K+ E' l) Z8 ?# I* W) m4 \0 W
3 h& g6 Z# _. d5 Y" ]( gquickSort(a, l, j-1); // 对左段排序

; j! g( M$ L0 j, kquickSort(a, j+1, r); // 对右段排序
  V3 B6 S$ U( E; B( J, c
2 J6 ~- x# d. p6 e: F) k}

! `; G# z$ S! l6 U4 Z5 }' K若把程序1 4 - 6中d o - w h i l e条件内的&lt;号和&gt;号分别修改为&lt; =和&gt; =，程序1 4 - 6仍然正确。实验结果表明使用程序1 4 - 6的快速排序代码可以得到比较好的平均性能。为了消除程序中的递归，必须引入堆栈。不过，消除最后一个递归调用不须使用堆栈。消除递归调用的工作留作练习（练习1 3）。程序1 4 - 6所需要的递归栈空间为O (n)。若使用堆栈来模拟递归，则可以把这个空间减少为O ( l o gn)。在模拟过程中，首先对left 和right 中较小者进行排序，把较大者的边界放入堆栈中。在最坏情况下l e f t总是为空，快速排序所需的计算时间为(n2 )。在最好情况下， l e f t和r i g h t中的元素数目大致相同，快速排序的复杂性为(nl o gn)。令人吃惊的是，快速排序的平均复杂性也是(nl o gn)。

- U$ T' z2 a" R定理2-1 快速排序的平均复杂性为(nl o gn)。
2 a% L+ f! f  p' |* o% d2 c
3 p! L0 ~2 o) H- Z( V+ Z证明用t (n) 代表对含有n 个元素的数组进行排序的平均时间。当n≤1时，t (n)≤d，d为某一常数。当n &lt;1时，用s 表示左段所含元素的个数。由于在中段中有一个支点元素，因此右段中元素的个数为n-s- 1。所以左段和右段的平均排序时间分别为t (s), t (n-s- 1 )。分割数组中元素所需要的时间用cn 表示，其中c 是一个常数。因为s 有同等机会取0 ~n- 1中的任何一个值.
9 m3 {5 M! e+ Y9 B
如对（2 - 8）式中的n 使用归纳法，可得到t (n)≤kn l o ge n，其中n&gt; 1且k=2(c+d)，e～2 . 7 1 8为自然对数的基底。在归纳开始时首先验证n= 2时公式的正确性。根据公式（ 1 4 - 8），可以得到t( 2 )≤2c+ 2d≤k nl o ge 2。在归纳假设部分，假定t(n)≤kn l o ge n（当2≤n＜m 时，m 是任意一个比2大的整数＝.
  s1 `2 B3 Z0 K" |7 ^, A
" l9 ?; q* k! b图1 4 - 1 0对本书中所讨论的算法在平均条件下和最坏条件下的复杂性进行了比较。
0 P5 `# d( Q- Q- ^! J, k

' j& u9 C5 q5 l; u方法最坏复杂性平均复杂性

冒泡排序n2 n2

7 P$ ^5 y* Y7 e$ ~+ H计数排序n2 n2

" n) Z: L8 B, x% S: B* i/ `- G插入排序n2 n2

选择排序n2 n2

堆排序nl o gn nl o gn
/ W% m" J' k; G% ]
归并排序nl o gn nl o gn

5 e* ~- T4 ~4 [, K4 r/ l5 W& t/ T快速排序n2 nl o gn

图14-10 各种排序算法的比较
- T' P7 e1 Y5 V, j

8 c4 k7 v3 Z0 ]; H7 j: c中值快速排序（ median-of-three quick sort）是程序1 4 - 6的一种变化，这种算法有更好的平均性能。注意到在程序1 4 - 6中总是选择a [ 1 ]做为支点，而在这种快速排序算法中，可以不必使用a [ 1 ]做为支点，而是取{a[1],a[(1+r)/2],a[r]} 中大小居中的那个元素作为支点。例如，假如有三个元素，大小分别为5，9，7，那么取7为支点。为了实现中值快速排序算法，一种最简单的方式就是首先选出中值元素并与a[1] 进行交换，然后利用程序1 4 - 6完成排序。如果a [ r ]是被选出的中值元素，那么将a[1] 与a[r] 进行交换，然后将a [ 1 ]（即原来的a [ r ]）赋值给程序1 4 - 6中的变量p i v o t，之后继续执行程序1 4 - 6中的其余代码。
) ]0 B9 N! R3 b9 q. M$ |
! ~, {* U3 l( z( M图2 - 11中分别给出了根据实验所得到的归并排序、堆排序、插入排序、快速排序的平均时间。对于每一个不同的n, 都随机产生了至少1 0 0组整数。随机整数的产生是通过反复调用s t d l i b . h库中的r a n d o m函数来实现的。如果对一组整数进行排序的时间少于1 0个时钟滴答，则继续对其他组整数进行排序，直到所用的时间不低于1 0个时钟滴答。在图2 - 11中的数据包含产生随机整数的时间。对于每一个n，在各种排序法中用于产生随机整数及其他开销的时间是相同的。因此，图2 - 11中的数据对于比较各种排序算法是很有用的。
! x3 A6 U4 f6 Y  S9 L1 Z
对于足够大的n，快速排序算法要比其他算法效率更高。从图中可以看到快速排序曲线与插入排序曲线的交点横坐标比2 0略小，可通过实验来确定这个交点横坐标的精确值。可以分别用n = 1 5 , 1 6 , 1 7 , 1 8 , 1 9进行实验，以寻找精确的交点。令精确的交点横坐标为nBr e a k。当n≤nBreak 时，插入排序的平均性能最佳。当n＞nBreak 时，快速排序性能最佳。当n＞nBreak 时，把插入排序与快速排序组合为一个排序函数，可以提高快速排序的性能，实现方法是把程序1 4 - 6中的以下语句：

0 k( @  L7 J$ O6 m3 m1 g  M. f% Yif(l &gt;= r)r e t u r n ;

替换为
' s) N9 F9 L% H! t8 i: P) ~
if (r-1<NBREAK) {InsertionSort(a,l,r); return;}
8 Q* k% y/ d  q$ B
! M% A0 z+ b% Z这里I n s e r t i o n S o r t ( a , l , r )用来对a [ 1 : r ]进行插入排序。测量修改后的快速排序算法的性能留作练习（练习2 0）。用更小的值替换n B r e a k有可能使性能进一步提高（见练习2 0）。

- }: R! K0 X2 c大多数实验表明，当n＞c时（c为某一常数），在最坏情况下归并排序的性能也是最佳的。而当n≤c时，在最坏情况下插入排序的性能最佳。通过将插入排序与归并排序混合使用，可以提高归并排序的性能（练习2 1）。</P>