AT_pakencamp_2022_day3_g 4x4

给定一个 $N \times N$ 的整数矩阵 $A$。请判断是否存在一个满足以下条件的 $N \times N$ 整数矩阵 $B$。 - 对于所有整数对 $(i, j)$，如果 $A_{i, j} \neq -1$，那么 $A_{i, j} = B_{i, j}$。 - 对于 $B$ 的任意一个 $4 \times 4$ 的子正方形，该子正方形必须包含所有 $1$ 到 $16$ 之间的整数。

输入通过标准输入按照如下格式给出。 > $N$ $A_{1,1}$ $A_{1,2}$ $\ldots$ $A_{1,N}$ $A_{2,1}$ $A_{2,2}$ $\ldots$ $A_{2,N}$ $\vdots$ $A_{N,1}$ $A_{N,2}$ $\ldots$ $A_{N,N}$

如果不存在满足条件的 $B$，输出 `No`；如果存在，输出 `Yes`。

### 数据范围 - $4 \le N \le 500$ - $A_{i,j} = -1$ 或 $1 \le A_{i,j} \le 16$ - 所有输入均为整数。 由 ChatGPT 5 翻译