4170: Calendar Validator

# Calendar Validator ### 内存 1024MB ### 时间 2S ## 题目描述 小高有一个 $10^{100} \times 7$ 的矩阵 $A$，对于每一对整数 $(i,j)$ $(1 \leq i \leq 10^{100}, 1 \leq j \leq 7)$, 第 $(i,j)$ 个元素是 $(i-1) \times 7 + j$，。 给定一个 $N \times M$ 的矩阵 $B$，判断 $B$ 是否是 $A$ 的某个（未旋转的）矩形部分。 ## 输入格式 输入从标准输入中给出，格式如下： $N$ $M$ $B_{1,1}$ $B_{1,2}$ ... $B_{1,M}$ $B_{2,1}$ $B_{2,2}$ ... $B_{2,M}$ $\vdots$ $B_{N,1}$ $B_{N,2}$ ... $B_{N,M}$ ## 输出格式 如果 $B$ 是 $A$ 的某个矩形部分，输出 `Yes`；否则，输出 `No`。 ## 输入输出样例 ### 输入样例1 ``` 2 3 1 2 3 8 9 10 ``` ### 输出样例1 ``` Yes ``` ### 输入样例2 ``` 2 1 1 2 ``` ### 输出样例2 ``` No ``` ### 输入样例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说明】 给定的矩阵 $B$ 是 $A$ 的左上角 $2 \times 3$ 子矩阵。 【样例2说明】 虽然给定的矩阵 $B$ 在旋转90度后会匹配 $A$ 的左上角 $1 \times 2$ 子矩阵，但题目要求判断 $B$ 是否是 $A$ 的未旋转部分，所以答案是 `No`。 【数据范围】 $1 \leq N \leq 10^4$ $1 \leq M \leq 7$ $1 \leq B_{i,j} \leq 10^9$ 所有输入都是整数 ## 题目来源 ABC225C