AT_bcu30_b 数字パズル

在 Recruit Holdings 的员工之间，数字谜题非常流行。 员工们在玩的数字谜题是在一个纵 $9$ 行、横 $9$ 列的格子中，各自填写一个 $1$ 到 $9$ 的数字。填写时需要满足如下条件： - 在每一行中，同一个数字不能出现两次或以上。 - 在每一列中，同一个数字不能出现两次或以上。 - 对于任意一个格子，从该格子用国际象棋中骑士的棋子一步能够到达的位置，不能有与该格子相同的数字（参见下图）。  图：如果你把骑士棋子放在黑色格子中，那么仅能用一步跳到带白色圆圈的 $8$ 个位置。 现在你需要编写一个答案检查程序。输入给定一个 $9 \times 9$ 的数字表格，每个数字都是 $1$ 到 $9$，判断其是否满足上述所有条件。

输入按如下形式给出。第 $i$ 行第 $j$ 列的格子填的数字为 $s_{ij}$。 > $s_{11} s_{12} \ldots s_{19}$ > $s_{21} s_{22} \ldots s_{29}$ > $\vdots$ > $s_{91} s_{92} \ldots s_{99}$

如果满足所有条件，输出 `Yes`，否则输出 `No`。

### 限制 - $s_{ij}$ $(1 \leq i, j \leq 9)$ 是 $1$ 到 $9$ 之间的数字。 ### 样例解释 1 所有三个条件都满足。 ### 样例解释 2 最后一行有两个 $9$，所以第一个条件不满足。同时，第二个条件也不满足。 ### 样例解释 3 第 $7$ 行第 $3$ 列的格子与第 $8$ 行第 $1$ 列的格子，只需用骑士一步可以到达，且这两个格子填写了相同的数字，因此第三个条件不满足。 由 ChatGPT 5 翻译