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