> For the complete documentation index, see [llms.txt](https://sudoku.kazusa.tech/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://sudoku.kazusa.tech/construction/01-unique-rectangle-construction/03-naming-system-of-ur-plus-n.md).

# 代入唯一矩形的命名

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

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

## 标准命名规则 <a href="#standard-naming-rules" id="standard-naming-rules"></a>

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

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

<figure><img src="/files/HxODbbgjx3IsUDRgxmst" alt="" width="375"><figcaption><p>UR + 4X/2SL</p></figcaption></figure>

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

## 额外规则 <a href="#extra-rules" id="extra-rules"></a>

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

* UR + 2
  * B：双值格位于同一侧；
  * D：双值格位于对角线上；
* UR + 3
  * 1 个共轭对
    * x：搭配的数组形成只需要依赖于共轭对的一头；
    * X：搭配的数组形成需要共轭对两头要同时作用；
  * 2 个共轭对
    * N：共轭对垂直，起始假设的单元格和双值格同侧，和两个共轭对汇集的单元格同侧（互相看得见）；
    * U：共轭对平行，起始假设的单元格和双值格同侧（互相看得见）；
    * X：共轭对垂直，起始假设的单元格和两个共轭对汇集的单元格处于对角线关系（看不见）；
    * E：共轭对平行，起始假设的单元格和双值格处于对角线关系（看不见）；
* UR + 4
  * 1、2 个共轭对
    * x：搭配的数组形成只需要依赖于共轭对的一头；
    * X：搭配的数组形成需要共轭对两头要同时作用；
  * 3 个共轭对
    * C：三个共轭对里其中数字相同的两个共轭对垂直；
    * X：三个共轭对里其中数字相同的两个共轭对平行。