1. 三维美杜莎
1.1. 原理
因为
- 对于数字
X的[[共轭对]],或者双值格的 2 格候选- 分别标记为颜色
Color+和Color- - 2 种颜色有且仅有 1 种成立
- 分别标记为颜色
- 对于
Color+推理成立的其他格的候选,也标记为颜色Color+ - 对于
Color-推理成立的其他格的候选,也标记为颜色Color-
所以
- 推论一:
- 若 1 个单元格
Cell1中,存在 2 个同色异数候选- 假设颜色为
Color+
- 假设颜色为
- 则:
Color+标记的候选都不成立Color-标记的候选都成立
- 若 1 个单元格
- 推论二:
- 若 1 个区域
Region2中,存在 2 个单元格,同色同数格候- 假设
Cell21有Color+的候选数XCell22有Color+的候选数X
- 假设
- 则:
Color+标记的候选都不成立Color-标记的候选都成立
- 若 1 个区域
- 推论三:
- 若 1 个单元格
Cell3中,存在 2 个异色异数候选- 假设有
Color+的候选数XColor-的候选数Y
- 假设有
- 则:
Cell3必不填入除XY以外的数字
- 若 1 个单元格
- 推论四:
- 若 2 个单元格
Cell41、Cell42中,存在 2 个异色同数候选- 假设
Cell41有Color+的候选数XCell42有Color-的候选数X
- 假设
- 则:
Cell41和Cell42的共同影响区域必不填入数字X
- 若 2 个单元格
- 推论五:
- 若 1 个区域
Region5中,存在 2 个单元格,异色异数格候- 假设
Cell51有Color+的候选数XCell52有Color-的候选数Y
- 假设
- 则:
Cell51必不填入数字YCell52必不填入数字X
- 若 1 个区域
- 单色不成立,矛盾:
- 推论一
- 推论二
- 双色同时不成立,矛盾:
- 推论三
- 推论四
- 推论五
1.1.1. 技巧拓展
- [[复合色链]]:拓展分析数的数量
- 1→9