jzoj4817 Square

题目描述

想法

首先一个显然的DP
设$F_{i,j}$为第i,j个位置为右下角的最大正方形,我们有
$F_{i,j}=min(F_{i-1,j},F_{i,j-1},F_{i-1,j-1})+1$
显然如果左边,上面,斜上方有任意一个不能作为边长为K的正方形的右下角,则当前这个肯定不能作为边长K+1的右下角

然后对于每一个询问,他给了一个矩阵,且要求整个正方形都在这个矩阵内.
不难发现答案是有二分性质的,即若X为可行方案,则所有的Y满足于1<=Y< X都为可行方案.
于是我们二分一个答案$ANS$,可以肯定 可能的正方形的右下角只可能在以(X2,Y2)为右下角的一个矩形中,不然放不下,这个范围自己想一下.

然后我们需要查询这个矩阵范围内F的最大值,若有比ANS大的,则这个答案肯定成立.

我们现在已经用掉T log n的时间了,于是查询就只能O(1)了.
于是我们想到了RMQ1.
科普:　　RMQ,可以做到O(1)区间查询,无法修改.
对于可以重复的查询(比如最大值,但是求和就不行) ,在一维RMQ中我们可以用两次O(1)查询查完. 推广到二维后,
我们可以做到四次O(1)查询覆盖整个矩阵

细节

初始化RMQ时,
访问连续的一段内存比跳着访问要快,所以p,q应该放在前两维,(卡寻址时间的题目我也是醉了)

---

1. 我们可以做二维的RMQ,先横着竖着都做N次的一维RMQ,再去更新$r_{p,q,i,j}$,即向左2^p次方,向上2^q次方这个矩阵的最大值. ↩