快速排序实现的堆栈溢出[重复]

Question

我正在尝试实现快速排序算法（在 C# 中），这是我的代码：

public static void sort(ref int[] A)
{
    if (A.Length==0 || A.Length==1) 
    { 
        return; 
    }
    quickSort(ref A,0,A.Length-1);
}

private static void quickSort(ref int[] A, int left, int right)
{
    if (left >= right || left < 0 || right < 0) 
        return;

    int pivot = A[left];

    int i = left - 1;
    int j = right + 1;

    while (true) 
    {
        do 
        { 
            i++; 
        } 
        while (A[i] < pivot);

        do 
        { 
            j--; 
        } 
        while (A[j] > pivot);

        if (i >= j) 
            break;

        int temp = A[i];
        A[i] = A[j];
        A[j] = temp;
    }

    quickSort(ref A,left,j);
    quickSort(ref A, j + 1, right);
}

这个算法工作得很好，但是有些东西似乎不合逻辑，我选择pivot 等于A[left] 然后在while(true) 循环中我写了do{i++}while(A[i]<pivot)，我现在注意到第一次它会增加@ 987654327@ 所以A[i] 将等于A[left] 这是枢轴值，所以这应该意味着这个do while 循环将在i 的第一个增量之后停止，所以当我尝试将= 运算符添加到while 使其在第一次递增后不会停止：while(A[i]<=) 我遇到了堆栈溢出异常（当我将相等运算符添加到第二个 do while 时，也遇到了堆栈溢出异常：while(A[j]>=pivot)），我不明白为什么会这样，谁能解释一下？

Answer 1

这是霍尔分区方案。 do while 循环需要使用 ，而不是 =，因为它们依赖于找到等于中枢的枢轴或元素来停止循环并防止循环超出范围 [lo,你好]。通常将中间元素用作枢轴，例如

    int pivot = A[(left+right)/2];   // or A[left + (right-left)/2]

在当前代码中，唯一不能用于枢轴的元素是 A[right]，因为这会导致堆栈溢出（快速排序调用最终会卡在 high = low + 1）。

所以使用 pivot = A[left]，第一个 do while 以 i == left 停止，第二个 do while 以 j = j 以检查分区步骤是否完成。

为枢轴选择中间元素有助于某些数据模式，例如已排序的数据或反向排序的数据。尽管如此，如果左元素 == 枢轴，第一个 do while 将在第一个循环上停止。

请注意，Hoare 分区方案仅将分区拆分为元素 = 枢轴。枢轴或任何等于枢轴的元素可以在分区步骤之后的任何位置结束。这不是问题，因为最终枢轴或等于枢轴的元素最终会位于正确的位置（直到达到低 == 高的递归级别时才会发生这种情况）。