java - QuickSort 三路分区+混合实现

Question

我正在尝试使用混合快速排序来实现三向分区快速排序。问题是我最后得到一个无序列表。我已经单独测试了混合快速排序和插入排序，它们工作得很好(测试大小:10、50、500、1000、5000)。我运行调试，但仍然无法判断问题出在哪里。先感谢您。这是代码。

public <T> void sort(@NotNull Comparator<T> comparator, @NotNull List<T> list) {
    int lo = 0;
    int hi = list.size() - 1;

    if (hi <= lo) return;
    int lt = lo, i = lo+1, gt = hi;
    while (i <= gt) {
        if (comparator.compare(list.get(i), list.get(lo)) < 0) //did not use AbstractSorter greter in order to check all cases.
            exch(list, lt++, i++);
        else if(comparator.compare(list.get(i), list.get(lo)) > 0)
            exch(list, i, gt--);
        else
            i++;
    }  // Now a[lo..lt-1] < v = a[lt..gt] < a[gt+1..hi].
    sort(comparator, list, lo, lt - 1);
    sort(comparator, list, gt + 1, hi);
}

private <T> void sort(@NotNull Comparator<T> comparator, @NotNull List<T> list, int lo, int hi){
    if(hi <= lo) return;
    if(hi - lo <= 8){
        InsertionSort sorter = new InsertionSort();
        sorter.sort(comparator, list.subList(lo, hi + 1));
        List<SorterListener> listeners = (ArrayList)sorter.getListeners();
        for(SorterListener s: listeners)
            getListeners().add(s);
        return;
    }
    int i = partition(comparator, list, lo, hi);
    sort(comparator, list, lo, i - 1);
    sort(comparator, list, i + 1, hi);
}

编辑:

public <T> void exch(@NotNull List<T> list, int i, int j) {
    final T aux = list.get(i);
    list.add(i, list.get(j));
    list.remove(i + 1);
    list.add(j, aux);
    list.remove(j + 1);
    listeners.get(0).swap(i, j);
}


public <T> int partition(@NotNull Comparator<T> comparator, @NotNull List<T> list, int lo, int hi) {
    int i = lo - 1;
    int j = hi;
    while(true) {
        while( greater(list, hi, ++i, comparator)) //find item left to swap
            if (i == hi) break;
        while( greater(list, --j, hi, comparator)) //find item right to swap
            if (j == lo) break;
        if (i >= j) break; //check if pointers cross
        exch(list, i, j); //swap
    }
    exch(list, i, hi); //swap with partitioning item
    return i; //return index of item now known to be in place
}

Answer 1

如果我明白你在第一个分区中的意图 sort方法(公共(public)方法)，lt指向您要划分的元素。因此，在比较中，您应该比较 i 处的元素。元素位于 lt ，而不是 lo 处的那个:

    if (comparator.compare(list.get(i), list.get(lt)) < 0) //did not use AbstractSorter greter in order to check all cases.
        exch(list, lt++, i++);
    else if(comparator.compare(list.get(i), list.get(lt)) > 0)
        exch(list, i, gt--);

通过此更改，该方法似乎可以正常工作，至少在我运行它的示例上是这样。

顺便说一句，你的评论对我有帮助，Now a[lo..lt-1] < v = a[lt..gt] < a[gt+1..hi].您可以通过将其转换为断言来做得更好:

    T v = list.get(lt);
    for (int ix = lo; ix < lt; ix++) {
        assert comparator.compare(list.get(ix), v) < 0 : "lt " + lt + ' ' + list;
    }
    for (int ix = lt; ix <= gt; ix++) {
        assert comparator.compare(list.get(ix), v) == 0 : "lt " + lt + " gt " + gt + ' ' + list;
    }
    for (int ix = gt + 1; ix <= hi; ix++) {
        assert comparator.compare(list.get(ix), v) > 0 : "gt " + gt + ' ' + list;
    }

启用这些断言后，Java 将捕获错误并打印例如:

Exception in thread "main" java.lang.AssertionError: gt 2 [1, 0, 3, 6, 4, 8, 9, 5, 2, 7, 10]

在本例中gt指向元素3 ，但是有一个 2在列表的右侧。