同一骨架 2017 年安徽预赛 第 12 题 · P010557
整数绝对差系统先寻找下一步自动具有的简单形状,再让一个非负整数尺度严格下降,迫使系统有限步进入含零状态;到达后应对完整有序状态验证后续行为。
两项递推的最大值可能隔一步才下降,最终出现周期;三项同步递推先获得最大数等于其余两数之和的形状,含零后逐坐标固定。不能把两种终态混成同一结论。
在数列 中, 是给定的非零整数,且
若 ,求 ;
证明:从 中一定可以选取无穷多项组成两个不同的常数列。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
远项由相邻有序对的周期确定;一般情形则利用整数最大值下降,先证明必然进入含零的状态。
先回想这道题的想法,再试试当前题。
由 ,顺次得到
状态 在三步后回返,之后按 循环。因 是 的倍数,故 。 对一般初值,从 起均为非负整数,且不可能同时为零,否则由 反推 ,与题设不符。设相邻正整数状态为 。若 ,一步后为 ,最大值严格下降;若 ,两步后为 ,最大值严格下降;若 ,下一项即为零。因此有限次后必出现 或 ,其中 。此后循环为 。取循环中所有零项以及其中一个值为 的位置,便得到两个无限常数子数列,且常数不同。即 。
上述下降发生于正整数最大值,故不能无限继续;出现零以后仍无负数,递推确将 变为 再变为 。只用单项重复不足以断言二阶递推周期,这里使用了完整相邻状态。
绝对差递推先用整数下降进入简单状态,再记录相邻有序对确定周期和目标下标。
第一问需从二阶状态正确定位周期;第二问不能只试初项,须用整数下降证明任意合法初值最终进入含零循环。
同一骨架 2017 年安徽预赛 第 12 题 · P010557
整数绝对差系统先寻找下一步自动具有的简单形状,再让一个非负整数尺度严格下降,迫使系统有限步进入含零状态;到达后应对完整有序状态验证后续行为。
两项递推的最大值可能隔一步才下降,最终出现周期;三项同步递推先获得最大数等于其余两数之和的形状,含零后逐坐标固定。不能把两种终态混成同一结论。
已记下,谢谢!