易混 2025 年四川预赛 · P006383
确定性迭代中,某个势函数不增加、势函数值相同、整个状态重复,是三种不同信息。单调量可以控制变换,却不能单凭它宣称每一步严格下降或最终固定;确认周期则要回到完整状态并核下一步仍合法。
一题把变换拆成守恒与排序不增,另一题逐项算出实际循环并核分母;只有状态重复配合确定性,才足以把一次回返延续到全部后项。
整数序列变换下的势函数单调性
对于每项均是正整数的数列
定义变换 , 将数列 变换成数列
对于每项均是非负整数的数列
定义
定义变换 : 将数列 各项从大到小排列,然后去掉所有为零的项, 得到数列 。
(1)若数列 为 ,求 的值;
(2)对于每项均是正整数的有穷数列 ,令
(i)探究 与 的关系;
(ii)证明:。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
第一问直接代入。
第二问先展开 前后的势函数,所有常数项会完全抵消,得到不变量; 再观察 只做降序排列和删零,而递增权重下的加权和在降序排列时最小。
(1)
因此
(2)(i)设 。展开定义可得
所以
(ii)先证明对任意非负整数数列 ,都有
平方和 在重排下不变。若相邻两项满足 ,交换二者后, 加权和 的改变量为
不断交换逆序对,便得到从大到小排列,且加权和不会增加。排好序后所有零项都在末尾, 删去它们不改变正项的下标,也不改变 。故式(1)成立。
于是对每个 ,由(i)与式(1),
即
展开 时,常数部分为
线性部分恰剩 。 排序后删掉的是末尾零项,因此不会造成正项下标平移。
人为定义的复杂函数常是为某个变换量身设计的势函数:先完整展开寻找不变量, 再把排序操作拆成相邻交换,用重排思想判断单调方向。
变换T1的S不变可直接展开,主要判断是T2排序保平方和且逆序交换使加权和下降;选出交换法后迭代不增结论直接衔接。
易混 2025 年四川预赛 · P006383
确定性迭代中,某个势函数不增加、势函数值相同、整个状态重复,是三种不同信息。单调量可以控制变换,却不能单凭它宣称每一步严格下降或最终固定;确认周期则要回到完整状态并核下一步仍合法。
一题把变换拆成守恒与排序不增,另一题逐项算出实际循环并核分母;只有状态重复配合确定性,才足以把一次回返延续到全部后项。
已记下,谢谢!