为了复查同一段游戏过程,可以让一串选择由固定初始状态和明确递推规则产生。记录状态如何变化,比只保存最后选出的动作更容易查出从哪一步开始不一致。
本篇用一组独立输入把规则展开为可重复核对的记录。先确认单位、编号及边界,再自行尝试推演,然后寻找与下面过程第一次不同的位置。所有结果只在这里写明的规则下成立,不能当作所有游戏的统一实现。
状态是整数,每步先乘固定系数、加固定增量,再对模数取余;更新后的状态对四取余得到动作编号。本例只是演示可重现计算,不宣称动作均匀分布、周期很长或适合任何实际随机需求。
模数59,系数5,增量7,种子53
第1步旧状态53,先算5×53+7=272,除59取余得36,动作编号0。
第2步旧状态36,先算5×36+7=187,除59取余得10,动作编号2。
第3步旧状态10,先算5×10+7=57,除59取余得57,动作编号1。
第4步旧状态57,先算5×57+7=292,除59取余得56,动作编号0。
第5步旧状态56,先算5×56+7=287,除59取余得51,动作编号3。
第6步旧状态51,先算5×51+7=262,除59取余得26,动作编号2。
第7步旧状态26,先算5×26+7=137,除59取余得19,动作编号3。
第8步旧状态19,先算5×19+7=102,除59取余得43,动作编号3。
第9步旧状态43,先算5×43+7=222,除59取余得45,动作编号1。
第10步旧状态45,先算5×45+7=232,除59取余得55,动作编号3。
第11步旧状态55,先算5×55+7=282,除59取余得46,动作编号2。
第12步旧状态46,先算5×46+7=237,除59取余得1,动作编号1。
第13步旧状态1,先算5×1+7=12,除59取余得12,动作编号0。
第14步旧状态12,先算5×12+7=67,除59取余得8,动作编号0。
第15步旧状态8,先算5×8+7=47,除59取余得47,动作编号3。
第16步旧状态47,先算5×47+7=242,除59取余得6,动作编号2。
十六步状态与动作已完整记录;最后状态6,重新使用相同初态与规则可得到相同序列。
不用逐步递推,也能把第若干步状态写成初态乘系数的相应次方,再加各次增量贡献之和,最后统一取余。两种方法逐步核对状态和动作编号。
同一初态只有在规则、更新次数和调用顺序也相同时才会重放一致。如果额外调用一次,后面的选择就会移动一位。本例的状态应与其他回放信息一起理解,不能仅凭某一个动作相同判断两次运行完全相同。
练习时先保存原始输入及中间结果,再只改变一个条件观察差异。重点检查空状态、相同数值、恰好到达边界和最后一步。不要为了凑出相同的最终结果而忽略较早出现的偏差,过程和结论都应能由同一套规则解释。