arc162f思路$a_{x1,y2}\timesa_{x2,y2}\leqa_{x1,y2}\timesa_{x2,y1}$改为所有$a_{x1,y1}=a_{x2,y2}=1$，都有$a_{x1,y2}=a_{x2,y1}=1$。观察发现，第$i$行$a_{i,j_1}=\ldots=a_{i,j_{num}}=1,(j_1<\ldots<j_{num})$，第$ii,(ii>i)$行能取$1$的位置是$[1,j_1-1]$和

脑子被吃掉了。手玩一下，容易转化题意为：按行从上到下填\(0/1\)矩阵，设第\(i\)个非空行上是\(1\)的位置的集合为\(S_i\)，满足：对于任意\(i>1\)，令\(D=S_i\cupS_{i-1}\)。若\(D=\varnothing\)，则\(S_i\)中所有元素均比\(S_{i-1}\)中任意元素小，即\(\max\limits_{i\i

%赛场切了！矩阵是不太好处理的，所以考虑从一行去推下一行。设上一行选择了\(p_1,p_2,\cdots,p_k\)这几个横坐标的位置为\(1\)，分情况讨论一下这一行选择的\(x\)位置。（下列结合自己画图理解）\(x\gep_1\)。首先发现如果选择一个\(x\not\inp\)，则一定不满足条件。然后也可