排序算法之：循环不变式在计数排序中的正确性证明
**排序算法之：循环不变式在计数排序中的正确性证明**
**题目描述**
计数排序是一种非比较的整数排序算法，其核心思想是通过统计每个元素出现的次数，然后计算每个元素在输出数组中的正确位置。本题要求使用循环不变式（Loop Invariant）来严格证明计数排序算法的正确性，确保排序后的数组满足非递减顺序。
---
**解题过程**
**1. 算法步骤回顾**
计数排序包含三个主要步骤（假设输入数组为`A[0..n-1]`，元素范围为`[0, k]`）：
1. **计数阶段*
2025-11-04 17:45:09
0