技巧文档 / 弯曲四数组
高级技巧
弯曲四数组
Bent Quad 也常被称为“广义 WXYZ-Wing”。它和我们技巧库中的 WXYZ翼都使用四格四数，但证明方式不同：
- WXYZ翼必须能指出枢纽格组和两个翼格组；
- Bent Quad不需要枢纽，只观察四个结构格中各数字能出现几次。
1. 怎样构成 Bent Quad？
一个 Bent Quad 需要同时满足：
- 恰好有 4 个结构格，分布在两个相交的行、列或宫中；
- 四格的候选合起来恰好只有 4 个数字；
- 其中恰好有一个数字（记作 Z）能出现在互相看不见的位置；
- 其余三个数字在结构中的同数字位置都彼此可见，因此每个数字最多只能填一次。
这里的第 3、4 条是关键。不能只看到“四格四数”就认定它是 Bent Quad。
在提示图中：
- 蓝色格子：四个结构格，它们是一个整体，没有枢纽与翼之分；
- 绿色候选：三个受限数字，每个在结构中最多出现一次；
- 黄色候选 Z：唯一能出现在互相看不见位置的数字；
- 红色候选 Z：能看见结构中所有黄色 Z、因此可以删除的位置。
2. 为什么 Z 一定会出现？
假设四个蓝色格子都不填 Z。
结构中就只剩另外三个数字。由于每个数字的所有位置彼此可见，同一个数字在四格中最多只能出现一次。于是：
- 第一个数字最多填 1 格；
- 第二个数字最多填 1 格；
- 第三个数字最多填 1 格。
三个数字最多只能填满三格，却必须填写四个格子，产生矛盾。
所以假设不成立：
四个结构格中至少有一个黄色 Z 必须成立。
如果外部的红色候选 Z 能看见结构中每一个黄色 Z，无论最终是哪一个黄色 Z 成立，它都会与红色候选冲突。因此红色 Z 可以删除。
3. 为什么它没有枢纽？
Bent Quad 的两个区域可能在某个格子相交，但那个交点不一定属于四个结构格。四格还可能形成折线、环状或其它弯曲布局，因此未必存在一个能看见其它结构格的中心格。
这并不影响证明。Bent Quad 依赖的是：
- 四格只能使用四个数字；
- 三个受限数字各自最多出现一次；
- 所以第四个数字 Z 至少出现一次。
为了避免误导，游戏不会替 Bent Quad 猜测一个“最像枢纽”的格子。
4. 它与数组和 ALS-XZ 有什么关系？
Bent Quad 经常与显性数组或 ALS-XZ 重叠：同一次删数有时能用多种方式解释。
游戏会优先保留更简单、结构更明确的解释：
- 若删数已能由显性数组或区块排除直接得到，不再显示为 Bent Quad；
- 若四格能严格分成枢纽与两翼，显示为 WXYZ翼；
- 只有没有真实枢纽、但完整满足上述四格反证的结构，才显示为 Bent Quad。
5. 实战检查顺序
- 在两个相交区域中找四个候选格；
- 确认候选并集恰好只有四个数字；
- 找到唯一一个能分布在互相看不见位置的数字 Z；
- 确认另外三个数字的同数字位置都彼此可见；
- 删除能看见结构中全部 Z 的外部候选 Z。
可以把 Bent Quad 记成一句话：
四格需要四个数字；其中三个数字各最多出现一次，所以第四个数字至少出现一次。