题目

思路

疯狂想法：666层forforfor循环，O(N6)O(N^6)O(N6)算法。

于是，看这句话：
It is guaranteed that the sum of N3N^3N3over all cases does not exceed 25×10725 \times10^725×107
肯定是让你想O(N3)O(N^3)O(N3)算法。
首先，枚举子矩阵的上下边界，维护上下边界的最大最小值。
然后接着枚举右边界。
可左边界怎么办呢，反正不能还枚举吧。

左边界显然具有 7ff7 单调不降性。
二分？
O(N3logN)O(N^3 log N)O(N3logN) 还是可能超。
滑动窗口？
没毛病。
这里我们维护两个单调队列，分别记录最大值、最小值，就可以维护左边界的指针了。
时间复杂度O(N3)。
时限300030003000毫秒。
其实也很悬，同样的代码，第一次超时了，第二次2529毫秒险过。

代码

#include <bits/stdc++.h>

using namespace std;
const int M = 1010;
int a[M][M], minn[M], maxn[M], n, m, q1[M], q2[M], ans;

int main() {
int T; scanf("%d", &T);
while (T--) {
scanf("%d %d", &n, &m);
for (int i = 1; i <= n; i++)
for (int j = 1; j <= n; j++)
scanf("%d", &a[i][j]);
ans = 0;
for (int s = 1; s <= n; s++) {
for (int i = 1; i <= n; i++) minn[i] = 1292371547, maxn[i] = -1;
for (int t = s; t <= n; t++) {
int l1 = 0, l2 = 0, t1 = 0, t2 = 0, left = 1;
for (int i = 1; i <= n; i++) {
minn[i] = min(minn[i], a[t][i]);
maxn[i] = max(maxn[i], a[t][i]);
while (t1 > l1 && minn[q1[t1-1]] >= minn[i]) t1--;
while (t2 > l2 && maxn[q2[t2-1]] <= maxn[i]) t2--;
q1[t1++] = q2[t2++] = i;
while(t1 > l1 && t2 > l2 && maxn[q2[l2]] - minn[q1[l1]] > m) {
left++;
while(t1 > l1 && q1[l1] < left) l1++;
while(t2 > l2 && q2[l2] < left) l2++;
}
ans = max(ans, (t-s+1) * (i-left+1));
}
}
}
printf("%d\n", ans);
}
return 0;
}