可视避矩形-2

什么是可规避矩形2型？

可规避矩形2型（Avoidable Rectangle Type 2，简称AR2）是在AR1基础上的扩展。

与AR1的区别：

• AR1：矩形中有三个给定格和一个空格，空格排除某候选数
• AR2：矩形中有两个给定格（对角分布）和两个空格（另一对角），两个空格各自除候选数A、B外，还共同含有相同的额外候选数C

核心推论：由于唯一性约束，矩形不能仅由A和B构成循环。两个空格中至少有一个必须填C（否则只有A和B参与会产生多解）。因此，能同时看到这两个空格的格子，可以排除候选数C。

解题步骤

1. 识别矩形结构：找到四格矩形，两行两列，跨越两个宫
2. 确认给定格位置：两个给定格位于矩形的一条对角线，含数字A和B（各一个）
3. 检查空格候选数：另一条对角线的两个空格，均包含候选数{A, B, C}（C相同）
4. 唯一性分析：
   • 若两个空格均不填C，则只能填A或B
   • 给定格已固定A和B的位置，若两空格也只用A和B填充，可能形成致命矩形（多解）
   • 因此两个空格中至少一个必须填C
5. 执行排除：找到能同时看到两个空格的格子，从其候选数中删除C

示例详解

设矩形四角如下：

        C1      C6
R2  [G:3]   [空格: 3,7,5]
R8  [空格: 3,7,5]   [G:7]

• R2C1 = 3（给定，A=3）
• R2C6 = 空格，候选数 {3, 7, 5}（其中A=3, B=7, C=5）
• R8C1 = 空格，候选数 {3, 7, 5}（其中A=3, B=7, C=5）
• R8C6 = 7（给定，B=7）

分析：

给定格提供：R2C1=3，R8C6=7

若两空格不填5（C=5）：

• R2C6 只能填 3 或 7，R8C1 只能填 3 或 7
• 矩形四格：{3, R2C6, R8C1, 7}，若 R2C6=7 且 R8C1=3，则四格为 {3,7,3,7}
• 此时行列分布 R2: {3,7}，R8: {3,7}，C1: {3,3}×（重复！）——实际上会违反行/列约束，不一定构成致命图案

精确条件：当四格中的A和B在行列上互补时（即R2含{A,B}，R8含{B,A}或相反），才形成致命图案风险。

结论：若结构成立，R2C6 和 R8C1 中至少一个填5。能同时看到 R2C6 和 R8C1 的格子（如同列或同宫的格子）可排除候选数5。

例如，若 R5C6 和 R5C1 均在第5行，且第5行能看到两个空格所在的列，则第5行与两空格同列的格子可排除5。具体地，R5C6（同C6列看到R2C6）和R5C1（同C1列看到R8C1）——若存在某格同时看到两者，排除5。

实用技巧

• 对角给定是关键：AR2要求两个给定格必须位于矩形的一条对角线上，不能在同行或同列
• C必须相同：两个空格的额外候选数C必须完全相同，若两格的额外候选数不同，则不构成AR2
• 排除范围较窄：AR2的排除影响范围相对有限，需要找到能同时看到两个空格的格子
• 结合其他技法：AR2排除后，若某单元中C只剩一个位置，可结合隐性唯一候选数确定答案

与其他技法的关系

• 前置技法：可规避矩形1型 — 理解AR的基础结构和唯一性原则
• 同族技法：唯一矩形2型 — 相似的”额外候选数C”结构，但针对非给定格
• 唯一性原则：AR2和UR2本质上都是唯一性技法（Uniqueness Techniques）的具体应用

常见问题

Q：AR2的”两个给定格对角分布”是必须的吗？

A：是的。如果两个给定格在同行或同列，矩形的结构就不会形成对称的”两数互换”风险。只有对角分布时，才会出现类似AR1的致命图案隐患，AR2的推理才成立。

Q：如果两个空格的额外候选数不同（一个含C，另一个含D），怎么处理？

A：这种情况不构成AR2。需要分别分析：可能是AR的其他变体，或者需要用不同的技法处理。AR2的成立条件之一就是两个空格共享相同的额外候选数C。

在爱九宫数独中练习

打开爱九宫数独 App → 学习 → 大师技法 → 可规避矩形2型，通过专项题目练习识别AR2结构。重点训练对”给定格位置”和”额外候选数一致性”的快速判断。