循环排序算法详解与错误修复指南

本文旨在深入解析Java循环排序算法中一个常见的陷阱，即在原地交换元素时可能出现的索引计算错误。通过对比两种实现方式，清晰地阐述了直接使用表达式与使用临时变量的区别，并提供了正确的循环排序实现，帮助开发者避免类似错误，确保算法的正确性和效率。

循环排序（Cyclic Sort）是一种用于排序包含从 1 到 n 的 n 个数字的数组的算法。其核心思想是将每个元素放到其正确的位置上，即数字 i 应该放在数组的第 i-1 个位置上。当遇到不在正确位置上的元素时，就将其与正确位置上的元素进行交换，直到所有元素都位于其正确的位置。

问题分析

在实现循环排序时，一个常见的错误是在交换元素时，直接使用表达式计算目标索引，而忽略了交换操作对数组元素的影响。考虑以下错误示例：

static void cyclicSort(int[] arr) {
    int i = 0;
    while (i < arr.length) {
        if (arr[i] != arr[arr[i] - 1]) {
            int temp = arr[i];
            arr[i] = arr[arr[i] - 1];
            arr[arr[i] - 1] = temp;
        } else {
            i++;
        }
    }
}

这段代码的问题在于，当执行 arr[i] = arr[arr[i] - 1]; 时，arr[i] 的值发生了改变。因此，下一行代码 arr[arr[i] - 1] = temp; 中使用的 arr[i] - 1 实际上计算的是一个错误的索引。

正确的实现

为了避免上述问题，需要在交换之前，先将目标索引计算出来并存储在一个临时变量中。以下是正确的实现方式：

static void cyclicSort(int[] arr) {
    int i = 0;
    while (i < arr.length) {
        int correct = arr[i] - 1;
        if (arr[i] != arr[correct]) {
            int temp = arr[i];
            arr[i] = arr[correct];
            arr[correct] = temp;
        } else {
            i++;
        }
    }
}

在这个版本中，correct 变量存储了 arr[i] 应该在的正确位置的索引。即使 arr[i] 的值在交换过程中发生了改变，correct 的值仍然保持不变，确保了交换操作的正确性。

示例代码

以下是一个完整的示例，演示了如何使用正确的循环排序算法：

import java.util.Arrays;

public class CyclicSortExample {

    static void cyclicSort(int[] arr) {
        int i = 0;
        while (i < arr.length) {
            int correct = arr[i] - 1;
            if (arr[i] != arr[correct]) {
                int temp = arr[i];
                arr[i] = arr[correct];
                arr[correct] = temp;
            } else {
                i++;
            }
        }
    }

    public static void main(String[] args) {
        int[] arr = {5, 4, 3, 2, 1};
        cyclicSort(arr);
        System.out.println(Arrays.toString(arr)); // 输出: [1, 2, 3, 4, 5]
    }
}

注意事项

• 循环排序算法适用于包含从 1 到 n 的 n 个数字的数组。如果数组中包含重复的数字或者不在这个范围内的数字，则算法可能无法正常工作。
• 循环排序是一种原地排序算法，即它不需要额外的空间来存储排序后的数组。
• 循环排序的时间复杂度为 O(n)，其中 n 是数组的长度。

总结

在实现循环排序算法时，务必注意在交换元素时，要使用临时变量来存储目标索引，以避免由于数组元素值的改变而导致的索引计算错误。理解并避免这个陷阱，可以确保算法的正确性和效率。