C - 日历验证器

分数 : $300$ 分

问题描述

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

给定一个 $N \times M$ 的矩阵 $B$，判断 $B$ 是否是 $A$ 的某个（未旋转）矩形部分。

约束条件

• $1 \leq N \leq 10^4$
• $1 \leq M \leq 7$
• $1 \leq B_{i,j} \leq 10^9$
• 输入中的所有值都是整数。

输入

输入以以下格式从标准输入给出：

$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。

2 3
1 2 3
8 9 10

Yes

所给的矩阵 $B$ 是 $A$ 的左上角的 $2 \times 3$ 子矩阵。

2 1
1
2

No

尽管所给的矩阵 $B$ 经过 $90$ 度旋转后能够与 $A$ 的左上角的 $1 \times 2$ 子矩阵匹配，但问题描述要求 $B$ 必须是 $A$ 的未旋转部分，所以答案是 No。

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

Yes

是否为 $A$ 的某个子矩阵，大小为 $10 \times 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