# 代入唯一矩形的命名 好了。我想我已经充分说到了应该说的内容。下面我们来提一下它的命名。 > 命名规则算是比较麻烦的地方，因为我们这里并不是考试，所以不需要你记住它，我自己也记不住，但是可以用于拓展阅读。搞清楚怎么推理的就行。 ## 标准命名规则 它的完整命名是使用单元格数量和共轭对数量搭配的，即“唯一矩形 + <单元格数>/<共轭对数>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` 显然可以允许增加额外的数字，而 `r3c56` 和 `r9c6` 客观存在其他的数字，所以整个结构 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：三个共轭对里其中数字相同的两个共轭对平行。 --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://sudoku.kazusa.tech/construction/01-unique-rectangle-construction/03-naming-system-of-ur-plus-n.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.