代入唯一矩形的命名

Naming System of Unique Rectangle + n

好了。我想我已经充分说到了应该说的内容。下面我们来提一下它的命名。

命名规则算是比较麻烦的地方,因为我们这里并不是考试,所以不需要你记住它,我自己也记不住,但是可以用于拓展阅读。搞清楚怎么推理的就行。

标准命名规则

它的完整命名是使用单元格数量和共轭对数量搭配的,即“唯一矩形 + <单元格数>/<共轭对数>SL”。其中 SL 是 Strong Link 的缩写,即强链。

然后,透过现象看本质。数一数结构有多少个单元格可以含有唯一矩形用不到的数字,比如说有一个唯一矩形用 2 和 5 形成矛盾,但是有其中三个单元格含有别的数字(不是 2 或 5 的数),那么我们就可以称为 UR + 3。不过这里要注意一点的是,这个含有非 2 和 5 的数字不一定需要满足。比如有个单元格它因为一些原因没有其他的数字,但它原本是可以有的(就算有也不影响推理),那么它也可以纳入这里的计算。

UR + 4X/2SL

就比如这个 UR + 4X/2SL 的例子里,因为我们知道推理过程之中,r9c5 唯一的作用是和 r9c6 搭配 8 的共轭对。这也就是说,r9c5 即使含有除了 7 和 8 以外的候选数,这个结构仍然是成立的——因为这些多出来的候选数并不会真正影响推理过程。所以,在这个例子里,我们需要数出来哪些单元格可以包含额外的、非唯一矩形使用的数字,也不影响推理。它有几个,那么这个结构就叫 UR + 多少。比如这个例子 r9c5 显然可以允许增加额外的数字,而 r3c56r9c6 客观存在其他的数字,所以整个结构 4 个单元格全都允许有跟唯一矩形无关的数字出现,故这个结构分类为 UR + 4。

额外规则

可以看到,在每一个例子的图片下方,我都写上了它的归类名称,其中名称的数字后面还跟了一个字母,有大写也有小写。这个规则会稍显复杂一些,所以就不用死记硬背了。这里列举一下他们。

  • UR + 2

    • B:双值格位于同一侧;

    • D:双值格位于对角线上;

  • UR + 3

    • 1 个共轭对

      • x:搭配的数组形成只需要依赖于共轭对的一头;

      • X:搭配的数组形成需要共轭对两头要同时作用;

    • 2 个共轭对

      • N:共轭对垂直,起始假设的单元格和双值格同侧,和两个共轭对汇集的单元格同侧(互相看得见);

      • U:共轭对平行,起始假设的单元格和双值格同侧(互相看得见);

      • X:共轭对垂直,起始假设的单元格和两个共轭对汇集的单元格处于对角线关系(看不见);

      • E:共轭对平行,起始假设的单元格和双值格处于对角线关系(看不见);

  • UR + 4

    • 1、2 个共轭对

      • x:搭配的数组形成只需要依赖于共轭对的一头;

      • X:搭配的数组形成需要共轭对两头要同时作用;

    • 3 个共轭对

      • C:三个共轭对里其中数字相同的两个共轭对垂直;

      • X:三个共轭对里其中数字相同的两个共轭对平行。

最后更新于