题目描述
想法
首先一个显然的DP
设
Fi,j
为第i,j个位置为右下角的最大正方形,我们有
Fi,j=min(Fi−1,j,Fi,j−1,Fi−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应该放在前两维,(卡寻址时间的题目我也是醉了)
- 我们可以做二维的RMQ,先横着竖着都做N次的一维RMQ,再去更新 rp,q,i,j ,即向左2^p次方,向上2^q次方这个矩阵的最大值. ↩