QuickSort中使用的Hoare分区代码(Ref Cormen Book）陷入无限循环

Hoare partitioning code used in Quicksort (ref Cormen book) runs into infinite loop

本文关键字：Book Cormen Ref 无限循环 代码 分区 Hoare QuickSort      更新时间：2023-10-16

i代码QuickSort使用Cormen算法书籍中的Hoare分区。我无法发现代码中的任何错误，看起来就像书中的伪代码。

swapping i, j : 0, 8
-2 2 -5 -3 6 0 1 0 -1 4
swapping i, j : 1, 3
-2 -3 -5 2 6 0 1 0 -1 4
p is: 2
swapping i, j : 0, 1
-3 -2 -5 2 6 0 1 0 -1 4
p is: 0

完成了上述交换后，该代码最终最终在子阵列{-3, -2}上进行了分区。对于此subarray，枢轴为-3，将partition() returns 0作为index (j)。由于此子阵列已经用0th index位置的枢轴-3对此进行了排序，因此每次速写时都不会进行更改。因此，Qsort循环永远。

有人可以告诉我，这与书中的hoare分区有何不同，如果同样的话为什么不起作用？

void swap(int *a, int i, int j) {
        cout << "swapping i, j : " << i << ", " << j << endl;
        int tmp = a[i];
        a[i] = a[j];
        a[j] = tmp; }
int partition(int *a, int len) {
        int pivot = a[0];
        int i = -1, j = len;
        while (true) {
               while ( ++i && a[i] < pivot && i< j) {}
               while (--j && a[j] > pivot && i <j) {}
               if (i < j )
                  swap(a, i, j);
               else 
                  return j ;
        } }
void qsort(int a[], int len) {
        int p = partition(a, len);
        cout << "p is: " << p << endl;
        qsort(a, p);
        qsort(a+p, len - p ); }
int main(int argc, char *argv[]) {
        int a[10] = {-1, 2, -5, -3, 6, 0, 1, 0, -2, 4};
        qsort(a, 10); }

在答案中扩展我的评论， partition()返回基于0的index ，但是您需要传递数组长度(长度为基于1的(到qsort()，因此必须是：

void qsort(int a[], int len)
{
    int p = partition(a, len);
    cout << "p is: " << p << endl;
    qsort(a, p + 1); // note p+1 instead of p
    qsort(a + p + 1, len - (p + 1)); // note p+1 instead of p
}

干式运行看起来像：

swapping i, j : 0, 8
-2 2 -5 -3 6 0 1 0 -1 4
swapping i, j : 1, 3
-2 -3 -5 2 6 0 1 0 -1 4
p is: 2

现在您必须调用qsort(a, 3)，因为您要对子阵列-2 -3 -5进行排序。另外，子阵列2 6 0 1 0 -1 4

的QSORT(A 3，7(
相关文章：