同一骨架 2024 年四川预赛 · P006597
相邻条件决定了当前状态的合法后继,计数时可按末状态记录前缀的数量,再汇总下一层。每一步看似有两种操作,也不能直接把选择数连乘:禁态和不同末状态的延伸数会改变总数。
前题状态范围随长度增长,零状态截断递推,分布与二项式差分相连;后题先删掉不能参与相邻关系的值,再利用有限链的对称性合并末状态。
相邻函数值之差的计数
已知函数
且对一切 ,都有
则符合条件的函数 的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把函数值看作一条长度为 的序列。
先回想这道题的想法,再试试当前题。
相邻两项的允许关系构成一条四个顶点的链,问题便转化为计算该链上的九步游走数。
函数值 与集合 中任何数的差都小于 ,所以在长度为 的序列中不能出现。其余允许的无向相邻关系恰为
由对称性,设长度为 的合法序列中,以链的两个端点 中某一个结尾的个数为 ,以两个内点 中某一个结尾的个数为 。则
若记 ,则
于是长度为 的合法序列总数为
长度为 时四个可用函数值各贡献一个序列,与 一致。递推逐步给出的总数依次为
末项与答案一致,也与直接状态转移相符。
有限值域上的相邻限制可建成转移图。图具有对称性时先合并等价状态,常能把矩阵递推降为熟悉的斐波那契递推。
需将合法相邻值识别为四顶点链并排除孤立值3,再利用端点与内点对称性压成两个状态;选定状态后为标准斐波那契递推。
同一骨架 2024 年四川预赛 · P006597
相邻条件决定了当前状态的合法后继,计数时可按末状态记录前缀的数量,再汇总下一层。每一步看似有两种操作,也不能直接把选择数连乘:禁态和不同末状态的延伸数会改变总数。
前题状态范围随长度增长,零状态截断递推,分布与二项式差分相连;后题先删掉不能参与相邻关系的值,再利用有限链的对称性合并末状态。
已记下,谢谢!