为了复查同一段游戏过程,可以让一串选择由固定初始状态和明确递推规则产生。记录状态如何变化,比只保存最后选出的动作更容易查出从哪一步开始不一致。

本篇用一组独立输入把规则展开为可重复核对的记录。先确认单位、编号及边界,再自行尝试推演,然后寻找与下面过程第一次不同的位置。所有结果只在这里写明的规则下成立,不能当作所有游戏的统一实现。

规则与输入

状态是整数,每步先乘固定系数、加固定增量,再对模数取余;更新后的状态对四取余得到动作编号。本例只是演示可重现计算,不宣称动作均匀分布、周期很长或适合任何实际随机需求。

模数59,系数3,增量6,种子5

逐步推演

第1步旧状态5,先算3×5+6=21,除59取余得21,动作编号1。

第2步旧状态21,先算3×21+6=69,除59取余得10,动作编号2。

第3步旧状态10,先算3×10+6=36,除59取余得36,动作编号0。

第4步旧状态36,先算3×36+6=114,除59取余得55,动作编号3。

第5步旧状态55,先算3×55+6=171,除59取余得53,动作编号1。

第6步旧状态53,先算3×53+6=165,除59取余得47,动作编号3。

第7步旧状态47,先算3×47+6=147,除59取余得29,动作编号1。

第8步旧状态29,先算3×29+6=93,除59取余得34,动作编号2。

第9步旧状态34,先算3×34+6=108,除59取余得49,动作编号1。

第10步旧状态49,先算3×49+6=153,除59取余得35,动作编号3。

第11步旧状态35,先算3×35+6=111,除59取余得52,动作编号0。

第12步旧状态52,先算3×52+6=162,除59取余得44,动作编号0。

第13步旧状态44,先算3×44+6=138,除59取余得20,动作编号0。

第14步旧状态20,先算3×20+6=66,除59取余得7,动作编号3。

第15步旧状态7,先算3×7+6=27,除59取余得27,动作编号3。

第16步旧状态27,先算3×27+6=87,除59取余得28,动作编号0。

十六步状态与动作已完整记录;最后状态28,重新使用相同初态与规则可得到相同序列。

怎样独立检查

不用逐步递推,也能把第若干步状态写成初态乘系数的相应次方,再加各次增量贡献之和,最后统一取余。两种方法逐步核对状态和动作编号。

同一初态只有在规则、更新次数和调用顺序也相同时才会重放一致。如果额外调用一次,后面的选择就会移动一位。本例的状态应与其他回放信息一起理解,不能仅凭某一个动作相同判断两次运行完全相同。

练习时先保存原始输入及中间结果,再只改变一个条件观察差异。重点检查空状态、相同数值、恰好到达边界和最后一步。不要为了凑出相同的最终结果而忽略较早出现的偏差,过程和结论都应能由同一套规则解释。