快速排序中使用的两个分区版本的区别

Difference of the two versions of partition used in quicksort

本文关键字：两个 分区 区别 版本 快速排序      更新时间：2023-10-16

第一个很简单，只需从两边走，直到找到回归。

/*C++ version, [first, last), last needs --first to fetch the last element*/
/*returns the middle of partitioning result*/
int* partition( int *first, int *last, int pivot ) {
    while (true) {
        while (*first < pivot) ++first;
        --last;//Don't edit this, it's true.
        while (pivot < *last) --last;
        if (!(first < last)) return first;
        swap(*first, *last);
        ++first;
    }
}

第二个（如"算法简介"所示）是：

int* partition( int a[], int n, int pivot ) {
    bound = 0;
    for ( i = 1; i != n; ++i )
        if ( a[i] < pivot )
            swap( &a[i], &a[++bound]);
    swap(a, a + bound);
    return a + bound;
}

第二个的不变量是"有界之前的所有元素都小于枢轴"。

问：这两个版本的优点和缺点是什么？

我先给出一个，第二个需要对迭代器（指针）进行++操作，因此它可以应用于某些ForwardIterator，例如链表的迭代器。其他提示？

就这两种算法的基本思想而言，两者都是正确的。他们将进行相同数量的比较，但第二个将比第一个进行更多的掉期。

您可以通过逐步执行算法来查看它们，因为它们使用 5 作为透视对数组进行分区1 9 2 8 3 7 4 6 5。当第一个算法交换两个数字时，它永远不会再次接触任何一个。第二种算法首先交换 9 和 2，然后交换 9 和 3，依此类推，进行多次交换以将 9 移动到其最终位置。

还有其他差异。如果我没有犯任何错误，这就是第一个算法对数组进行分区的方式：

1 9 2 8 3 7 4 6 5
f                 l
1 9 2 8 3 7 4 6 5  # swap 9,5
  f             l
1 5 2 8 3 7 4 6 9  # swap 8,4
      f     l
1 5 2 4 3 7 8 6 9  # return f = 5
        l f

这是第二种算法对数组进行分区的方式：

1 9 2 8 3 7 4 6 5  # 1<5, swap 1,1
bi      
1 9 2 8 3 7 4 6 5  # 9>5, no swap
  bi
1 9 2 8 3 7 4 6 5  # 2<5, swap 9,2
  b i
1 2 9 8 3 7 4 6 5  # 8>5, no swap
    b i
1 2 9 8 3 7 4 6 5  # 3<5, swap 9,3
    b   i
1 2 3 8 9 7 4 6 5  # 7>5, no swap
      b   i
1 2 3 8 9 7 4 6 5  # 4<5, swap 8,4
      b     i
1 2 3 4 9 7 8 6 5  # 6>5, no swap
        b     i
1 2 3 4 9 7 8 6 5  # 5=5, exit loop, swap 9,5
        b       i
1 2 3 4 5 7 8 6 9  # return b = 4
        b       i

请注意它如何进行 5 次交换，而其他算法只有 2 次。它还将数组中的最后一项移动到中间数组。在这种情况下，最后一项恰好是枢轴，因此它是移动到中间的枢轴，但这不是一般情况。

相关文章：