什么是漂亮排序算法：一顿操作很装逼，一看性能二点七

在《算法导论》第二版第 7 章(快速排序)的思考题(第 95 页)中提及到一种 低效的递归排序算法：Stooge 排序， Howard、Fine 等教授将这个算法称为 漂亮排序算法，但经过证明，Stooge 排序的性能是慢于冒泡排序的。

顾名思义， 漂亮排序算法 它的代码实现 看、上、去 很整齐很好看！

//@程序员小吴 在《算法导论》第 2 版第 95 页，里面使用的是 i 和 j，为了
//更好理解，我在这里使用了 low 和 high 进行代替
private static void stoogeSort(int[] A, int low, int high){
    if(A[low] > A[high]) swap(A, low, high);
    if(low + 1 >= high ) return;
    int split = (high - low + 1) / 3;
    stoogeSortDo(A, low, high - split);
    stoogeSortDo(A, low + split, high);
    stoogeSortDo(A, low, high - split);
}

通过图片你可能更能直观的看出它的好看。

代码整体的思路就是基于递归来实现的，具体操作就是：对于传入的数组先将头部与尾部进行排序，然后递归调用排序前三分之二，再递归调用排序后三分之二，最后再递归调用排序前三分之二。

动画描述如下：

1.第一步：对传入的数组的头尾元素进行比较

2.第二步：判断能否三等分，如果可以则将数组三等分

3.第三步：同样的逻辑递归的排序数组的前 2 / 3 区域

4.第四步：同样的逻辑递归的排序数组的后 2 / 3 区域

5.第五步：同样的逻辑再次递归的排序数组的前 2 / 3 区域

排序完成！

这个算法的复杂度为 T(n) = 3 T( 2n / 3 ) + 1，已被其它大牛证明时间复杂度接近于 O(n2.71) ，对比于一般的排序算法，比如冒泡、选择等常见的 O(n2) 排序算法，排序过程上慢很多。

所以，它除了好看，目前也没发现有啥用。

再补充一个有趣的点，这个算法也被称之为 臭皮匠算法： 三个臭皮匠顶个诸葛亮(在代码实现中涉及到三等分这个概念)。