3D Medusa 是多数字染色法:把相连的候选数涂成两种颜色,再让矛盾替你完成推理。简单染色法只追踪一个数字;Medusa 同时追踪所有数字,所以能攻克单数字染色无从下手的局面。
Medusa 群组是由候选数而不是格子组成的网络。每个节点是某个格里的某个数字,当两个节点中恰好有一个为真时,它们就被连起来:
任选一个起始候选数,染成颜色 A,它的搭档染成颜色 B,然后沿着所有能到达的链接交替染色。群组不再扩大时,你就有了两种颜色,其中恰有一种全部为真,另一种全部为假。
| 简单染色法 | 3D Medusa | |
|---|---|---|
| 每个群组的数字 | 一个 | 任意多个 |
| 使用的链接 | 仅双位置 | 双位置和双候选数 |
| 节点 | 格 | 候选数 |
| 排除规则 | 2 | 6 |
当唯一数、数对和 Wing 都用尽,盘面上满是双候选数格时,就该找 Medusa。这些格就是燃料:恰有两个候选数的格越多,群组扩散得越远。两三个相连的双候选数格加上一个共轭对,就足以开始。
六条规则,各用一句话:
这个局面以规则 6 收尾。宫 1 有五个双候选数格:A1 、A2 、B2 、B1 和 C1 。看颜色如何从 A1 扩散,其中 3 是颜色 A,9 是颜色 B。
链先穿过宫 1 的双候选数格,再经过 9(列 1 到 H1)、4(列 2 到 E2,在行 E 中穿过 E2 和 E3,再沿列 3 到 H3)、3 和 6。一共有 27 个候选数被染色。格 H8 没有染色,含有 2、4 和 9。它通过列 8 看到 C8 里颜色 A 的 2,通过行 H 看到 H3 里颜色 A 的 4 和 H1 里的 9。如果颜色 A 为真,H8 就没有候选数了,所以颜色 A 为假,颜色 B 为真。
颜色 A 的全部 16 个候选数都被删除:C8 和 D6 的 2,A1、C6 和 D5 的 3,B1、E2 和 H3 的 4,B7、C1 和 J8 的 6,A5 和 B2 的 8,A2、E3 和 H1 的 9。颜色 B 的格中有十个只剩下一个候选数。注意这条链跨越了数字 2、3、4、6、8 和 9:单数字方法永远不会把 A1 和 H8 联系起来。
其他规则遵循同样的逻辑,这个盘面没有展示。例如规则 4 会删除同时看到自身数字两种颜色的候选数:两者之一必为真,所以该候选数不可能成立。
3D Medusa 属于魔鬼技巧。它最早在专家题目中变得必要,那里链和多数字逻辑取代了图形识别。更低的难度下,几乎总能用更省力的规则得到同样的排除,所以先试唯一数、数组和 Wing。