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