纯插入与轻微重排要分开判 lesson erratum verification subsequence counterexample 修改:20260424232542000 有序子序列规则只对纯插入稳健;一旦允许一次局部重排,长度 2 的内容词就足以构成反例。