AT_abc225_c [ABC225C] Calendar Validator

题目描述

有一个 $10^{100}$ 行 $7$ 列的矩阵 $A$，对于任意整数对 $(i, j)\ (1 \leq i \leq 10^{100},\ 1 \leq j \leq 7)$，其第 $(i, j)$ 个元素为 $(i-1) \times 7 + j$。

现在给定一个 $N$ 行 $M$ 列的矩阵 $B$，请判断 $B$ 是否可以通过从 $A$ 中不改变方向地切出一个矩形区域得到。

输入格式

输入通过标准输入给出，格式如下：

$N$ $M$ $B_{1,1}$ $B_{1,2}$ $\ldots$ $B_{1,M}$ $B_{2,1}$ $B_{2,2}$ $\ldots$ $B_{2,M}$
$\hspace{1.6cm}\vdots$
$B_{N,1}$ $B_{N,2}$ $\ldots$ $B_{N,M}$

输出格式

如果 $B$ 可以通过从 $A$ 中切出一个矩形区域得到，输出 Yes，否则输出 No。

输入输出样例 #1

输入 #1

2 3
1 2 3
8 9 10

输出 #1

Yes

输入输出样例 #2

输入 #2

2 1
1
2

输出 #2

No

输入输出样例 #3

输入 #3

10 4
1346 1347 1348 1349
1353 1354 1355 1356
1360 1361 1362 1363
1367 1368 1369 1370
1374 1375 1376 1377
1381 1382 1383 1384
1388 1389 1390 1391
1395 1396 1397 1398
1402 1403 1404 1405
1409 1410 1411 1412

输出 #3

Yes

说明/提示

限制条件

• $1 \leq N \leq 10^4$
• $1 \leq M \leq 7$
• $1 \leq B_{i,j} \leq 10^9$
• 所有输入均为整数

样例解释 1

给定的 $B$ 是 $A$ 的左上 $2$ 行 $3$ 列的子矩阵。

样例解释 2

给定的 $B$ 如果旋转 $90$ 度后与 $A$ 的左上 $1$ 行 $2$ 列相同，但由于题目要求“不能改变方向”，所以不能通过旋转得到，答案应为 No。

由 ChatGPT 4.1 翻译