代入唯一矩形的命名

Naming System of Unique Rectangle + n

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

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

标准命名规则

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

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

就比如上一节里 UR + 4x/2SL 的这个例子里，假设 r7c6 没有 1、8、9，也不影响推理，因为推理过程压根用不上这些数字。但是算的时候是要算在其中的，所以仍然是有 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：三个共轭对里其中数字相同的两个共轭对平行。

最后更新于3天前