ARC140E Not Equal Rectangle题解

题面

(大致是官方题解翻译加上一点自己的理解）

如果我们可以找到一个数字 $p$ 满足可以构造出一个$p^2\ast p^2$ 的大正方形符合题目条件

那么我们对于一个询问 可以截取这个正方形的左上角

接下来我们考虑构造一个小方形 大小是$p\ast p$

对于小方形$B_k$

我们在位置$(i,j)$ 填 $(i+j+k)modp$ （注意 这里所有的$i,j$都是 $[0,p-1]$ 的）

那么我们把大正方形用小正方形填充

具体说 把大正方形划分成$p\ast p$ 的格子（单位格长$p$)

那么我们在 $P_{i,j}$ 放 $B_{i\ast jmodp}$

接着我们证明对于怎么样的$p$ 可以满足题目要求，以及对于这样的$p$ 为什么这种构造合法

首先 在一个/两个小正方形里 没法满足要求（一个正方形一行/一列内没有两个相同元素）

我们设左上 右下的坐标分别是 $(x_1,y_1),(x_2,y_2)$

假设分别属于$a,b,c,d$ 四个小正方形里

那么
$$x1+y1+a\equiv x2+y1+c(modp)$$
$$x2-x1\equiv a-c$$

同理可得

$$x2-x1\equiv b-d$$

因此

$$a-c\equiv b-d(modp)$$

假设他们在大正方形里,$a=(X_1,Y_1),d=(X_2,Y_2)$

那么 $$X_1{Y}_1-X_2{Y}_1=X_1{Y}_2-X_2{Y}_2$$

所以 $$(X_2-X_1)(Y_2-Y_1)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

那么 如果$p$ 是一个质数 则$p$ 和左式一定没有公因数

因此上式不可能成立

所以$p$ 是质数时 则有以上构造

那么因为要满足截取 $n=500$

所以当 $p$ 取23<25（题目要求的上限）

可以构造出所有解