游戏规则研习：多个节奏周期再次同步（案例03）

几个提示灯都从零时刻亮起、之后按各自周期重复时，再次一起亮的时刻由共同倍数决定。周期的简单相加或取最大值，通常都不能保证同步。

下面给出一组可以从头复算的练习数据。先按约定记录每一步，再比较最后的核对条件；遇到差异时，不急着修改答案，而是先找出从哪一步开始不同。本例描述的是明确限定的游戏规则模型，不代替某款作品自己的说明。

约定与输入

每个提示只在整秒触发瞬间亮一次，不持续占用时间，也没有起始偏移。这里求零之后第一次同步；如果起始时刻不同，需要重新判断，不能直接沿用同一公式。

再次同步必须同时是三个周期的倍数；用最小公倍数取最早正时刻。

三个周期[7, 8, 9]，零时刻一起触发 观察时刻[0, 15, 162, 312, 386, 471, 477, 504, 598, 610, 706, 833, 835, 965, 1008]

逐步观察

时刻0，除以周期[7, 8, 9]的余数为[0, 0, 0]，触发情况['亮', '亮', '亮']。

时刻15，除以周期[7, 8, 9]的余数为[1, 7, 6]，触发情况['未亮', '未亮', '未亮']。

时刻162，除以周期[7, 8, 9]的余数为[1, 2, 0]，触发情况['未亮', '未亮', '亮']。

时刻312，除以周期[7, 8, 9]的余数为[4, 0, 6]，触发情况['未亮', '亮', '未亮']。

时刻386，除以周期[7, 8, 9]的余数为[1, 2, 8]，触发情况['未亮', '未亮', '未亮']。

时刻471，除以周期[7, 8, 9]的余数为[2, 7, 3]，触发情况['未亮', '未亮', '未亮']。

时刻477，除以周期[7, 8, 9]的余数为[1, 5, 0]，触发情况['未亮', '未亮', '亮']。

时刻504，除以周期[7, 8, 9]的余数为[0, 0, 0]，触发情况['亮', '亮', '亮']。

时刻598，除以周期[7, 8, 9]的余数为[3, 6, 4]，触发情况['未亮', '未亮', '未亮']。

时刻610，除以周期[7, 8, 9]的余数为[1, 2, 7]，触发情况['未亮', '未亮', '未亮']。

时刻706，除以周期[7, 8, 9]的余数为[6, 2, 4]，触发情况['未亮', '未亮', '未亮']。

时刻833，除以周期[7, 8, 9]的余数为[0, 1, 5]，触发情况['亮', '未亮', '未亮']。

时刻835，除以周期[7, 8, 9]的余数为[2, 3, 7]，触发情况['未亮', '未亮', '未亮']。

时刻965，除以周期[7, 8, 9]的余数为[6, 5, 2]，触发情况['未亮', '未亮', '未亮']。

时刻1008，除以周期[7, 8, 9]的余数为[0, 0, 0]，触发情况['亮', '亮', '亮']。

第一次再次同步是504秒，此后的同步间隔也为504秒。

复核办法

从一秒开始枚举，找到第一个同时能被所有周期整除的整数。它应与最小公倍数一致，其整数倍也都同步；比它小的正数则不应全部满足。

如果只看一小段录像，可能没等到共同触发就结束了。先算出需要观察的时长，再判断是否真的不同步；同时也要确认各提示确实使用同一个起始时刻。

把边界、顺序与适用范围写进记录，比只记一个最后数字更有用。可以另外构造刚好在边界、完全没有变化和多个条件同时成立的情况，查看规则是否仍自洽；若要改变设定，保留原案例作为对照，再重新计算受影响的部分。