逻辑推理谜题攻略：六类线索的强弱、为什么先标 ●，困难档怎么分情况（2026）

1. 十八道题、三种形状、每道唯一解

题库是固定的，跟着页面一起发：运行时不再生成题目，每一道在冻结前都证明过唯一解。

类别是人物、颜色、宠物，中等起加入饮料。简单去掉饮料；困难多一间房。难度阶梯就这些：中等多一张网格，困难多一间房。

两个数字决定这套题。第一，线索是最小的：全库 211 条，删掉任意一条都会留下至少两个解（探针数到中位数 8，计数上限 500）。没有装饰性线索。第二，构成很偏：left 58、next 52、right 33、same 29、diff 25、notnext 14。211 条里只有 32 条落在同一个类别内部，是「Alice 在 Bruno 左边」这类顺序线索；另外 179 条连接两张不同网格，same 和 diff 永远如此。

每个类别都是房子的一种排列。五间房的题里，每张网格一共五个 ●，每行一个、每列一个，同一行或同一列不会有两个。

2. 第一次点击是 ●，它替你划掉六格或八格

一个格子有三种状态，build 的循环顺序是：

1. 第一次点击 → ●（为真），同时自动划掉这一行（同一间房）和这一列（同一个物品）的其余格子；
2. 第二次点击 → ✕（不可能为真）；
3. 第三次点击 → 空白。

游戏里的规则页至今写着「点一次是 ✕，点两次是 ●」。那句话是旧的：js/main.js 的代码第一次点就是 YES，第二次才是 NO。信格子，别信那句话——你认为是真的点一次，要排除的点两次。

自动划线是这页上最值钱的功能。标一个 ● 会写 2 × (房子数 − 1) 个叉：4 间房是 6 格，5 间房是 8 格。也就是：

4×4 的网格四次就能填满，因为叉把剩下的做完了。手点一个 ✕ 只消掉一格，对页面来说什么也没证明；一个你确定的 ● 一次消掉六到八格。「先标 ✕」在这里显得慢，原因就是这个，哪怕推理本身没差别。

撤销按一次操作算，不按格子算：一次点击画了 ● 和六个叉，是一步。点错格子出了 ●，第二次点击会把它变成 ✕，但那些叉还留着——干净的回退是「撤销」，不是连点两下。

3. 六类线索，按「一次落位买到什么」排序

六种都是关于房号的真话，从左往右数。下表量的是先放好其中一端之后，这条线索还剩多强——另一端还能落在几间房。

表里有两个结果值得停一下。

空盘上，六类里有四类什么都不做。 same、diff、next、notnext 是有条件的：一端有了房号，它们才开始收窄。空盘上能消掉落位的只有 left 和 right，而且也只消掉 64 里的 2 个（困难是 100 里 2 个）。所以一题的第一手几乎总来自顺序线索：另外四类在有人被钉住之前都在睡觉。

一端落位之后，强弱很清楚。 same 正好给出一个房号，是全库最强的单条线索。next 给一个或两个，只有落位在两端时才是一个。diff 给 3（4 房）或 4（5 房），单用很弱。notnext 最弱：4 房剩 2–3，5 房剩 3–4。它的作用是杀掉一个具体落位，不是撑起一段推理。

一个会改变答案的措辞细节：「不是隔壁」指至少隔两间房。build 判的是 |a − b| > 1，所以同一间房也不满足。而第一间或最后一间房的「隔壁」只有一侧，所以 next 那一列写 1–2 而不是 2。

构成跟着难度走。困难 94 条里有 30 条 next（31.9%），简单 51 条里 11 条（21.6%）。越难的题越依赖相邻关系——它最快钉住第二个格子。

4. 三号房在每张网格里都是同一间房——但自动划线只在一张里

每个类别有自己的网格：左边是 1 到 4（或 5）号房，上面是该类别的物品。房号是连接键：三号房在人物、颜色、宠物、饮料里是同一间。在一张网格里学到的事实，对所有网格都成立——四张比一张快，原因只有这个。

但要说清自动化的边界。build 的自动划线只作用于一张网格：标一个 ● 只在那一张的行和列写叉，别处不动。另一类别的网格什么都不变。跨网格的推理是线索干的，这就是 211 条里 179 条都提到两个不同类别的原因。

所以实用的读法顺序是：

1. 网格内部：某行只剩一个空格，那就是剩下的物品；某列同理。落下的 ● 会顺手划掉自己那行和那列。
2. 网格之间：线索是桥。「Chen = 3 号房」加上「猫在 Chen 隔壁」，猫就在 2 号或 4 号房——这一步跨了网格，只有线索授权。
3. 没有线索就不跨网格。 两张不同网格在同一列号上各有一个 ●，彼此没有任何含义；排列约束是按类别算的，不是类别之间。

四张网格也不是四倍的活，原因同样在这里：每张都小，线索是它们之间的接线。

5. 简单和中等是纯传播，困难不是

「困难」不是稍微紧一点的中等，是另一种状态。探针在空盘上量这个差别：让 build 的传播器从零开始跑，数它在停下前能钉住 20 格里的几个。

简单和中等把每一格都钉住：12 中 12、16 中 16，一次分叉都不用。困难六题里有五题只钉住零到三格，也就是说开局没有任何必填格。#18 是例外：传播就能做完，表现得像多一间房的中等题。

最后一列是「每次都分最窄的格子」时最少的嵌套决策次数，从 1 到 7——所以「分一次情况」是下限，不是规律。分得不好就要分好几次。

6. 划算的那种分情况

分叉是一个可以撤销的假设：挑一个只剩两个候选的格子，给其中一个点 ●，让自动叉铺开，然后接着推。你不是在猜答案，你是在试哪一支能活。

测量说明这个试法很便宜——前提是切点选得好。

中间那列读作「假假设多快会死」：#13–#15 有 85–91% 的假落位一次传播就被否掉；#16 和 #17 掉到 43–46%，这正是这两题要分到五次、七次的原因。

和 build 对齐的流程：

1. 先找必填格。 某行、某列，或者一条 same／next 已经钉住东西，就直接用，不需要假设。
2. 没有就分最窄的格子——两个候选的，不是四个。
3. 给一个值点 ●，让叉落下，从变了的地方继续推。
4. 在这一支写了几个标记之后按 Check。 如果线索通道报矛盾，这一支死了：撤销回分叉点，取另一个值。
5. Check 不吭声不等于证明。 它只说明你的标记还没和线索矛盾（见第 8 节）。

这里该用「撤销」，不是「重开」：撤销能往回走最多 200 次操作，重开却会清掉计时、提示次数和所有标记。分到一半放弃，是两三次撤销，不是丢一道题。

7. 提示：两个模式，和困难档的注意事项

提示永远只标一个 ●，也永远计入 HUD。标哪一格，取决于你自己的标记能证明什么：

• 可推。 build 从你的标记跑传播，再做一遍一步反证。找到能推出的格子时，浮层末尾会带 「(deducible)」。
• 兜底。 你的标记什么都证明不了时（实际上就是和线索矛盾，或者剩下的格子全都不确定），build 读存档解，直接亮一个真格子。浮层没有后缀。

简单和中等的第一种模式永远有东西给：只按提示玩，这十二题分别用 12 次和 16 次点击解完，从来没有写过错标。代价是星级：三星要求零提示，两星允许一次，两次以上只剩一星。

困难档在这个 build 里有实打实的问题。那遍一步反证返回的是它刚刚否掉的值，提示却把这个值标成 ●。结果可测：只按提示玩 #13–#17，会停在 21 次点击，盘上正好一个错标；第一次错提示分别出现在第 2、4、1、1、1 次。#18 是干净的。浮层照样写「(deducible)」，因为代码相信自己证明了这一格。

今天能做的：

• 困难档每次按完提示就按 Check。 解通道能抓住每一个错标（100%，第 8 节），卡片会报数量。
• 被点出来就先撤销这次提示再往下走。 一次撤销会带走 ● 和它的叉。
• 想做完的困难题别叠提示。 每次提示掉一颗星，而且六题里有三题第一次提示就要修。

这是 build 的缺陷，不是这个玩法的规矩，已经在修。本页其他内容都是同一套测法：如果这里的说法和页面不一致，以页面为准。

8. Check 的两个数字在回答不同的问题

Check 报两种不同的错误，可靠度不一样。

• 解通道数的是和冻结答案不一致的标记：真格子上打了 ✕，或假格子上打了 ●。探针把全库每一个错标都试了一遍——288 个错 ✕、984 个错 ●——这个通道两种都抓 100%。
• 线索通道从你的标记跑传播，报出矛盾。288 个错 ✕ 抓住 220 个（76.4%），984 个错 ● 抓住 890 个（90.4%）。

实用读法：「没有错标」是真正的放行，「没有矛盾」不是。 Check 说标记干净，就是和唯一解对上了；只说没和线索矛盾，你学到的是「这个局面还有可能」，不是「这个局面是对的」。所以分叉之后 Check 不吭声是弱证据，Check 叫了才是这一支已死的强证据。

措辞也要看。「有 N 个标记与解不符」是解通道；「它们还与线索矛盾」是线索通道。只拿到第一句时，标记是错的，但你的推理不一定被毒掉了——改掉这个标记，接着走。

9. 星级、计时，以及刷新之后还剩什么

没有时限，也没有步数限制。计时从第一次点击或第一次提示开始（谁先算谁），存在的意义是胜利卡片和最好成绩。

• 星级： 零提示三星，一次提示两星，两次及以上一星。别的都不影响。
• 最好成绩按题目 id 存在这个浏览器里，只有解出来时才写。
• 进度每次点击后保存；用 ◀ / ▶ 回到那道题或者刷新都会恢复。离开页面的时间不计入计时。
• 重开把同一题从零载入：计时 0:00、提示 0、标记清空。题目本身不变。
• 胜利条件： 每张网格的每一行正好一个 ●，且与解一致。判定只读 ●，你打的 ✕ 永远不会挡住卡片。
• URL 钉题： ?puzzle=7 开 #7，?puzzle=hard 开 #13，?tier=easy 开 #1。1–18 之外的数字回落到 #1。难度芯片按 简单 → 中等 → 困难 循环，永远跳到该档第一题（1、7、13）。
• 键盘： U 撤销、H 提示、C 检查、R 重开、Esc 关规则。

HUD 依次显示 #7/18、4×4（房子 × 类别）、计时、提示次数。做完的网格会在面板上出现「done」，这是按类别的信号：四块都 done 也只说明每行都有 ●，只有每个 ● 都正确才算解出——那正是胜利条件检查的东西。

10. 常见错误，和一分钟检查表

这套 build 里最费时间的几个错：

1. 手点 ✕。 两次点击只消一格。一个 ● 消六到八格，还让网格保持自洽。
2. 把 notnext 读成「只有一侧不是隔壁」。 它排除两边邻居和同一间房；在边缘剩五间里的三间，在中间剩两间。
3. 先分叉，后找必填格。 只剩一个空格的行、或者一端已落位的 same，都是免费信息。
4. 把不吭声的 Check 当成正确分支。 它只排除矛盾，而且只排除传播能看见的那些。
5. 困难档早早用提示。 掉星，而且 #15–#17 的第一次提示还得撤销。
6. 用「重开」去清一条坏分支。 撤销能退回整个操作；重开连计时和提示次数一起扔了。

卡住时的一分钟检查表：

• 有没有只剩一个空格的行或列？填掉。
• 有没有一端已经落位的线索？套第 3 节的表。
• 有没有一端已落位的 same？那是免费的第二个 ●。
• 一个必填格都没有？分最窄的格子，点 ●，再按 Check。
• Check 报矛盾？撤销这一支，取另一个值。

FAQ

逻辑网格谜题是什么？

逻辑网格谜题给你一排房子和几个类别——人物、颜色、宠物、饮料——每间房每个类别正好放一个物品。一串为真的线索把物品关联起来，你按类别填网格，直到每间房都被确定。同样的形式在别处卖作斑马谜题或爱因斯坦谜题，那是品类名，不是商标。这个 build 有 18 道：简单 4 房 3 类，中等 4 房 4 类，困难 5 房 4 类。

在线逻辑谜题怎么解才不用猜？

按 build 奖励的顺序。先用顺序线索（left、right）——空盘上只有它们能削掉东西。然后把每个推论标成 ●，让自动叉一次消掉六到八格。简单和中等纯传播就能解：十二题都不需要假设就把每格钉住。困难不行：六题里有五题从空盘最多钉住二十格里的三格，所以至少分一次情况；选得不好要嵌套到七次。

这些逻辑谜题免费吗？要注册吗？

免费，不用。18 道题随页面加载，不下载、不注册、不走服务器往返。进度和最好成绩存在这个浏览器的本地存储里，跟着浏览器走，不跟账号。

一道题要多久？

build 没有时限，也没有记录基准时间，所以老实说：看难度，也看你在纸上写多少。能测的是最少的操作量：简单 12 个 ●，中等 16 个，困难 20 个，外加叉。最好成绩按题保存，那比这里写的任何数字都更适合当目标。

这个游戏里的「隔壁」是什么意思？

相邻的房子，间隔 1。第一间或最后一间房只有一侧有邻居，所以线索对另一端的可能答案从两个变成一个。「在左边」「在右边」用房号：左边是更小的号。

「不是隔壁」允许同一间房吗？

不允许。build 判的是两间房相隔大于 1，所以同一间房也不满足。四间房时这条线索在一端落位后还剩两到三间；五间房时剩三到四间。它是全库最弱的类型——211 条里 14 条——通常只是为了杀掉一个具体落位。

为什么提示标的格子，Check 又说是错的？

这是这个 build 的已知缺陷，只在困难档出现。提示的推导那一步本该证明一个格子；在需要一步反证的困难题里，它返回刚刚被否掉的值，并把这个值标成 ●。实测：只按提示玩 #13–#17，会以正好一个错标收场，第一次出错分别在第 2、4、1、1、1 次提示；#18 和所有简单／中等题是干净的。补救办法是 Check → 撤销，修复已经在清单上。如果提示和你信得过的推论冲突，留你的推论。

困难题能不用猜就做完吗？

能，如果「猜」指的是没验证过的答案。分叉是一个你去检验的假设：点一个值、往下推、让 Check 在线索矛盾时杀掉这一支。#13–#15 里 85–91% 的假落位一次传播就死，所以试起来通常很便宜；#16 和 #17 只有 43–46%，所以这两题可能要分好几次。

手机上能玩 Logic Grid 吗？

能。无头 harness 会在两个生产舞台（348×261 和 894×670）以及一个手机视口里排版并检查，还跑真实触摸点击。窄舞台上网格在自己的面板里滚动，线索列表在上面；桌面舞台上线索在网格旁边。点击目标是整格。

逻辑网格谜题的最佳策略是什么？

三条规则覆盖大部分。标「真」（●）而不是标「假」，因为叉是免费来的。第一分钟花在 left／right 上，另外四类在空盘上什么都不做。排除走不动时，分最窄的格子——两选一，不是四选一——然后 Check，矛盾就撤销。除此之外没有通用的解题顺序：线索按题冻结，18 道题的混法各不相同。