8.3.1 冒泡排序

冒泡每趟比较相邻逆序对并交换，最大元素逐步沉到末端。若一趟无交换可提前结束；正确实现稳定。

手工推演与代码

[3,2,1]第一趟[2,1,3]，第二趟[1,2,3]。

代码实现必须保持当前有序区、堆区或归并段的不变量，并对空数组、单元素、重复键和逆序输入测试。

正确性与错解反馈

正确性来自每一趟扩大已确定区域且不破坏未处理数据。内层边界不随趟数缩短；相等也交换导致不稳定；提前结束标志未重置。

迁移训练

[1,2,3]优化冒泡比较一趟后结束，交换0次。