先锁定操作索引再谈窗口 lesson local insertion predicate verification 修改:20260424233448000 先明确交换起点是在插入后字符串上的索引,再写窗口约束;否则边界条件会把局部修补误写成全局重排。