题目来自DOTCPP：

暴力思路（两个测试点超时）：

题目要求我们求出子矩阵的最大值和最小值的乘积，我们可以枚举矩阵中的所有点，以这个点为其子矩阵的左上顶点，然后判断一下能不能构成子矩阵。如果可以，我们在遍历这个子矩阵，求出子矩阵的最大值和最小值，将它加起来。同时，由于题目告诉我们答案可能非常大，即使我们用long long 类型来存答案，也会溢出。因此，我们答案每次加上子矩阵的最小值和最大值的乘积后，可以对998244353 取模，这样可以保证最终答案数据不会溢出。

暴力代码：

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N = 1020;

int n, m, a, b;
int arr[N][N];

signed main(){
    cin >> n >> m >> a >>b;
    for(int i =1; i <= n; i++){
        for(int j = 1; j <= m; j++){
            cin >> arr[i][j];
        }
    }
    int s = 0;
    //枚举矩阵每个点
    for(int i = 1; i <= n; i++){
        for(int j = 1; j <= m; j++){
            if(i+a-1 > n || j+b-1 > m) continue;
            int ssmin= 1e9+10, ssmax = -1;
            //找到矩阵中的最大值和最小值
            for(int k = i; k <= i+a-1; k++){
                for(int l = j; l <= j+b-1; l++){
                    int x = arr[k][l];
                    ssmax = max(ssmax, x);
                    ssmin = min(ssmin, x);
                    // cout << ssmin << " " << ssmax << endl;
                }
            }
            s += ssmax * ssmin;
            //题目说了答案非常大 即使是long long 类型也会溢出
            //所以我们每次的答案%998244353
            s = s%998244353;
            // cout << ssmin << "*" << ssmax << endl;
        }
    }
    cout << s  << endl;
    return 0;
}

优化思路-滑动窗口+单调队列：

暴力代码的思路是枚举每个点，将这个点当成子矩阵的左上角顶点，然后找到子矩阵最小值和最大值，答案加上最小值和最大值的乘积。我们可以对找到子矩阵的最小值和最大值优化，就不会超时了。

窗口每一次都是从一行的最左边或每一列的上边开始出发：

①我们先对矩阵的每一行，让长度为b的窗口开始滑动，找到这一行的最小值和最大值，赋给该窗口的左顶点。

②我们在对矩阵的每一列，让长度为a的窗口开始滑动，找到这一列的最小值和最大致，赋给该窗口的上顶点。

③也就是说，左上角这个顶点是这个矩阵的最小值和最大值。

容易错误的点：

①对矩阵的每一列操作，是在行处理后，找到最小值或最大值基础上，在对列进行操作，找到最小值和最大值。而不是对原数组arr，找到原数据的最小值和最大值。

②我们是先对每一行求得子矩阵的最小值和最大值，在这个基础上，再求每一列的最小值和最大值。因此，每一列的最小值和最大值是我们需要的，我们不能把每一行的最小值和最大值、每一列的最小值和最大值放在一起。我们需要的是每一列的最小值和最大值，要分开存数据。

滑动窗口+单调队列代码：

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N = 1010;

int n, m ,a , b;
int arr[N][N];
//队列中存的是整数在数组的下标
int q[N]; //数组模拟队列
int hh ,tt; //队头指针 队尾指针
int ssmax[N][N], ssmax_col[N][N];
int ssmin[N][N], ssmin_col[N][N];

signed main(){
    cin >> n >> m >> a>> b;
    for(int i = 1; i <=n; i++){
        for(int j = 1; j <= m; j++){
            cin >> arr[i][j];
        }
    }
    //最小值-行
    //窗口的最左边为该窗口的最小值 
    for(int i = 1; i <= n; i++){
        //队头指针 队尾指针 初始化
        hh = 1, tt = 0;
        for(int j = 1;j <= m; j++){
            //保证队列数组从小到大的单调性
            while(hh <= tt && arr[i][j] < arr[i][q[tt]]) tt--;
            //将更小的数覆盖之前的位置
            q[++tt] = j;
            //保证窗口长度不超过b
            if(j-q[hh]+1 > b) hh ++;
            //当窗口长度为b时候，最小值付给最左边位置
            if(j>=b) ssmin[i][j-b+1] = arr[i][q[hh]];
        }
    }
    //要基于行的操作
    //最小值-列
    for(int j = 1; j <= m; j++){
        hh = 1, tt = 0;
        for(int i = 1; i <= n; i++){
            while(hh <= tt && ssmin[i][j] < ssmin[q[tt]][j]) tt--;
            q[++tt] = i;
            if(i-q[hh]+1 > a)hh++;
            if(i >=a)ssmin_col[i-a+1][j] = ssmin[q[hh]][j];
        }
    }
    
    //最大值-行
    //窗口的最左边为该窗口的最大值 
    for(int i = 1; i <= n; i++){
        //队头指针 队尾指针 初始化
        hh = 1, tt = 0;
        for(int j = 1;j <= m; j++){
            //保证队列数组从大到小的单调性
            while(hh <= tt && arr[i][j] > arr[i][q[tt]]) tt--;
            //将更大的数覆盖之前的位置
            q[++tt] = j;
            //保证窗口长度不超过b
            if(j-q[hh]+1 > b) hh ++;
            //当窗口长度为b时候，最大值付给最左边位置
            if(j>=b) ssmax[i][j-b+1] = arr[i][q[hh]];
        }
    }
    //基于行的操作基础
    //最大值-列
    for(int j = 1; j <= m; j++){
        hh = 1, tt = 0;
        for(int i = 1; i <= n; i++){
            while(hh <= tt && ssmax[i][j] > ssmax[q[tt]][j]) tt--;
            q[++tt] = i;
            if(i-q[hh]+1 > a)hh++;
            if(i >=a)ssmax_col[i-a+1][j] = ssmax[q[hh]][j];
        }
    }
    
    int ans = 0;
    for(int i = 1; i <= n; i++){
        for(int j = 1; j <= m; j++){
            ans += (ssmin_col[i][j] * ssmax_col[i][j]) % 998244353 ;
        }
    }
    cout << ans % 998244353<< endl;
    
    return 0;
}