Murdoku 候选推理
强制占位与锁定候选
当一个位置之外的所有选择都会违反至少一条有效规则时，落位才是强制的。这个“强制”可能属于某个人、某一行列，或一组被锁定的候选，并不只来自一句直给线索。
- 寻找目标
- 单候选、单归属或锁定集合
- 必要习惯
- 落位前先写候选
- 安全规则
- 能说出每个排除的依据
三种强制
某人只剩一个合法格，是人物强制；某格只有一人可以使用，是格子强制；N 个人只被限制在同一组 N 个格中，则形成锁定集合。
第三种暂时不能决定具体次序，却能立刻把其他人从这些格中排除。
每次确定后都要传播
放下一名嫌疑人后，要为其他所有人划掉整行和整列，再重新检查受该格影响的区域、物品和方向线索。
- 更新全部候选表，不只看下一张卡。
- 检查是否出现新的单候选。
- 检查某行或某列是否只剩一名可进入的人。
原创教学示意图 原创示例：锁定对子
A 或 BA 或 B
锁定对子其他人排除继续传播 ↻
先证明，再落位
如果理由只是“这个格看起来最像”，就仍应保留为候选。可靠的记录应该类似：B 不能在 C1，因为该列已占；不能在 C3，因为不满足植物以南；所以 C2 被强制。
这条简短证据链可以阻止一次早期猜测污染整个棋盘。
强制落位检查表
- 列出所有未定嫌疑人的候选。
- 套用已经占用的行列。
- 寻找单格人物和单归属格。
- 把 N 人 N 格标为锁定，但不要擅自决定顺序。
- 每次落位后更新整盘。
常见错误
- 把候选对子当成已经确定的两个落位。
- 落位后只更新一张线索。
- 不记录矛盾来自哪条规则就直接试错。
强制占位常见问题
强制占位是额外的官方规则吗？
不是，它是把普通线索、行列和区域约束合并使用的解题技巧。
锁定对子里可以先随便放一个吗？
不可以，要等另一条约束区分两个格；锁定只负责排除外人。
没有任何强制落位怎么办？
保留候选集合，寻找被少数人共享的行、列、区域或线索。
继续学习
来源
murdoku.fans 原创教学图，字母和格子均为通用示例。
