# 显性四数组

## 原理

因为：

* 单一区域`Region`内
  * 恰好剩余 1 个数字`W`、 1 个数字`X`、 1 个数字`Y` 、 1 个数字`Z` 需要填写
  * 单元格`Cell1`只可填入的候选数字`WXYZ`
  * 单元格`Cell2`只可填入的候选数字`WXYZ`
  * 单元格`Cell3`只可填入的候选数字`WXYZ`
  * 单元格`Cell4`只可填入的候选数字`WXYZ`

所以：

* 单一区域`Region`内
  * 除`Cell 1`、`Cell 2`、`Cell 3`、`Cell 4`的其他单元格
    * 必不填入`W`
    * 必不填入`X`
    * 必不填入`Y`
    * 必不填入`Z`

> 反证法：如果其他单元格填入`X`，则`Cell 1`、`Cell 2`、`Cell 3`都需填入`YZ`，即 3 格仅有 2 个数可填，无法满足，矛盾；其他情况类似。

### 技巧拓展

* \[\[显性三数组]]：拓展候选格的数量

## 标签

* \#Level/2/性质/显性

> [SudokuWiki.org - Naked Quads](https://www.sudokuwiki.org/Naked_Candidates#NQ)
