垫脚石(相关题 → 此题) 2022 年山东预赛 · P006881
先把数列换成逐步增量,证明增量串与原数列一一对应,再把终点条件写成两类增量的数量。进一步加入中途线性条件时,还须保留相应位置组的约束及首项的整性。
前题首项固定,位移只决定负步位置;后题首项反由总增量确定,两个中间时刻的关系又分出等和增量块,不能把所有增量只按总数分类。
设整数数列 满足 ,,且
则这样的数列的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
将逐项增量记为 或 ,原数列的两个线性条件便分别化为总和的奇偶限制及两组三个增量的和相等。
先回想这道题的想法,再试试当前题。
令 ()。由 得
因此九个增量的和必须为偶数,且一旦选定增量, 就被唯一确定。另一方面, 等价于
若前组三个增量中有 个为 ,后组也必须有 个为 ,故这六个增量共有
种选择。它们的总和为偶数,因而 也须为偶数。这三个数中为 的个数须为 或 ,共有 种选择。 每种增量选择均令 ,再逐项相加,就唯一得到符合全部条件的整数数列。因此总数为 。
枚举全部 种增量并检查总和偶性及两个三项和相等,得到 种。首项无需另作自由选择;它已由增量唯一决定。
逐项取相邻几个值的数列计数,可先转成有限增量序列;线性约束与整性常会分解为局部计数和奇偶限制。
选择增量变量后,两个数列条件分解成两组三项和相等与总和偶性,并需证明增量与数列一一对应。
垫脚石(相关题 → 此题) 2022 年山东预赛 · P006881
先把数列换成逐步增量,证明增量串与原数列一一对应,再把终点条件写成两类增量的数量。进一步加入中途线性条件时,还须保留相应位置组的约束及首项的整性。
前题首项固定,位移只决定负步位置;后题首项反由总增量确定,两个中间时刻的关系又分出等和增量块,不能把所有增量只按总数分类。
已记下,谢谢!