#ABC225C. [ABC225C] Calendar Validator

[ABC225C] Calendar Validator

题目描述

10100 10^{100} 7 7 列の行列 A A があり、任意の整数対 $ (i,j)\ (1\ \leq\ i \leq\ 10^{100},\ 1\ \leq\ j\ \leq\ 7) $ についてその (i,j) (i,j) 成分は (i1) × 7 + j (i-1)\ \times\ 7\ +\ j です。

N N M M 列の行列 B B が与えられるので、B B A A から一部の矩形領域を(向きを変えずに)切り出したものであるかを判定してください。

输入格式

入力は以下の形式で標準入力から与えられる。

N N M M B1,1 B_{1,1} B1,2 B_{1,2} \ldots B1,M B_{1,M} B2,1 B_{2,1} B2,2 B_{2,2} \ldots B2,M B_{2,M} \hspace{1.6cm}\vdots BN,1 B_{N,1} BN,2 B_{N,2} \ldots BN,M B_{N,M}

输出格式

B B A A から一部の矩形領域を切り出したものであれば Yes と、そうでないなら No と出力せよ。

题目大意

有一个 1010010^{100}77 列的大方阵,位于 (i,j)(i,j) (上起第 ii 行,左起第 jj 列)的数为 7×(i1)+j7×(i-1)+j 。现在给出一个 nnmm 列的小方阵,问该方阵是否为前面所述的大方阵的一部分。( 1n1041≤n≤10^41m71≤m≤7 ,方阵中的每个数都是正整数,它们的值都不会大于 10910^9(方向不变)

2 3
1 2 3
8 9 10
Yes
2 1
1
2
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

提示

制約

  • 1  N  104 1\ \leq\ N\ \leq\ 10^4
  • 1  M  7 1\ \leq\ M\ \leq\ 7
  • 1  Bi,j  109 1\ \leq\ B_{i,j}\ \leq\ 10^9
  • 入力はすべて整数

Sample Explanation 1

与えられる B B は、A A の左上 2 2 3 3 列を切り出したものとなっています。

Sample Explanation 2

与えられる B B 90 90 度回転させると A A の左上 1 1 2 2 列と一致しますが、問題文中に「向きを変えずに」とある通り回転による一致は認められていないため、答えは No となります。