快速排序（QuickSort）的基本思想是：通过一趟排序将待排记录分割成独立的两部分，其中一部分记录的关键字均比另一部分记录的关键字小，则可分别对这两部分记录继续进行排序，以达到整个序列有序的目的。
假设现在要对数组{50,0,90,30,70,40,80,60,0}进行排序。我们通过代码的讲解来学习快速排序的精妙。
我们来看代码。
/*对顺序表L作快速排序*/voidQuickSort(SqList*L){QSort(L,,L-length);}
又是一句代码，和归并排序一样，由于需要递归调用，因此我们外封装了一个函数。现在我们来看QSort的实现。
/*对顺序表L中的子序列L-r[low..high]作快速排序*/voidQSort(SqList*L,intlow,inthigh){intpivot;if(lowhigh){/*将L-r[low..high]一分为二，*//*算出枢轴值pivot*/pivot=Partition(L,low,high);/*对低子表递归排序*/QSort(L,low,pivot-);/*对高子表递归排序*/QSort(L,pivot+,high);}}
从这里，你应该能理解前面代码“QSort(L,,L-length);”中和L-length代码的意思了，它就是当前待排序的序列最小下标值low和最大下标值high。
这一段代码的核心是“pivot=Parti-tion(L,low,high);”在执行它之前，L.r的数组值为{50,0,90,30,70,40,80,60,0}。Partition函数要做的，就是先选取当中的一个关键字，比如选择第一个关键字50，然后想尽办法将它放到一个位置，使得它左边的值都比它小，右边的值比它大，我们将这样的关键字称为枢轴（pivot）。
在经过Partition(L,,9)的执行之后，数组变成{0,0,40,30,50,70,80,60,90}，并返回值5给pivot，数字5表明50放置在数组下标为5的位置。此时，计算机把原来的数组变成了两个位于50左和右小数组{0,0,40,30}和{70,80,60,90}，而后的递归调用“QSort(L,,5-);”和“QSort(L,5+,9);”语句，其实就是在对{0,0,40,30}和{70,80,60,90}分别进行同样的Partition操作，直到顺序全部正确为止。
到了这里，应该说理解起来还不算困难。下面我们就来看看快速排序最关键的Partition函数实现。
/*交换顺序表L中子表的记录，使枢轴记录到位，并返回其所在位置*//*此时在它之前（后）的记录均不大（小）于它。*/intPartition(SqList*L,intlow,inthigh){intpivotkey;/*用子表的第一个记录作枢轴记录*/pivotkey=L-r[low];/*从表的两端交替向中间扫描*/while(lowhigh){while(lowhighL-r[high]=pivotkey)high--;/*将比枢轴记录小的记录交换到低端*/swap(L,low,high);while(lowhighL-r[low]=pivotkey)low++;/*将比枢轴记录大的记录交换到高端*/swap(L,low,high);}/*返回枢轴所在位置*/turnlow;}
．程序开始执行，此时low=，high=L.length=9。第4行，我们将L.r[low]=L.r[]=50赋值给枢轴变量piv-otkey，如下图所示。
image-
．第5～3行为while循环，目前low=high=9，执行内部语句。
3．第7行，L.r[high]=L.r[9]=0≯piv-otkey=50，因此不执行第8行。
4．第9行，交换L.r[low]与L.r[high]的值，使得L.r[]=0，L.r[9]=50。为什么要交换，就是因为通过第7行的比较知道，L.r[high]是一个比pivotkey=50（即L.r[low]）还要小的值，因此它应该交换到50的左侧，如下图所示。
image-
5．第0行，当L.r[low]=L.r[]=0，piv-otkey=50，L.r[low]pivotkey，因此第行，low++，此时low=。继续循环，L.r[]=，low++，此时low=3。L.r[3]=9，退出循环。
6．第行，交换L.r[low]=L.r[3]与L.r[high]=L.r[9]的值，使得L.r[3]=50，L.r[9]=90。此时相当于将一个比50大的值90交换到了50的右边。注意此时low已经指向了3，如下图所示。
image-
7．继续第5行，因为low=3high=9，执行循环体。
8．第7行，当L.r[high]=L.r[9]=90，piv-otkey=50，L.r[high]pivotkey，因此第8行，high--，此时high=8。继续循环，L.r[8]=6，high--，此时high=7。L.r[7]=8，high--，此时high=6。L.r[6]=4，退出循环。
9．第9行，交换L.r[low]=L.r[3]=50与L.r[high]=L.r[6]=40的值，使得L.r[3]=40，L.r[6]=50，如下图所示。
image-
0．第0行，当L.r[low]=L.r[3]=40，piv-otkey=50，L.r[low]pivotkey，因此第行，low++，此时low=4。继续循环L.r[4]=3，low++，此时low=5。L.r[5]=7，退出循环。
．第行，交换L.r[low]=L.r[5]=70与L.r[high]=L.r[6]=50的值，使得L.r[5]=50，L.r[6]=70，如下图所示。
image-
．再次循环。因low=5high=6，执行循环体后，low=high=5，退出循环，如下图所示。
image-
3．最后第4行，返回low的值5。函数执行完成。接下来就是递归调用“QSort(L,,5-);”和“QSort(L,5+,9);”语句，对{0,0,40,30}和{70,80,60,90}分别进行同样的Partition操作，直到顺序全部正确为止。我们就不再演示了。
通过这段代码的模拟，大家应该能够明白，Partition函数，其实就是将选取的pivotkey不断交换，将比它小的换到它的左边，比它大的换到它的右边，它也在交换中不断更改自己的位置，直到完全满足这个要求为止。
快速排序复杂度分析
快速排序的时间性能取决于快速排序递归的深度，可以用递归树来描述递归算法的执行情况。如下图所示，它是{50,0,90,30,70,40,80,60,0}在快速排序过程中的递归过程。由于我们的第一个关键字是50，正好是待排序的序列的中间值，因此递归树是平衡的，此时性能也比较好。
image-
在最优情况下，Partition每次都划分得很均匀，如果排序n个关键字，其递归树的深度就为（表示不大于x的最大整数），即仅需递归logn次，需要时间为T(n)的话，第一次Par-tiation应该是需要对整个数组扫描一遍，做n次比较。然后，获得的枢轴将数组一分为二，那么各自还需要T(n/)的时间（注意是最好情况，所以平分两半）。于是不断地划分下去，我们就有了下面的不等式推断。
T(n)≤T(n/)+n,T()=0T(n)≤(T(n/4)+n/)+n=4T(n/4)+nT(n)≤4(T(n/8)+n/4)+n=8T(n/8)+3n……T(n)≤nT()+(logn)×n=O(nlogn)
也就是说，在最优的情况下，快速排序算法的时间复杂度为O(nlogn)。
在最坏的情况下，待排序的序列为正序或者逆序，每次划分只得到一个比上一次划分少一个记录的子序列，注意另一个为空。如果递归树画出来，它就是一棵斜树。此时需要执行n-次递归调用，且第i次划分需要经过n-i次关键字的比较才能找到第i个记录，也就是枢轴的位置，因此比较次数为sigma(i=,n-,n-i)=(n-)+(n-)+...+=n(n-)/，最终其时间复杂度为O(n)。
平均的情况，设枢轴的关键字应该在第k的位置（≤k≤n），那么：
image-
由数学归纳法可证明，其数量级为O(nlogn)。
就空间复杂度来说，主要是递归造成的栈空间的使用，最好情况，递归树的深度为logn，其空间复杂度也就为O(logn)，最坏情况，需要进行n-递归调用，其空间复杂度为O(n)，平均情况，空间复杂度也为O(logn)。
可惜的是，由于关键字的比较和交换是跳跃进行的，因此，快速排序是一种不稳定的排序方法。
快速排序优化
．优化选取枢轴
如果我们选取的pivotkey是处于整个序列的中间位置，那么我们可以将整个序列分成小数集合和大数集合了。但注意，我刚才说的是“如果……是中间”，那么假如我们选取的pivotkey不是中间数又如何呢？比如我们前面讲冒泡和简单选择排序一直用到的数组{9,,5,8,3,7,4,6,}，由代码第4行“pivotkey=L-r[low];”知道，我们应该选取9作为第一个枢轴pivotkey。此时，经过一轮“pivot=Partition(L,,9);”转换后，它只是更换了9与的位置，并且返回9给pivot，整个系列并没有实质性的变化，如下图所示。
image-
就是说，代码第4行“pivotkey=L-r[low];”变成了一个潜在的性能瓶颈。排序速度的快慢取决于L.r[]的关键字处在整个序列的位置，L.r[]太小或者太大，都会影响性能(比如第一例子中的50就是一个中间数，而第二例子的9就是一个相对整个序列过大的数)。因为在现实中，待排序的系列极有可能是基本有序的，此时，总是固定选取第一个关键字（其实无论是固定选取哪一个位置的关键字）作为首个枢轴就变成了极为不合理的作法。
改进办法，有人提出，应该随机获得一个low与high之间的数rnd，让它的关键字L.r[rnd]与L.r[low]交换，此时就不容易出现这样的情况，这被称为随机选取枢轴法。应该说，这在某种程度上，解决了对于基本有序的序列快速排序时的性能瓶颈。不过，随机就有些撞大运的感觉，万一没撞成功，随机到了依然是很小或很大的关键字怎么办呢？
再改进，于是就有了三数取中（median-of-the）法。即取三个关键字先进行排序，将中间数作为枢轴，一般是取左端、右端和中间三个数，也可以随机选取。这样至少这个中间数一定不会是最小或者最大的数，从概率来说，取三个数均为最小或最大数的可能性是微乎其微的，因此中间数位于较为中间的值的可能性就大大提高了。由于整个序列是无序状态，随机选取三个数和从左中右端取三个数其实是一回事，而且随机数生成器本身还会带来时间上的开销，因此随机生成不予考虑。
我们来看看取左端、右端和中间三个数的实现代码，在Partition函数代码的第3行与第4行之间增加这样一段代码。
intpivotkey;/*计算数组中间的元素的下标*/intm=low+(high-low)/;if(L-r[low]L-r[high])/*交换左端与右端数据，保证左端较小*/swap(L,low,high);if(L-r[m]L-r[high])/*交换中间与右端数据，保证中间较小*/swap(L,high,m);if(L-r[m]L-r[low])/*交换中间与左端数据，保证左端较小*/swap(L,m,low);/*此时L.r[low]已经为整个序列左中右三个关键字的中间值。*//*用子表的第一个记录作枢轴记录*/pivotkey=L-r[low];
试想一下，我们对数组{9,,5,8,3,7,4,6,}，取左9、中3、右来比较，使得L.r[low]=3，一定要比9和来得更为合理。
三数取中对小数组来说有很大的概率选择到一个比较好的pivotkey，但是对于非常大的待排序的序列来说还是不足以保证能够选择出一个好的pivotkey，因此还有个办法是所谓九数取中（me-dian-of-nine），它先从数组中分三次取样，每次取三个数，三个样品各取出中数，然后从这三个中数当中再取出一个中数作为枢轴。显然这就更加保证了取到的pivotkey是比较接近中间值的关键字。
．优化不必要的交换
从上面的图中，我们发现，50这个关键字，其位置变化是→9→3→6→5，可其实它的最终目标就是5，当中的交换其实是不需要的。因此我们对Partition函数的代码再进行优化。
/*快速排序优化算法*/intPartition(SqList*L,intlow,inthigh){intpivotkey;/*这里省略三数取中代码*//*用子表的第一个记录作枢轴记录*/pivotkey=L-r[low];/*将枢轴关键字备份到L-r[0]*/L-r[0]=pivotkey;/*从表的两端交替向中间扫描*/while(lowhigh){while(lowhighL-r[high]=pivotkey)high--;/*采用替换而不是交换的方式进行操作*/L-r[low]=L-r[high];while(lowhighL-r[low]=pivotkey)low++;/*采用替换而不是交换的方式进行操作*/L-r[high]=L-r[low];}/*将枢轴数值替换回L.r[low]*/L-r[low]=L-r[0];/*返回枢轴所在位置*/turnlow;}
我们事实将piv-otkey备份到L.r[0]中，然后在之前是swap时，只作替换的工作，最终当low与high会合，即找到了枢轴的位置时，再将L.r[0]的数值赋值回L.r[low]。因为这当中少了多次交换数据的操作，在性能上又得到了部分的提高。如下图所示。
image-
3．优化小数组时的排序方案
刚才我谈到了对于非常大的数组的解决办法。那么相反的情况，如果数组非常小，其实快速排序反而不如直接插入排序来得更好（直接插入是简单排序中性能最好的）。其原因在于快速排序用到了递归操作，在大量数据排序时，这点性能影响相对于它的整体算法优势而言是可以忽略的，但如果数组只有几个记录需要排序时，这就成了一个大炮打蚊子的大问题。因此我们需要改进一下QSort函数。
#defineMAX_LENGTH_INSERT_SORT7/*数组长度阀值*//*对顺序表L中的子序列L.r[low..high]作快速排序*/voidQSort(SqListL,intlow,inthigh){intpivot;if((high-low)MAX_LENGTH_INSERT_SORT){/*当high-low大于常数时用快速排序*//*将L.r[low..high]一分为二，*//*并算出枢轴值pivot*/pivot=Partition(L,low,high);/*对低子表递归排序*/QSort(L,low,pivot-);/*对高子表递归排序*/QSort(L,pivot+,high);}else/*当high-low小于等于常数时用直接插入排序*/InsertSort(L);}
我们增加了一个判断，当high-low不大于某个常数时（有资料认为7比较合适，也有认为50更合理，实际应用可适当调整），就用直接插入排序，这样就能保证最大化地利用两种排序的优势来完成排序工作。
4．优化递归操作
递归对性能是有一定影响的，QSort函数在其尾部有两次递归操作。如果待排序的序列划分极端不平衡，递归深度将趋近于n，而不是平衡时的log
n，这就不仅仅是速度快慢的问题了。栈的大小是很有限的，每次递归调用都会耗费一定的栈空间，函数的参数越多，每次递归耗费的空间也越多。因此如果能减少递归，将会大大提高性能。
于是我们对QSort实施尾递归优化。来看代码。
/*对顺序表L中的子序列L.r[low..high]作快速排序*/voidQSort(SqList*L,intlow,inthigh){intpivot;if((high-low)MAX_LENGTH_INSERT_SORT){while(lowhigh){/*L.r[low..high]一分为二,*//*算出枢轴值pivot*/pivot=Partition(L,low,high);/*对低子表递归排序*/QSort(L,low,pivot-);/*尾递归*/low=pivot+;}}elseInsertSort(L);}
当我们将if改成while后（见加粗代码部分），因为第一次递归以后，变量low就没有用处了，所以可以将pivot+赋值给low，再循环后，来一次Partition(L,low,high)，其效果等同于“QSort(L,pivot+,high);”。结果相同，但因采用迭代而不是递归的方法可以缩减堆栈深度，从而提高了整体性能。