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