游戏规则研习：双开关同时有效的时间段（案例18）

两只开关分别点亮一段时间时，门真正可用的是两段有效时间的交集。每只开关都曾经亮过，并不能保证它们有同时亮着的时刻。

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

约定与输入

每组数据独立，开关只触发一次，不会自动延长。开始时刻包含，结束时刻不包含；一只恰好熄灭时另一只才亮起，公共持续时间为零。

共同开始取较晚的起点，共同结束取较早的终点；两者之差为负时按零处理。

每组依次为甲起点、甲时长、乙起点、乙时长 [[1, 4, 12, 2], [7, 7, 14, 2], [7, 6, 12, 4], [17, 6, 1, 3], [14, 4, 7, 2], [3, 6, 4, 10], [11, 6, 11, 6], [20, 3, 17, 2], [17, 6, 6, 5]]

逐步观察

甲[1,5)，乙[12,14)：公共起点候选12，结束候选5，实际共同有效0秒。没有共同窗口。

甲[7,14)，乙[14,16)：公共起点候选14，结束候选14，实际共同有效0秒。没有共同窗口。

甲[7,13)，乙[12,16)：公共起点候选12，结束候选13，实际共同有效1秒。公共窗口存在。

甲[17,23)，乙[1,4)：公共起点候选17，结束候选4，实际共同有效0秒。没有共同窗口。

甲[14,18)，乙[7,9)：公共起点候选14，结束候选9，实际共同有效0秒。没有共同窗口。

甲[3,9)，乙[4,14)：公共起点候选4，结束候选9，实际共同有效5秒。公共窗口存在。

甲[11,17)，乙[11,17)：公共起点候选11，结束候选17，实际共同有效6秒。公共窗口存在。

甲[20,23)，乙[17,19)：公共起点候选20，结束候选19，实际共同有效0秒。没有共同窗口。

甲[17,23)，乙[6,11)：公共起点候选17，结束候选11，实际共同有效0秒。没有共同窗口。

各组共同有效时长[0, 0, 1, 0, 0, 5, 6, 0, 0]。

复核办法

可把每个整数时刻是否处于两段区间分别标出来，再数两者都有效的单位时间。两个区间只接触端点时，不能凭端点相同就多算出一秒。

实际解谜还可能要求保持门开启直到角色离开。应先得到共同窗口，再把角色的操作或移动时长与窗口比较，不能只看到有一瞬间重合就认定足够通过。

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