Roomshade · 思考的食粮
每一道 Roomshade 谜题都建立在四条约束之上，它们协同工作，产生唯一而不可回避的解。
本文以英文撰写和编辑。此中文版本由机器翻译生成；凡涉及准确性之处，以英文原文为准。 阅读英文原文 →
一道 Roomshade 谜题始于一张空白网格，由粗线分割成若干矩形房间。有些房间标有数字，另一些则留空。玩家的任务，是在每个带数字的房间中恰好涂黑相应数量的格子，同时遵守另外三条贯穿整张棋盘的约束。这四条规则——每房间计数、相邻限制、连通性要求和跨房间直线限制——并非各自为政。它们构成一个互相咬合的系统：满足其中一条，往往正好创造出满足另一条所需的条件，而违反任何一条，都会让整道谜题失效。3 1
这一设计的优雅，在于每条规则如何约束其余几条。每房间计数规则在局部起作用，只管一个房间边界之内的格子。相邻规则同样是局部的，但它在相邻房间之间建立起关联。连通性规则在全局起作用，要求整片白色区域构成一条连续的通路。跨房间直线规则则沿着可能横跨多个房间的直线起作用。四者合在一起，造出这样一道谜题：局部的推演层层放大为全局的结论，而解并非猜出来的，而是从看清这些规则如何咬合、如何排除掉除一种之外的全部可能中浮现出来的。3
第一条、也是最一目了然的一条规则规定：标有数字的房间必须恰好包含那么多涂黑格。这是谜题的主要线索机制，也是玩家所能得到的、关于每个房间内部的信息。一个大小为三、提示为二的房间，需要恰好两个涂黑格和一个白格。一个大小为六、提示为三的房间，需要三个涂黑格和三个白格。没有标数的房间不受这一约束，不过相邻规则依然为它封顶：它可以从零个涂黑格起，一直到在两两不相接触的前提下其格子所能容纳的最大数量——对矩形而言，就是格子数的一半向上取整。3
仅凭这条规则解不了大多数谜题。举例来说，一个提示为二的 3×2 房间，它的两个涂黑格可以有十五种不同的摆法。这条规则提供了局部信息，却留下了相当大的不确定性。然而，这份不确定性正是其他规则要消解的东西。相邻规则、连通性规则和跨房间直线规则，各自排除掉一些仅在计数规则之下本来可行的摆法。计数规则搭好舞台，其他规则决定哪些演员可以登场。3
第二条规则禁止任意两个涂黑格正交相邻。两个涂黑格永远不能共享一条边；它们只能斜角相接。这条规则造出一种间隔要求，并且会越过房间边界传播。当一个格子被涂黑，它立刻禁止其上下左右的邻格被涂黑，无论那些邻格属于同一个房间还是相邻的房间。这就产生了涟漪效应：涂黑一个格子，可以消去相邻房间里的若干可能，而这又反过来迫使另一些格子必须涂黑或必须留白。1
相邻规则与每房间计数规则结合时尤其有力。设想一个提示为二的 1×3 房间。两个涂黑格不能并排，因此它们只能占据两端，中间那格必须留白：计数规则定下有几个，相邻规则定下是哪几个。反过来，设想一个只允许涂黑一格的房间。相邻规则会限制相邻房间中哪些格子可以涂黑，因为涂黑一个紧挨着那唯一涂黑格的格子就会违规。计数规则与相邻规则之间的这种互动，正是谜题推演的主要起点。3
第三条规则要求所有白格构成一片正交连通的单一区域。也就是说，从任意一个白格出发，只沿上下左右方向、只经过白格，就能到达其他任意白格。这条规则在整张棋盘上全局生效，因而是游戏中最有力的约束之一。它防止白色区域碎裂成彼此隔绝的孤岛——当一圈涂黑格恰好把一小片白格与棋盘其余部分围隔开时，就可能出现这种情况。3
连通性规则在解题后期尤其关键：那时大多数格子已经确定，剩下的问题就是白格是否构成单一连通区域。即使相邻规则允许某些格子涂黑，它也可能强迫这些格子必须留白。举例来说，若涂黑某一格会把一群白格与棋盘其余部分隔断，那一格就必须是白的。这条规则把局部决定变成全局后果，要求玩家在判定一个个格子时，始终对整张棋盘的白色结构保持全局意识。3
Roomshade 真正的力量，来自这四条规则如何协同工作。每房间计数规则提供初始信息，却留下许多可能的摆法。相邻规则通过禁止正交相邻的涂黑格排除掉一部分摆法。连通性规则排除掉会使白色区域碎裂的摆法。跨房间直线规则排除掉那些造出跨越过多房间的白线的摆法。每条规则排除掉的是不同的一批可能，而它们合在一起，排除到只剩一种摆法——那个唯一解。3
这种咬合造就了一道无法靠孤立地满足各条规则来求解的谜题。某一格也许在计数规则和相邻规则之下都可以，却被连通性规则禁止。另一格也许满足相邻规则，却造出一条违反跨房间直线规则的白线。玩家必须不断同时核对全部四条规则，并意识到基于某一条规则得出的推演，可能在另一条规则之下制造出新的可能或新的约束。这正是这道谜题推演的精髓：追踪每条规则的后果如何在整张棋盘上传播。3
Roomshade 谜题有三种标准尺寸：小（5×5）、中（6×6）和大（7×7）。这些尺寸影响谜题的复杂度，但不影响规则本身。5×5 网格的格子数与房间数都少于 7×7，因此求解通常需要更少的推演步骤。不过，无论尺寸如何，谜题的基本结构保持不变。3
每个房间都是一个矩形，两个方向上的边长都在一到三格之间。于是房间从 1×1 的单格一直到 3×3 的九格都有。房间的尺寸以一些有趣的方式影响规则的运用。提示为一的 1×1 房间必须涂黑；提示为零的 1×1 房间必须留白。提示为五的 3×3 房间需要五个涂黑格和四个白格，而相邻规则只留下恰好一种摆法：四个角加正中心。房间尺寸与提示数值结合，构成了规则必须由之产生唯一解的初始条件。3
有些房间会显示它的提示数字，另一些则是空白。空白提示意味着该房间没有每房间计数约束：它可以包含任意数量的涂黑格，从零个一直到在两两不相接触的前提下其格子所能容纳的最大数量。空白房间仍要遵守相邻规则、连通性规则和跨房间直线规则，只是不为谜题贡献数值约束。3
空白房间的存在为谜题增添了一层复杂度。没有数值约束，玩家必须完全依据另外三条规则来判定空白房间里该涂黑哪些格子。这需要仔细分析：在空白房间中涂黑格子会如何影响相邻房间以及全局的白色结构。空白房间可以充当带数字房间之间的连接件，让白色通路在它们之间流动；也可以被涂黑格填满，用来堵住不需要的白线。空白房间与带数字房间之间的互动，是 Roomshade 设计中的关键一环。3
Roomshade 的美，在于局部推演如何层层放大为全局结论。棋盘一角的一个涂黑格，可以通过规则之间的咬合效应，决定许多房间之外那些格子的状态。相邻规则在局部传播，禁止涂黑格的邻格被涂黑。连通性规则在全局传播，要求整片白色区域保持连通。跨房间直线规则沿着直线传播，禁止跨越过多房间的白格连续段。1
这种传播造就了这样一道谜题：随着新信息不断出现，玩家必须不断更新自己对棋盘的理解。一个曾经含糊不清的格子，可能在相邻某格被确定之后变成被迫的。一个看似有多种合法布局的房间，可能在用上连通性规则后被压缩成唯一一种摆法。解并非来自某一次灵光乍现，而是来自反复运用这四条规则、直到每一格都被确定的累积效果。3
每一道 Roomshade 谜题都恰好只有一个解。这种唯一性并非偶然，而是由谜题的构造方式所保证的。用于生成谜题的回溯求解器会验证：只有一种涂黑方案能同时满足全部四条规则。这种确定性对谜题的设计至关重要：如果可能存在多个解，这道谜题就会被判为无效。玩家的任务是通过推演、而非通过猜测，找出那个唯一解。3
谜题的确定性意味着，每一步有效的推演都必须是确凿无疑的。如果某一格能通过规则判定为涂黑或留白，那么它在唯一解中就是涂黑或留白的。如果某一格的状态不靠猜就无法确定，那么要么谜题尚未解完，要么玩家还没有找到正确的推演。这一点把 Roomshade 与那些依赖试错的谜题区分开来：每一格的判定都必须从规则以及已经确立的信息中逻辑地推出。3