grid_on

Sudoku Clean 素数独

技巧文档 / 超链

超链

前置知识: X链 、 标准链(AIC) 你会在这些技巧里用到它: 超 X链 、 超标准链(AIC)

大师

超链

前置知识:X链标准链(AIC)
你会在这些技巧里用到它:超 X链超标准链(AIC)

描述

普通的链(X链 / XY链 / 标准链)里,我们把“一个节点”理解成:

  • 某个格子里的某个候选数字(例如 r1c1 中的候选数字 7)
  • 或者 一个双值格的二选一(格子里只剩 2 个候选数)

超链(也叫“分组链”)多了一种节点:候选组

候选组的意思很直观:
在推理时,我们把“同一个 house 里的一组候选位置”当成一个整体来看待—— 你不需要立刻知道“到底是哪一格为真”,只要知道:

这组格子里,一定有一个位置会落下这个数字。

在我们的 UI 里,这种候选组会用黄色虚线框圈起来(像一个“组合节点”)。


详解

超标准链(示例)

先看上图:这是一个超标准链的例子。
重点请看第 2 宫里,被黄色虚线框圈起来的 r1c6、r2c6、r3c6

在普通链里,这三个格子会被当成三个独立的点;
但在超链里,我们会把它们当成一个“候选组节点”来参与推理:

  • 当链推导出“这个组为真”时,含义是:
    在这三格里,必然有一格会落下这个数字(但暂时不必确定是哪一格)
  • 当链推导出“这个组为假”时,含义是:
    这三格都不可能是这个数字

为什么这样做是合理的?因为链在很多时候只需要用到“整体效果”:

  • 对外部格子来说:只要它能同时看见这组三格,那么
    这组三格里无论哪一格为真,都一样会产生冲突
  • 对链的传导来说:把这组三格视作一个节点后,链就能继续保持强弱交替向前推理

这就是超链和普通链最关键的区别:
节点不止是“一个候选”,也可以是一“组候选”。


例子

下面两张图是其它超链例子,你可以先直接把虚线框当成“一个大节点”去看:

超链示例 A

超链示例 B


如何寻找超链?

一句话:先按普通链去找强弱交替;如果你发现链卡住了,再看看能不能把一组候选“打包成一个节点”。

在游戏里你可以按这个顺序做:

  1. 先用 X链 / 标准链的思路去找强链、弱链
  2. 当某个数字在某个 house 里“落点不止两处”,但这些落点又能被自然地圈成一组时(UI 会用虚线框提示),就可以把它当成候选组节点
  3. 把候选组当成一个节点继续连接,让链保持强弱交替
  4. 超 X链 / 超标准链(AIC)本质上就是:在原有链的基础上,允许出现这种“候选组节点”